Changeset 5423:4e37699a7750 for doc/manual.xml.head

Timestamp:

2008-06-25 22:58:21 (5 months ago)

Author:

Brendan Cully <brendan@…>

Branch:

HEAD

Message:

Document difference between index and pager search. Closes #2886.

Files:

• doc/manual.xml.head (modified) (2 diffs)

doc/manual.xml.head

@@ -605 +605 @@
 <row><entry>T</entry><entry>toggle display of quoted text</entry></row>
 <row><entry>?</entry><entry>show keybindings</entry></row>
-<row><entry>/</entry><entry>search for a regular expression (pattern)</entry></row>
-<row><entry>ESC /</entry><entry>search backwards for a regular expression</entry></row>
-<row><entry>&bsol;</entry><entry>toggle search pattern coloring</entry></row>
+<row><entry>/</entry><entry>regular expression search</entry></row>
+<row><entry>ESC /</entry><entry>backward regular expression search</entry></row>
+<row><entry>&bsol;</entry><entry>toggle highlighting of search matches</entry></row>
 <row><entry>&circ;</entry><entry>jump to the top of the message</entry></row>
 </tbody>
@@ -685 +685 @@
 display, for example by changing the color associated with color2 for
 your xterm, then that color will be used instead of green.
+</para>
+
+<para>
+Note that the search commands in the pager take regular expressions,
+which are not quite the same as the more
+complex <link linkend="patterns">patterns</link> used by the search
+command in the index. This is because the pager only performs simple
+text search, whereas the index provides boolean filtering on several
+aspects of messages.
 </para>