This file is indexed.

/usr/share/doc/jed-common/html/jed009.html is in jed-common 1:0.99.19-7.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
<!DOCTYPE html>
<html >
<head>
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="generator" content="hevea 2.28">
<link rel="stylesheet" type="text/css" href="jed.css">
<title>Status line and Windows</title>
</head>
<body >
<a href="jed008.html"><img src="previous_motif.gif" alt="Previous"></a>
<a href="index.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="jed010.html"><img src="next_motif.gif" alt="Next"></a>
<hr>
<h2 id="sec12" class="section">8&#XA0;&#XA0;Status line and Windows</h2>
<p><span style="font-weight:bold">jed</span> supports multiple windows. Each window may contain the same buffer or
different buffers. A status line is displayed immediately below each
window. The status line contains information such as the <span style="font-weight:bold">jed</span> version
number, the buffer name, &#X201C;mode&#X201D;, etc. Please beware of the following
indicators:</p><p><span style="font-family:monospace">**</span><br>
 buffer has been modified since last save.</p><p><span style="font-family:monospace">%%</span><br>
 buffer is read only.</p><p><span style="font-family:monospace">m</span><br>
 Mark set indicator. This means a region is being defined.</p><p><span style="font-family:monospace">d</span><br>
 File changed on disk indicator. This indicates that the
file associated with the buffer is newer than the buffer itself.</p><p><span style="font-family:monospace">s</span><br>
 spot pushed indicator.</p><p><span style="font-family:monospace">+</span><br>
 Undo is enabled for the buffer.</p><p><span style="font-family:monospace">[Macro]</span><br>
 A macro is being defined.</p><p><span style="font-family:monospace">[Narrow]</span>
Buffer is narrowed to a region of LINES.</p>
<hr>
<a href="jed008.html"><img src="previous_motif.gif" alt="Previous"></a>
<a href="index.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="jed010.html"><img src="next_motif.gif" alt="Next"></a>
</body>
</html>