annotate lisp/man.el @ 9494:9a4ed505445e

(facemenu-read-color, facemenu-colors): New fn, var. (facemenu-set-face, facemenu-set-face-from-menu, facemenu-after-change): Face property can take a list value; add to it rather than completely replacing the property. (facemenu-add-face, facemenu-discard-redundant-faces): New functions. (facemenu-set-foreground, facemenu-set-background) (facemenu-get-face, facemenu-foreground, facemenu-background): New functions and variables. Faces with names of the form fg:color and bg:color are now treated specially. (facemenu-update): Updated for above.
author Richard M. Stallman <rms@gnu.org>
date Wed, 12 Oct 1994 23:23:23 +0000
parents 1ce43418547c
children 1f58befcd1f1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 ;;; man.el --- browse UNIX manual pages
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
7298
4fd40bd394fe Update copyright.
Karl Heuer <kwzh@gnu.org>
parents: 7280
diff changeset
3 ;; Copyright (C) 1993, 1994 Free Software Foundation, Inc.
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 ;; Author: Barry A. Warsaw <bwarsaw@cen.com>
9354
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
6 ;; Last-Modified: $Date: 1994/10/01 13:27:15 $
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
7 ;; Version: $Revision: 1.51 $
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 ;; Keywords: help
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
9 ;; Adapted-By: ESR, pot
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; This file is part of GNU Emacs.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; GNU Emacs is free software; you can redistribute it and/or modify
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; it under the terms of the GNU General Public License as published by
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; the Free Software Foundation; either version 2, or (at your option)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; any later version.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; GNU Emacs is distributed in the hope that it will be useful,
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 ;; GNU General Public License for more details.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 ;; You should have received a copy of the GNU General Public License
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 ;; along with GNU Emacs; see the file COPYING. If not, write to
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;;; Commentary:
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
29 ;; This code provides a function, `man', with which you can browse
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
30 ;; UNIX manual pages. Formatting is done in background so that you
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
31 ;; can continue to use your Emacs while processing is going on.
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 ;;
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ;; The mode also supports hypertext-like following of manual page SEE
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 ;; ALSO references, and other features. See below or do `?' in a
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ;; manual page buffer for details.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ;; ========== Credits and History ==========
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ;; In mid 1991, several people posted some interesting improvements to
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 ;; man.el from the standard emacs 18.57 distribution. I liked many of
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ;; these, but wanted everthing in one single package, so I decided
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
41 ;; to incorporate them into a single manual browsing mode. While
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 ;; much of the code here has been rewritten, and some features added,
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 ;; these folks deserve lots of credit for providing the initial
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 ;; excellent packages on which this one is based.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ;; Nick Duffek <duffek@chaos.cs.brandeis.edu>, posted a very nice
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 ;; improvement which retrieved and cleaned the manpages in a
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ;; background process, and which correctly deciphered such options as
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 ;; man -k.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 ;; Eric Rose <erose@jessica.stanford.edu>, submitted manual.el which
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ;; provided a very nice manual browsing mode.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53
3591
507f64624555 Apply typo patches from Paul Eggert.
Jim Blandy <jimb@redhat.com>
parents: 3307
diff changeset
54 ;; This package was available as `superman.el' from the LCD package
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 ;; for some time before it was accepted into Emacs 19. The entry
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 ;; point and some other names have been changed to make it a drop-in
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 ;; replacement for the old man.el package.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
59 ;; Francesco Potorti` <pot@cnuce.cnr.it> cleaned it up thoroughly,
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
60 ;; making it faster, more robust and more tolerant of different
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
61 ;; systems' man idiosynchrasies.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
62
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 ;; ========== Features ==========
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 ;; + Runs "man" in the background and pipes the results through a
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 ;; series of sed and awk scripts so that all retrieving and cleaning
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 ;; is done in the background. The cleaning commands are configurable.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 ;; + Syntax is the same as Un*x man
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 ;; + Functionality is the same as Un*x man, including "man -k" and
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
69 ;; "man <section>", etc.
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 ;; + Provides a manual browsing mode with keybindings for traversing
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 ;; the sections of a manpage, following references in the SEE ALSO
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 ;; section, and more.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 ;; + Multiple manpages created with the same man command are put into
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 ;; a narrowed buffer circular list.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
76 ;; ============= TODO ===========
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
77 ;; - Add a command for printing.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
78 ;; - The awk script deletes multiple blank lines. This behaviour does
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
79 ;; not allow to understand if there was indeed a blank line at the
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
80 ;; end or beginning of a page (after the header, or before the
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
81 ;; footer). A different algorithm should be used. It is easy to
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
82 ;; compute how many blank lines there are before and after the page
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
83 ;; headers, and after the page footer. But it is possible to compute
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
84 ;; the number of blank lines before the page footer by euristhics
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
85 ;; only. Is it worth doing?
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
86 ;; - Allow the Man-reuse-okay-flag to be set to 'always, meaning that all
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
87 ;; the manpages should go in the same buffer, where they can be browsed
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
88 ;; with M-n and M-p.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
89 ;; - Allow completion on the manpage name when calling man. This
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
90 ;; requires a reliable list of places where manpages can be found. The
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
91 ;; drawback would be that if the list is not complete, the user might
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
92 ;; be led to believe that the manpages in the missing directories do
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
93 ;; not exist.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
94
9354
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
95
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 ;;; Code:
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 (require 'assoc)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 ;; vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
9354
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
101 ;; empty defvars (keep the compiler quiet)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
102
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
103 (defvar Man-notify)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
104 (defvar Man-current-page)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
105 (defvar Man-page-list)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
106 (defvar Man-filter-list)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
107 (defvar Man-original-frame)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
108 (defvar Man-arguments)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
109 (defvar Man-fontify-manpage-flag)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
110 (defvar Man-sections-alist)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
111 (defvar Man-refpages-alist)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
112 (defvar Man-uses-untabify-flag)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
113 (defvar Man-page-mode-string)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
114 (defvar Man-sed-script)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
115
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
116 ;; vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 ;; user variables
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118
6676
7251020c1c79 (manual-program): New (actually reintroduced) variable.
Karl Heuer <kwzh@gnu.org>
parents: 6613
diff changeset
119 (defvar manual-program "man"
7251020c1c79 (manual-program): New (actually reintroduced) variable.
Karl Heuer <kwzh@gnu.org>
parents: 6613
diff changeset
120 "The name of the program that produces man pages.")
7251020c1c79 (manual-program): New (actually reintroduced) variable.
Karl Heuer <kwzh@gnu.org>
parents: 6613
diff changeset
121
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
122 ;; Use the value of the obsolete user option Man-notify, if set.
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
123 (defvar Man-notify-method (if (boundp 'Man-notify) Man-notify 'friendly)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 "*Selects the behavior when manpage is ready.
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
125 This variable may have one of the following values, where (sf) means
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
126 that the frames are switched, so the manpage is displayed in the frame
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
127 where the man command was called from:
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128
4915
c0523a78e6a5 (Man-frame-parameters): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 4444
diff changeset
129 newframe -- put the manpage in its own frame (see `Man-frame-parameters')
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
130 pushy -- make the manpage the current buffer in the current window
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
131 bully -- make the manpage the current buffer and only window (sf)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
132 aggressive -- make the manpage the current buffer in the other window (sf)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
133 friendly -- display manpage in the other window but don't make current (sf)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
134 polite -- don't display manpage, but prints message and beep when ready
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 quiet -- like `polite', but don't beep
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
136 meek -- make no indication that the manpage is ready
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
138 Any other value of `Man-notify-method' is equivalent to `meek'.")
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139
4915
c0523a78e6a5 (Man-frame-parameters): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 4444
diff changeset
140 (defvar Man-frame-parameters nil
c0523a78e6a5 (Man-frame-parameters): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 4444
diff changeset
141 "*Frame parameter list for creating a new frame for a manual page.")
c0523a78e6a5 (Man-frame-parameters): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 4444
diff changeset
142
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
143 (defvar Man-reuse-okay-flag t
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 "*Reuse a manpage buffer if possible.
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
145 If non-nil, and a manpage buffer already exists with the same
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
146 invocation, man just indicates the manpage is ready according to the
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
147 value of `Man-notify-method'. When nil, it always fires off a
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
148 background process,putting the results in a uniquely named buffer.")
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
150 (defvar Man-downcase-section-letters-flag t
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 "*Letters in sections are converted to lower case.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 Some Un*x man commands can't handle uppercase letters in sections, for
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 example \"man 2V chmod\", but they are often displayed in the manpage
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
154 with the upper case letter. When this variable is t, the section
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 letter (e.g., \"2V\") is converted to lowercase (e.g., \"2v\") before
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 being sent to the man background process.")
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
158 (defvar Man-circular-pages-flag t
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 "*If t, the manpage list is treated as circular for traversal.")
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 (defvar Man-section-translations-alist
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
162 (list
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
163 '("3C++" . "3")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
164 ;; Some systems have a real 3x man section, so let's comment this.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
165 ;; '("3X" . "3") ; Xlib man pages
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
166 '("3X11" . "3")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
167 '("1-UCB" . ""))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 "*Association list of bogus sections to real section numbers.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 Some manpages (e.g. the Sun C++ 2.1 manpages) have section numbers in
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
170 their references which Un*x `man' does not recognize. This
3591
507f64624555 Apply typo patches from Paul Eggert.
Jim Blandy <jimb@redhat.com>
parents: 3307
diff changeset
171 association list is used to translate those sections, when found, to
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 the associated section number.")
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
174 (defvar Man-untabify-command "pr"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
175 "*Command used for untabifying.")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
176
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
177 (defvar Man-untabify-command-args (list "-t" "-e")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
178 "*List of arguments to be passed to Man-untabify-command (which see).")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
179
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
180 (defvar Man-sed-command "sed"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
181 "*Command used for processing sed scripts.")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
182
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
183 (defvar Man-awk-command "awk"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
184 "*Command used for processing awk scripts.")
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
186 (defconst Man-sysv-sed-script "\
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
187 /\b/ { s/_\b//g
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
188 s/\b_//g
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
189 s/o\b+/o/g
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
190 :ovstrk
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
191 s/\\(.\\)\b\\1/\\1/g
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
192 t ovstrk
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
193 }
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
194 /\e\\[[0-9][0-9]*m/ s///g"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
195 "Script for sysV-like sed to nuke backspaces and ANSI codes from manpages.")
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
197 (defconst Man-berkeley-sed-script "\
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
198 /\b/ { s/_\b//g\\
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
199 s/\b_//g\\
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
200 s/o\b+/o/g\\
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
201 :ovstrk\\
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
202 s/\\(.\\)\b\\1/\\1/g\\
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
203 t ovstrk\\
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
204 }\\
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
205 /\e\\[[0-9][0-9]*m/ s///g"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
206 "Script for berkeley-like sed to nuke backspaces and ANSI codes from manpages.")
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 (defvar Man-mode-line-format
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 '("" mode-line-modified
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
210 mode-line-buffer-identification " "
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 global-mode-string
4009
4edc10a61fa7 (Man-mode-line-format): Add a space after global-mode-string.
Richard M. Stallman <rms@gnu.org>
parents: 4002
diff changeset
212 " " Man-page-mode-string
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
213 " %[(" mode-name mode-line-process minor-mode-alist ")%]----"
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 (-3 . "%p") "-%-")
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 "*Mode line format for manual mode buffer.")
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 (defvar Man-mode-map nil
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
218 "*Keymap for Man mode.")
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
220 (defvar Man-mode-hook nil
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
221 "*Hook run when Man mode is enabled.")
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222
6358
250e69a75938 (Man-filter-list): Extend footer pattern for hpux.
Karl Heuer <kwzh@gnu.org>
parents: 6353
diff changeset
223 (defvar Man-cooked-hook nil
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
224 "*Hook run after removing backspaces but before Man-mode processing.")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
225
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
226 (defvar Man-name-regexp "[-a-zA-Z0-9_][-a-zA-Z0-9_.]*"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
227 "*Regular expression describing the name of a manpage (without section).")
6358
250e69a75938 (Man-filter-list): Extend footer pattern for hpux.
Karl Heuer <kwzh@gnu.org>
parents: 6353
diff changeset
228
4980
50708e8b133b (Man-section-regexp): Allow section names l, n, L, N.
Richard M. Stallman <rms@gnu.org>
parents: 4968
diff changeset
229 (defvar Man-section-regexp "[0-9][a-zA-Z+]*\\|[LNln]"
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 "*Regular expression describing a manpage section within parentheses.")
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
232 (defvar Man-page-header-regexp
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
233 (concat "^[ \t]*\\(" Man-name-regexp
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
234 "(\\(" Man-section-regexp "\\))\\).*\\1")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
235 "*Regular expression describing the heading of a page.")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
236
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
237 (defvar Man-heading-regexp "^\\([A-Z][A-Z ]+\\)$"
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 "*Regular expression describing a manpage heading entry.")
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 (defvar Man-see-also-regexp "SEE ALSO"
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 "*Regular expression for SEE ALSO heading (or your equivalent).
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 This regexp should not start with a `^' character.")
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
244 (defvar Man-first-heading-regexp "^[ \t]*NAME$\\|^[ \t]*No manual entry fo.*$"
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 "*Regular expression describing first heading on a manpage.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 This regular expression should start with a `^' character.")
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247
4377
09cb5e07f8a3 (Man-build-references-alist): When setting word,
Richard M. Stallman <rms@gnu.org>
parents: 4334
diff changeset
248 (defvar Man-reference-regexp
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
249 (concat "\\(" Man-name-regexp "\\)(\\(" Man-section-regexp "\\))")
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 "*Regular expression describing a reference in the SEE ALSO section.")
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251
3833
70551a213fae * man.el (Man-switches): New variable.
Jim Blandy <jimb@redhat.com>
parents: 3714
diff changeset
252 (defvar Man-switches ""
70551a213fae * man.el (Man-switches): New variable.
Jim Blandy <jimb@redhat.com>
parents: 3714
diff changeset
253 "*Switches passed to the man command, as a single string.")
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254
5108
8c482171bb10 (Man-specified-section-option): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 4980
diff changeset
255 ;; Would someone like to provide a good test for being on Solaris?
8c482171bb10 (Man-specified-section-option): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 4980
diff changeset
256 ;; We could give it its own value of system-type, but that has drawbacks;
8c482171bb10 (Man-specified-section-option): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 4980
diff changeset
257 ;; it would require changes in lots of places that test system-type.
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
258 (defvar Man-specified-section-option
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
259 (if (string-match "-solaris[0-9.]*$" system-configuration)
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
260 "-s"
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
261 "")
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
262 "*Option that indicates a specified a manual section name.")
5108
8c482171bb10 (Man-specified-section-option): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 4980
diff changeset
263
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 ;; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 ;; end user variables
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
266
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 ;; other variables and keymap initializations
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 (make-variable-buffer-local 'Man-sections-alist)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 (make-variable-buffer-local 'Man-refpages-alist)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 (make-variable-buffer-local 'Man-page-list)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 (make-variable-buffer-local 'Man-current-page)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 (make-variable-buffer-local 'Man-page-mode-string)
6363
e5d9ea7852bf (Man-original-frame): New variable.
Karl Heuer <kwzh@gnu.org>
parents: 6362
diff changeset
273 (make-variable-buffer-local 'Man-original-frame)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
274 (make-variable-buffer-local 'Man-arguments)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 (setq-default Man-sections-alist nil)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 (setq-default Man-refpages-alist nil)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
278 (setq-default Man-page-list nil)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 (setq-default Man-current-page 0)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
280 (setq-default Man-page-mode-string "1 of 1")
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
282 (if Man-mode-map
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
283 nil
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 (setq Man-mode-map (make-keymap))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 (suppress-keymap Man-mode-map)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 (define-key Man-mode-map " " 'scroll-up)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 (define-key Man-mode-map "\177" 'scroll-down)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 (define-key Man-mode-map "n" 'Man-next-section)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 (define-key Man-mode-map "p" 'Man-previous-section)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 (define-key Man-mode-map "\en" 'Man-next-manpage)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 (define-key Man-mode-map "\ep" 'Man-previous-manpage)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
292 (define-key Man-mode-map ">" 'end-of-buffer)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
293 (define-key Man-mode-map "<" 'beginning-of-buffer)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
294 (define-key Man-mode-map "." 'beginning-of-buffer)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 (define-key Man-mode-map "r" 'Man-follow-manual-reference)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 (define-key Man-mode-map "t" 'toggle-truncate-lines)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 (define-key Man-mode-map "g" 'Man-goto-section)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 (define-key Man-mode-map "s" 'Man-goto-see-also-section)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
299 (define-key Man-mode-map "k" 'Man-kill)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 (define-key Man-mode-map "q" 'Man-quit)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
301 (define-key Man-mode-map "m" 'man)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 (define-key Man-mode-map "?" 'describe-mode)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 )
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 ;; ======================================================================
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 ;; utilities
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
309 (defsubst Man-init-defvars ()
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
310 "Used for initialising variables based on the value of window-system.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
311 This is necessary if one wants to dump man.el with emacs."
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
312
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
313 (defvar Man-fontify-manpage-flag t
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
314 "*Make up the manpage with fonts.")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
315 ;; The following is necessary until fonts are implemented on
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
316 ;; terminals.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
317 (setq Man-fontify-manpage-flag (and Man-fontify-manpage-flag
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
318 window-system))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
319
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
320 (defconst Man-uses-untabify-flag t
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
321 ;; don't use pr: it is buggy
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
322 ;; (or (not (file-readable-p "/etc/passwd"))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
323 ;; (/= 0 (apply 'call-process
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
324 ;; Man-untabify-command nil nil nil
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
325 ;; (append Man-untabify-command-args
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
326 ;; (list "/etc/passwd")))))
9354
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
327 "When non-nil use `untabify' instead of Man-untabify-command.")
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
328
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
329 (defconst Man-sed-script
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
330 (cond
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
331 (Man-fontify-manpage-flag
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
332 nil)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
333 ((= 0 (call-process Man-sed-command nil nil nil Man-sysv-sed-script))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
334 Man-sysv-sed-script)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
335 ((= 0 (call-process Man-sed-command nil nil nil Man-berkeley-sed-script))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
336 Man-berkeley-sed-script)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
337 (t
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
338 nil))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
339 "Script for sed to nuke backspaces and ANSI codes from manpages.")
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
340
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
341 (defvar Man-filter-list
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
342 (list
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
343 (cons
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
344 Man-sed-command
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
345 (list
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
346 (if Man-sed-script
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
347 (concat "-e '" Man-sed-script "'")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
348 "")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
349 "-e '/\e[789]/s///g'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
350 "-e '/o\b+/s//o/g'"
9210
8d35fd88194d * man.el (Man-init-defvars, Man-cleanup-manpage,
Francesco Potortì <pot@gnu.org>
parents: 9177
diff changeset
351 "-e '/|\b-[-|\b]*/s//+/g'"
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
352 "-e '/^\\n$/D'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
353 "-e '/[Nn]o such file or directory/d'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
354 "-e '/Reformatting page. Wait/d'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
355 "-e '/Reformatting entry. Wait/d'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
356 "-e '/^[ \t]*Hewlett-Packard[ \t]Company[ \t]*-[ \t][0-9]*[ \t]-/d'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
357 "-e '/^[ \t]*Hewlett-Packard[ \t]*-[ \t][0-9]*[ \t]-.*$/d'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
358 "-e '/^[ \t][ \t]*-[ \t][0-9]*[ \t]-[ \t]*Formatted:.*[0-9]$/d'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
359 "-e '/^[ \t]*Page[ \t][0-9]*.*(printed[ \t][0-9\\/]*)$/d'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
360 "-e '/^Printed[ \t][0-9].*[0-9]$/d'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
361 "-e '/^[ \t]*X[ \t]Version[ \t]1[01].*Release[ \t][0-9]/d'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
362 "-e '/^[A-za-z].*Last[ \t]change:/d'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
363 "-e '/^Sun[ \t]Release[ \t][0-9].*[0-9]$/d'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
364 ))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
365 (cons
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
366 Man-awk-command
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
367 (list
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
368 "'\n"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
369 "BEGIN { blankline=0; anonblank=0; }\n"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
370 "/^$/ { if (anonblank==0) next; }\n"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
371 "{ anonblank=1; }\n"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
372 "/^$/ { blankline++; next; }\n"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
373 "{ if (blankline>0) { print \"\"; blankline=0; } print $0; }\n"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
374 "'"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
375 ))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
376 (if (not Man-uses-untabify-flag)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
377 (cons
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
378 Man-untabify-command
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
379 Man-untabify-command-args)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
380 ))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
381 "*Manpage cleaning filter command phrases.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
382 This variable contains a list of the following form:
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
383
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
384 '((command-string phrase-string*)*)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
385
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
386 Each phrase-string is concatenated onto the command-string to form a
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
387 command filter. The (standard) output (and standard error) of the Un*x
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
388 man command is piped through each command filter in the order the
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
389 commands appear in the association list. The final output is placed in
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
390 the manpage buffer.")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
391 )
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
392
9354
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
393 (defsubst Man-match-substring (&optional n string)
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
394 "Return the substring matched by the last search.
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
395 Optional arg N means return the substring matched by the Nth paren
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
396 grouping. Optional second arg STRING means return a substring from
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
397 that string instead of from the current buffer."
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
398 (if (null n) (setq n 0))
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
399 (if string
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
400 (substring string (match-beginning n) (match-end n))
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
401 (buffer-substring (match-beginning n) (match-end n))))
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
402
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
403 (defsubst Man-make-page-mode-string ()
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
404 "Formats part of the mode line for Man mode."
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
405 (format "%s page %d of %d"
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
406 (or (nth 2 (nth (1- Man-current-page) Man-page-list))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
407 "")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
408 Man-current-page
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
409 (length Man-page-list)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
410
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
411 (defsubst Man-build-man-command ()
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
412 "Builds the entire background manpage and cleaning command."
7453
9b14642f7d52 (Man-build-man-command): Use manual-program, not hardcoded name.
Karl Heuer <kwzh@gnu.org>
parents: 7452
diff changeset
413 (let ((command (concat manual-program " " Man-switches " %s 2>/dev/null"))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
414 (flist Man-filter-list))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
415 (while (and flist (car flist))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
416 (let ((pcom (car (car flist)))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
417 (pargs (cdr (car flist))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
418 (setq command
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
419 (concat command " | " pcom " "
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
420 (mapconcat '(lambda (phrase)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
421 (if (not (stringp phrase))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
422 (error "Malformed Man-filter-list"))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
423 phrase)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
424 pargs " ")))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
425 (setq flist (cdr flist))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
426 command))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
428 (defun Man-translate-references (ref)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
429 "Translates REF from \"chmod(2V)\" to \"2v chmod\" style.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
430 Leave it as is if already in that style. Possibly downcase and
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
431 translate the section (see the Man-downcase-section-letters-flag
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
432 and the Man-section-translations-alist variables)."
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
433 (let ((name "")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
434 (section "")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
435 (slist Man-section-translations-alist))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
436 (cond
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
437 ;; "chmod(2V)" case ?
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
438 ((string-match (concat Man-reference-regexp "$") ref)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
439 (setq name (Man-match-substring 1 ref)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
440 section (Man-match-substring 2 ref)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
441 ;; "2v chmod" case ?
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
442 ((string-match (concat "\\(" Man-section-regexp
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
443 "\\) +\\(" Man-name-regexp "\\)$") ref)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
444 (setq name (Man-match-substring 2 ref)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
445 section (Man-match-substring 1 ref))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
446 (if (string= name "")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
447 ref ; Return the reference as is
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
448 (if Man-downcase-section-letters-flag
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
449 (setq section (downcase section)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
450 (while slist
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
451 (let ((s1 (car (car slist)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
452 (s2 (cdr (car slist))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
453 (setq slist (cdr slist))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
454 (if Man-downcase-section-letters-flag
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
455 (setq s1 (downcase s1)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
456 (if (not (string= s1 section)) nil
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
457 (setq section (if Man-downcase-section-letters-flag
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
458 (downcase s2)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
459 s2)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
460 slist nil))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
461 (concat Man-specified-section-option section " " name))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
462
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
463
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
464 ;; ======================================================================
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
465 ;; default man entry: get word under point
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
466
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
467 (defsubst Man-default-man-entry ()
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
468 "Make a guess at a default manual entry.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
469 This guess is based on the text surrounding the cursor, and the
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
470 default section number is selected from `Man-auto-section-alist'."
4002
511feb3c2874 * man.el (Man-build-man-command): Don't leave a pipe symbol at the
Jim Blandy <jimb@redhat.com>
parents: 3909
diff changeset
471 (let (default-title)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
472 (save-excursion
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
473
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
474 ;; Default man entry title is any word the cursor is on, or if
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
475 ;; cursor not on a word, then nearest preceding word. Cannot
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
476 ;; use the current-word function because it skips the dots.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
477 (if (not (looking-at "[-a-zA-Z_.]"))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
478 (skip-chars-backward "^a-zA-Z"))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
479 (skip-chars-backward "-(a-zA-Z_0-9_.")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
480 (if (looking-at "(") (forward-char 1))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
481 (setq default-title
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
482 (buffer-substring
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
483 (point)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
484 (progn (skip-chars-forward "-a-zA-Z0-9_.") (point))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
485
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
486 ;; If looking at something like ioctl(2) or brc(1M), include the
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
487 ;; section number in the returned value.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
488 (concat
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
489 default-title
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
490 (if (looking-at
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
491 (concat "[ \t]*([ \t]*\\(" Man-section-regexp "\\)[ \t]*)"))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
492 (format "(%s)" (Man-match-substring 1)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
493 ))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
494
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
495
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
496 ;; ======================================================================
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
497 ;; Top level command and background process sentinel
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
498
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
499 ;; For compatibility with older versions.
4444
0a428f48e71a (man): Define as alias.
Richard M. Stallman <rms@gnu.org>
parents: 4378
diff changeset
500 ;;;###autoload
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
501 (defalias 'manual-entry 'man)
4444
0a428f48e71a (man): Define as alias.
Richard M. Stallman <rms@gnu.org>
parents: 4378
diff changeset
502
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
503 ;;;###autoload
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
504 (defun man (man-args prefix-arg)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
505 "Get a Un*x manual page and put it in a buffer.
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
506 This command is the top-level command in the man package. It runs a Un*x
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
507 command to retrieve and clean a manpage in the background and places the
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
508 results in a Man mode (manpage browsing) buffer. See variable
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
509 `Man-notify-method' for what happens when the buffer is ready.
6373
284634d109ee (manual-entry): Document what the arg does.
Karl Heuer <kwzh@gnu.org>
parents: 6363
diff changeset
510 Normally, if a buffer already exists for this man page, it will display
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
511 immediately; either a prefix argument or a nil value to `Man-reuse-okay-flag'
6373
284634d109ee (manual-entry): Document what the arg does.
Karl Heuer <kwzh@gnu.org>
parents: 6363
diff changeset
512 overrides this and forces the man page to be regenerated."
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
513 (interactive
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
514 (list
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
515 ;; first argument
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
516 (let* ((default-entry (Man-default-man-entry))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
517 (input (read-string
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
518 (format "Manual entry%s: "
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
519 (if (string= default-entry "")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
520 ""
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
521 (format " (default %s)" default-entry))))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
522 (if (string= input "")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
523 (if (string= default-entry "")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
524 (error "No man args given")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
525 default-entry)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
526 input))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
527 ;; second argument
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
528 current-prefix-arg))
4002
511feb3c2874 * man.el (Man-build-man-command): Don't leave a pipe symbol at the
Jim Blandy <jimb@redhat.com>
parents: 3909
diff changeset
529
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
530 ;; Init the man package variables, if not already done.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
531 (Man-init-defvars)
4002
511feb3c2874 * man.el (Man-build-man-command): Don't leave a pipe symbol at the
Jim Blandy <jimb@redhat.com>
parents: 3909
diff changeset
532
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
533 ;; Possibly translate the "subject(section)" syntax into the
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
534 ;; "section subject" syntax and possibly downcase the section.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
535 (setq man-args (Man-translate-references man-args))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
536
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
537 (Man-getpage-in-background man-args (consp prefix-arg)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
538
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
539
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
540 (defun Man-getpage-in-background (topic &optional override-reuse-p)
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
541 "Uses TOPIC to build and fire off the manpage and cleaning command.
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
542 Optional OVERRIDE-REUSE-P, when non-nil, means to
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
543 start a background process even if a buffer already exists and
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
544 `Man-reuse-okay-flag' is non-nil."
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
545 (let* ((man-args topic)
9354
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
546 (bufname (concat "*Man " man-args "*"))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
547 (buffer (get-buffer bufname)))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
548 (if (and Man-reuse-okay-flag
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
549 (not override-reuse-p)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
550 buffer)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
551 (Man-notify-when-ready buffer)
6353
f00fc681daa4 (Man-build-man-command): Redirect desc 2 to /dev/null.
Richard M. Stallman <rms@gnu.org>
parents: 6292
diff changeset
552 (require 'env)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
553 (message "Invoking %s %s in the background" manual-program man-args)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
554 (setq buffer (generate-new-buffer bufname))
6363
e5d9ea7852bf (Man-original-frame): New variable.
Karl Heuer <kwzh@gnu.org>
parents: 6362
diff changeset
555 (save-excursion
e5d9ea7852bf (Man-original-frame): New variable.
Karl Heuer <kwzh@gnu.org>
parents: 6362
diff changeset
556 (set-buffer buffer)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
557 (setq Man-original-frame (selected-frame))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
558 (setq Man-arguments man-args))
4175
3e4fa4423f5a (Man-getpage-in-background): Copy process-environment
Richard M. Stallman <rms@gnu.org>
parents: 4009
diff changeset
559 (let ((process-environment (copy-sequence process-environment)))
3713
c77a3da2d08d (Man-getpage-in-background): Use TERM=dumb to prevent
Richard M. Stallman <rms@gnu.org>
parents: 3659
diff changeset
560 ;; Prevent any attempt to use display terminal fanciness.
c77a3da2d08d (Man-getpage-in-background): Use TERM=dumb to prevent
Richard M. Stallman <rms@gnu.org>
parents: 3659
diff changeset
561 (setenv "TERM" "dumb")
c77a3da2d08d (Man-getpage-in-background): Use TERM=dumb to prevent
Richard M. Stallman <rms@gnu.org>
parents: 3659
diff changeset
562 (set-process-sentinel
6676
7251020c1c79 (manual-program): New (actually reintroduced) variable.
Karl Heuer <kwzh@gnu.org>
parents: 6613
diff changeset
563 (start-process manual-program buffer "sh" "-c"
3714
a1edd269b2f4 (Man-getpage-in-background): Move close paren.
Richard M. Stallman <rms@gnu.org>
parents: 3713
diff changeset
564 (format (Man-build-man-command) man-args))
a1edd269b2f4 (Man-getpage-in-background): Move close paren.
Richard M. Stallman <rms@gnu.org>
parents: 3713
diff changeset
565 'Man-bgproc-sentinel))
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
566 )))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
567
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
568 (defun Man-notify-when-ready (man-buffer)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
569 "Notify the user when MAN-BUFFER is ready.
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
570 See the variable `Man-notify-method' for the different notification behaviors."
8697
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
571 (let ((saved-frame (save-excursion
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
572 (set-buffer man-buffer)
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
573 Man-original-frame)))
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
574 (cond
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
575 ((eq Man-notify-method 'newframe)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
576 ;; Since we run asynchronously, perhaps while Emacs is waiting
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
577 ;; for input, we must not leave a different buffer current. We
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
578 ;; can't rely on the editor command loop to reselect the
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
579 ;; selected window's buffer.
8697
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
580 (save-excursion
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
581 (set-buffer man-buffer)
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
582 (make-frame Man-frame-parameters)))
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
583 ((eq Man-notify-method 'pushy)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
584 (switch-to-buffer man-buffer))
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
585 ((eq Man-notify-method 'bully)
8697
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
586 (and window-system
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
587 (frame-live-p saved-frame)
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
588 (select-frame saved-frame))
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
589 (pop-to-buffer man-buffer)
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
590 (delete-other-windows))
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
591 ((eq Man-notify-method 'aggressive)
8697
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
592 (and window-system
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
593 (frame-live-p saved-frame)
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
594 (select-frame saved-frame))
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
595 (pop-to-buffer man-buffer))
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
596 ((eq Man-notify-method 'friendly)
8697
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
597 (and window-system
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
598 (frame-live-p saved-frame)
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
599 (select-frame saved-frame))
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
600 (display-buffer man-buffer 'not-this-window))
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
601 ((eq Man-notify-method 'polite)
8697
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
602 (beep)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
603 (message "Manual buffer %s is ready" (buffer-name man-buffer)))
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
604 ((eq Man-notify-method 'quiet)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
605 (message "Manual buffer %s is ready" (buffer-name man-buffer)))
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
606 ((or (eq Man-notify-method 'meek)
8697
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
607 t)
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
608 (message ""))
c75e435af62f (Man-notify-when-ready): Get Man-original-frame from the proper buffer.
Richard M. Stallman <rms@gnu.org>
parents: 8190
diff changeset
609 )))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
610
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
611 (defun Man-fontify-manpage ()
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
612 "Convert overstriking and underlining to the correct fonts.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
613 Same for the ANSI bold and normal escape sequences."
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
614 (interactive)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
615 (message "Please wait: making up the %s man page..." Man-arguments)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
616 (goto-char (point-min))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
617 (while (search-forward "\e[1m" nil t)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
618 (delete-backward-char 4)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
619 (put-text-property (point)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
620 (progn (if (search-forward "\e[0m" nil 'move)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
621 (delete-backward-char 4))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
622 (point))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
623 'face 'bold))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
624 (goto-char (point-min))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
625 (while (search-forward "_\b" nil t)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
626 (backward-delete-char 2)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
627 (put-text-property (point) (1+ (point)) 'face 'underline))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
628 (goto-char (point-min))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
629 (while (search-forward "\b_" nil t)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
630 (backward-delete-char 2)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
631 (put-text-property (1- (point)) (point) 'face 'underline))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
632 (goto-char (point-min))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
633 (while (re-search-forward "\e[789]" nil t)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
634 (backward-delete-char 2))
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
635 (goto-char (point-min))
9210
8d35fd88194d * man.el (Man-init-defvars, Man-cleanup-manpage,
Francesco Potortì <pot@gnu.org>
parents: 9177
diff changeset
636 (while (re-search-forward "\\(.\\)\\(\b\\1\\)+" nil t)
8d35fd88194d * man.el (Man-init-defvars, Man-cleanup-manpage,
Francesco Potortì <pot@gnu.org>
parents: 9177
diff changeset
637 (replace-match "\\1")
8d35fd88194d * man.el (Man-init-defvars, Man-cleanup-manpage,
Francesco Potortì <pot@gnu.org>
parents: 9177
diff changeset
638 (put-text-property (1- (point)) (point) 'face 'bold))
8d35fd88194d * man.el (Man-init-defvars, Man-cleanup-manpage,
Francesco Potortì <pot@gnu.org>
parents: 9177
diff changeset
639 (goto-char (point-min))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
640 (while (search-forward "o\b+" nil t)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
641 (backward-delete-char 2)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
642 (put-text-property (1- (point)) (point) 'face 'bold))
9210
8d35fd88194d * man.el (Man-init-defvars, Man-cleanup-manpage,
Francesco Potortì <pot@gnu.org>
parents: 9177
diff changeset
643 (goto-char (point-min))
8d35fd88194d * man.el (Man-init-defvars, Man-cleanup-manpage,
Francesco Potortì <pot@gnu.org>
parents: 9177
diff changeset
644 (while (re-search-forward "|\b-[-|\b]*" nil t)
9177
5c7bf3247185 * man.el
Francesco Potortì <pot@gnu.org>
parents: 9003
diff changeset
645 (replace-match "+")
5c7bf3247185 * man.el
Francesco Potortì <pot@gnu.org>
parents: 9003
diff changeset
646 (put-text-property (1- (point)) (point) 'face 'bold))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
647 (message "%s man page made up" Man-arguments))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
648
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
649 (defun Man-cleanup-manpage ()
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
650 "Remove overstriking and underlining from the current buffer."
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
651 (interactive)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
652 (message "Please wait: cleaning up the %s man page..." Man-arguments)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
653 (goto-char (point-min))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
654 (while (re-search-forward "\e\\[[0-9]+m" nil t) (replace-match ""))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
655 (goto-char (point-min))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
656 (while (search-forward "_\b" nil t) (backward-delete-char 2))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
657 (goto-char (point-min))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
658 (while (search-forward "\b_" nil t) (backward-delete-char 2))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
659 (goto-char (point-min))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
660 (while (re-search-forward "\e[789]" nil t) (backward-delete-char 2))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
661 (goto-char (point-min))
9210
8d35fd88194d * man.el (Man-init-defvars, Man-cleanup-manpage,
Francesco Potortì <pot@gnu.org>
parents: 9177
diff changeset
662 (while (re-search-forward "\\(.\\)\\(\b\\1\\)+" nil t)
8d35fd88194d * man.el (Man-init-defvars, Man-cleanup-manpage,
Francesco Potortì <pot@gnu.org>
parents: 9177
diff changeset
663 (replace-match "\\1"))
8d35fd88194d * man.el (Man-init-defvars, Man-cleanup-manpage,
Francesco Potortì <pot@gnu.org>
parents: 9177
diff changeset
664 (goto-char (point-min))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
665 (while (search-forward "o\b+" nil t) (backward-delete-char 2))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
666 (goto-char (point-min))
9210
8d35fd88194d * man.el (Man-init-defvars, Man-cleanup-manpage,
Francesco Potortì <pot@gnu.org>
parents: 9177
diff changeset
667 (while (re-search-forward "|\b-[-|\b]*" nil t) (replace-match "+"))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
668 (message "%s man page cleaned up" Man-arguments))
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
669
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
670 (defun Man-bgproc-sentinel (process msg)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
671 "Manpage background process sentinel."
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
672 (let ((Man-buffer (process-buffer process))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
673 (delete-buff nil)
8190
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
674 (err-mess nil))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
675
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
676 (if (null (buffer-name Man-buffer)) ;; deleted buffer
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
677 (set-process-buffer process nil)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
678
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
679 (save-excursion
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
680 (set-buffer Man-buffer)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
681 (save-match-data
8190
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
682 (let ((case-fold-search nil))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
683 (goto-char (point-min))
8190
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
684 (cond ((or (looking-at "No \\(manual \\)*entry for")
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
685 (looking-at "[^\n]*: nothing appropriate$"))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
686 (setq err-mess (buffer-substring (point)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
687 (progn
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
688 (end-of-line) (point)))
8190
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
689 delete-buff t))
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
690 ((not (and (eq (process-status process) 'exit)
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
691 (= (process-exit-status process) 0)))
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
692 (setq err-mess
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
693 (concat (buffer-name Man-buffer)
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
694 ": process "
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
695 (let ((eos (1- (length msg))))
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
696 (if (= (aref msg eos) ?\n)
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
697 (substring msg 0 eos) msg))))
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
698 (goto-char (point-max))
04aa77218846 (Man-bgproc-sentinel): Bind case-fold-search for just the
Richard M. Stallman <rms@gnu.org>
parents: 7518
diff changeset
699 (insert (format "\nprocess %s" msg))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
700 ))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
701 (if delete-buff
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
702 (kill-buffer Man-buffer)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
703 (if Man-fontify-manpage-flag
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
704 (Man-fontify-manpage)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
705 (if (not Man-sed-script)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
706 (Man-cleanup-manpage)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
707 (run-hooks 'Man-cooked-hook)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
708 (Man-mode)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
709 (set-buffer-modified-p nil)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
710 ))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
711 ;; Restore case-fold-search before calling
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
712 ;; Man-notify-when-ready because it may switch buffers.
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
713
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
714 (if (not delete-buff)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
715 (Man-notify-when-ready Man-buffer))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
716
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
717 (if err-mess
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
718 (error err-mess))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
719 )))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
720
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
721
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
722 ;; ======================================================================
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
723 ;; set up manual mode in buffer and build alists
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
724
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
725 (defun Man-mode ()
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
726 "A mode for browsing Un*x manual pages.
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
727
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
728 The following man commands are available in the buffer. Try
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
729 \"\\[describe-key] <key> RET\" for more information:
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
730
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
731 \\[man] Prompt to retrieve a new manpage.
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
732 \\[Man-follow-manual-reference] Retrieve reference in SEE ALSO section.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
733 \\[Man-next-manpage] Jump to next manpage in circular list.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
734 \\[Man-previous-manpage] Jump to previous manpage in circular list.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
735 \\[Man-next-section] Jump to next manpage section.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
736 \\[Man-previous-section] Jump to previous manpage section.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
737 \\[Man-goto-section] Go to a manpage section.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
738 \\[Man-goto-see-also-section] Jumps to the SEE ALSO manpage section.
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
739 \\[Man-quit] Deletes the manpage window, bury its buffer.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
740 \\[Man-kill] Deletes the manpage window, kill its buffer.
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
741 \\[describe-mode] Prints this help text.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
742
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
743 The following variables may be of some use. Try
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
744 \"\\[describe-variable] <variable-name> RET\" for more information:
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
745
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
746 Man-notify-method What happens when manpage formatting is done.
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
747 Man-reuse-okay-flag Reuse already formatted buffer.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
748 Man-downcase-section-letters-flag Force section letters to lower case.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
749 Man-circular-pages-flag Treat multiple manpage list as circular.
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
750 Man-auto-section-alist List of major modes and their section numbers.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
751 Man-section-translations-alist List of section numbers and their Un*x equiv.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
752 Man-filter-list Background manpage filter command.
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
753 Man-mode-line-format Mode line format for Man mode buffers.
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
754 Man-mode-map Keymap bindings for Man mode buffers.
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
755 Man-mode-hook Normal hook run on entry to Man mode.
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
756 Man-section-regexp Regexp describing manpage section letters.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
757 Man-heading-regexp Regexp describing section headers.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
758 Man-see-also-regexp Regexp for SEE ALSO section (or your equiv).
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
759 Man-first-heading-regexp Regexp for first heading on a manpage.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
760 Man-reference-regexp Regexp matching a references in SEE ALSO.
3833
70551a213fae * man.el (Man-switches): New variable.
Jim Blandy <jimb@redhat.com>
parents: 3714
diff changeset
761 Man-switches Background `man' command switches.
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
762
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
763 The following key bindings are currently in effect in the buffer:
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
764 \\{Man-mode-map}"
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
765 (interactive)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
766 (setq major-mode 'Man-mode
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
767 mode-name "Man"
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
768 buffer-auto-save-file-name nil
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
769 mode-line-format Man-mode-line-format
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
770 truncate-lines t
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
771 buffer-read-only t)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
772 (buffer-disable-undo (current-buffer))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
773 (auto-fill-mode -1)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
774 (use-local-map Man-mode-map)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
775 (Man-build-page-list)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
776 (Man-strip-page-headers)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
777 (Man-unindent)
3619
062dbb10173d (Man-mode): Run Man-mode-hook.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
778 (Man-goto-page 1)
062dbb10173d (Man-mode): Run Man-mode-hook.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
779 (run-hooks 'Man-mode-hook))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
780
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
781 (defsubst Man-build-section-alist ()
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
782 "Build the association list of manpage sections."
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
783 (setq Man-sections-alist nil)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
784 (goto-char (point-min))
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
785 (let ((case-fold-search nil))
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
786 (while (re-search-forward Man-heading-regexp (point-max) t)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
787 (aput 'Man-sections-alist (Man-match-substring 1))
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
788 (forward-line 1))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
789
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
790 (defsubst Man-build-references-alist ()
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
791 "Build the association list of references (in the SEE ALSO section)."
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
792 (setq Man-refpages-alist nil)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
793 (save-excursion
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
794 (if (Man-find-section Man-see-also-regexp)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
795 (let ((start (progn (forward-line 1) (point)))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
796 (end (progn
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
797 (Man-next-section 1)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
798 (point)))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
799 hyphenated
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
800 (runningpoint -1))
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
801 (save-restriction
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
802 (narrow-to-region start end)
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
803 (goto-char (point-min))
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
804 (back-to-indentation)
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
805 (while (and (not (eobp)) (/= (point) runningpoint))
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
806 (setq runningpoint (point))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
807 (if (re-search-forward Man-reference-regexp end t)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
808 (let* ((word (Man-match-substring 0))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
809 (len (1- (length word))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
810 (if hyphenated
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
811 (setq word (concat hyphenated word)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
812 hyphenated nil))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
813 (if (= (aref word len) ?-)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
814 (setq hyphenated (substring word 0 len))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
815 (aput 'Man-refpages-alist word))))
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
816 (skip-chars-forward " \t\n,")))))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
817
9354
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
818 (defun Man-build-page-list ()
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
819 "Build the list of separate manpages in the buffer."
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
820 (setq Man-page-list nil)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
821 (let ((page-start (point-min))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
822 (page-end (point-max))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
823 (header ""))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
824 (goto-char page-start)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
825 ;; (switch-to-buffer (current-buffer))(debug)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
826 (while (not (eobp))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
827 (setq header
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
828 (if (looking-at Man-page-header-regexp)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
829 (Man-match-substring 1)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
830 nil))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
831 ;; Go past both the current and the next Man-first-heading-regexp
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
832 (if (re-search-forward Man-first-heading-regexp nil 'move 2)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
833 (let ((p (progn (beginning-of-line) (point))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
834 ;; We assume that the page header is delimited by blank
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
835 ;; lines and that it contains at most one blank line. So
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
836 ;; if we back by three blank lines we will be sure to be
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
837 ;; before the page header but not before the possible
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
838 ;; previous page header.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
839 (search-backward "\n\n" nil t 3)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
840 (if (re-search-forward Man-page-header-regexp p 'move)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
841 (beginning-of-line))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
842 (setq page-end (point))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
843 (setq Man-page-list (append Man-page-list
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
844 (list (list (copy-marker page-start)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
845 (copy-marker page-end)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
846 header))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
847 (setq page-start page-end)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
848 )))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
849
9354
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
850 (defun Man-strip-page-headers ()
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
851 "Strip all the page headers but the first from the manpage."
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
852 (let ((buffer-read-only nil)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
853 (case-fold-search nil)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
854 (page-list Man-page-list)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
855 (page ())
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
856 (header ""))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
857 (while page-list
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
858 (setq page (car page-list))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
859 (and (nth 2 page)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
860 (goto-char (car page))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
861 (re-search-forward Man-first-heading-regexp nil t)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
862 (setq header (buffer-substring (car page) (match-beginning 0)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
863 ;; Since the awk script collapses all successive blank
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
864 ;; lines into one, and since we don't want to get rid of
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
865 ;; the fast awk script, one must choose between adding
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
866 ;; spare blank lines between pages when there were none and
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
867 ;; deleting blank lines at page boundaries when there were
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
868 ;; some. We choose the first, so we comment the following
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
869 ;; line.
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
870 ;; (setq header (concat "\n" header)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
871 (while (search-forward header (nth 1 page) t)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
872 (replace-match "")))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
873 (setq page-list (cdr page-list)))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
874
9354
1ce43418547c * man.el (Man-notify, Man-current-page, Man-page-list,
Francesco Potortì <pot@gnu.org>
parents: 9210
diff changeset
875 (defun Man-unindent ()
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
876 "Delete the leading spaces that indent the manpage."
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
877 (let ((buffer-read-only nil)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
878 (case-fold-search nil)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
879 (page-list Man-page-list))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
880 (while page-list
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
881 (let ((page (car page-list))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
882 (indent "")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
883 (nindent 0))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
884 (narrow-to-region (car page) (car (cdr page)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
885 (if Man-uses-untabify-flag
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
886 (untabify (point-min) (point-max)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
887 (if (catch 'unindent
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
888 (goto-char (point-min))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
889 (if (not (re-search-forward Man-first-heading-regexp nil t))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
890 (throw 'unindent nil))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
891 (beginning-of-line)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
892 (setq indent (buffer-substring (point)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
893 (progn
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
894 (skip-chars-forward " ")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
895 (point))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
896 (setq nindent (length indent))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
897 (if (zerop nindent)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
898 (throw 'unindent nil))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
899 (setq indent (concat indent "\\|$"))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
900 (goto-char (point-min))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
901 (while (not (eobp))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
902 (if (looking-at indent)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
903 (forward-line 1)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
904 (throw 'unindent nil)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
905 (goto-char (point-min)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
906 (while (not (eobp))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
907 (or (eolp)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
908 (delete-char nindent))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
909 (forward-line 1)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
910 (setq page-list (cdr page-list))
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
911 ))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
912
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
913
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
914 ;; ======================================================================
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
915 ;; Man mode commands
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
916
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
917 (defun Man-next-section (n)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
918 "Move point to Nth next section (default 1)."
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
919 (interactive "p")
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
920 (let ((case-fold-search nil))
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
921 (if (looking-at Man-heading-regexp)
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
922 (forward-line 1))
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
923 (if (re-search-forward Man-heading-regexp (point-max) t n)
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
924 (beginning-of-line)
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
925 (goto-char (point-max)))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
926
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
927 (defun Man-previous-section (n)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
928 "Move point to Nth previous section (default 1)."
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
929 (interactive "p")
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
930 (let ((case-fold-search nil))
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
931 (if (looking-at Man-heading-regexp)
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
932 (forward-line -1))
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
933 (if (re-search-backward Man-heading-regexp (point-min) t n)
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
934 (beginning-of-line)
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
935 (goto-char (point-min)))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
936
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
937 (defun Man-find-section (section)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
938 "Move point to SECTION if it exists, otherwise don't move point.
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
939 Returns t if section is found, nil otherwise."
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
940 (let ((curpos (point))
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
941 (case-fold-search nil))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
942 (goto-char (point-min))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
943 (if (re-search-forward (concat "^" section) (point-max) t)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
944 (progn (beginning-of-line) t)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
945 (goto-char curpos)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
946 nil)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
947 ))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
948
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
949 (defun Man-goto-section ()
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
950 "Query for section to move point to."
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
951 (interactive)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
952 (aput 'Man-sections-alist
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
953 (let* ((default (aheadsym Man-sections-alist))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
954 (completion-ignore-case t)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
955 chosen
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
956 (prompt (concat "Go to section: (default " default ") ")))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
957 (setq chosen (completing-read prompt Man-sections-alist))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
958 (if (or (not chosen)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
959 (string= chosen ""))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
960 default
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
961 chosen)))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
962 (Man-find-section (aheadsym Man-sections-alist)))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
963
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
964 (defun Man-goto-see-also-section ()
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
965 "Move point the the \"SEE ALSO\" section.
3909
192e7aa8389a (Man-auto-section-alist): Default value nil.
Richard M. Stallman <rms@gnu.org>
parents: 3833
diff changeset
966 Actually the section moved to is described by `Man-see-also-regexp'."
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
967 (interactive)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
968 (if (not (Man-find-section Man-see-also-regexp))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
969 (error (concat "No " Man-see-also-regexp
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
970 " section found in the current manpage"))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
971
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
972 (defun Man-follow-manual-reference (arg reference)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
973 "Get one of the manpages referred to in the \"SEE ALSO\" section.
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
974 Specify which reference to use; default is based on word at point.
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
975 Prefix argument ARG is passed to `Man-getpage-in-background'."
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
976 (interactive
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
977 (if (not Man-refpages-alist)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
978 (error "There are no references in the current man page")
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
979 (list current-prefix-arg
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
980 (let* ((default (or
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
981 (car (all-completions
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
982 (save-excursion
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
983 (skip-syntax-backward "w()")
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
984 (skip-chars-forward " \t")
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
985 (let ((word (current-word)))
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
986 ;; strip a trailing '-':
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
987 (if (string-match "-$" word)
7450
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
988 (substring word 0
7ae5ee2ccd7f (Man-reuse-okay-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 7364
diff changeset
989 (match-beginning 0))
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
990 word)))
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
991 Man-refpages-alist))
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
992 (aheadsym Man-refpages-alist)))
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
993 chosen
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
994 (prompt (concat "Refer to: (default " default ") ")))
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
995 (setq chosen (completing-read prompt Man-refpages-alist nil t))
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
996 (if (or (not chosen)
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
997 (string= chosen ""))
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
998 default
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
999 chosen)))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1000 (if (not Man-refpages-alist)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1001 (error "Can't find any references in the current manpage")
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
1002 (aput 'Man-refpages-alist reference)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1003 (Man-getpage-in-background
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1004 (Man-translate-references (aheadsym Man-refpages-alist))
5269
c6588bd7dd93 (Man-specified-section-option): Test system-configuration.
Richard M. Stallman <rms@gnu.org>
parents: 5108
diff changeset
1005 arg)))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1006
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1007 (defun Man-kill ()
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1008 "Kill the buffer containing the manpage."
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1009 (interactive)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1010 (let ((buff (current-buffer)))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1011 (delete-windows-on buff)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1012 (kill-buffer buff))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1013 (if (and window-system
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
1014 (or (eq Man-notify-method 'newframe)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1015 (and pop-up-frames
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
1016 (eq Man-notify-method 'bully))))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1017 (delete-frame)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1018
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1019 (defun Man-quit ()
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1020 "Bury the buffer containing the manpage."
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1021 (interactive)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1022 (let ((buff (current-buffer)))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1023 (delete-windows-on buff)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1024 (bury-buffer buff))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1025 (if (and window-system
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
1026 (or (eq Man-notify-method 'newframe)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1027 (and pop-up-frames
9003
bfe446409b77 User option Man-notify-flag renamed to Man-notify-method.
Francesco Potortì <pot@gnu.org>
parents: 8970
diff changeset
1028 (eq Man-notify-method 'bully))))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1029 (delete-frame)))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1030
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1031 (defun Man-goto-page (page)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1032 "Go to the manual page on page PAGE."
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1033 (interactive
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1034 (if (not Man-page-list)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1035 (let ((args Man-arguments))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1036 (kill-buffer (current-buffer))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1037 (error "Can't find the %s manpage" args))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1038 (if (= (length Man-page-list) 1)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1039 (error "You're looking at the only manpage in the buffer")
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1040 (list (read-minibuffer (format "Go to manpage [1-%d]: "
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1041 (length Man-page-list)))))))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1042 (if (not Man-page-list)
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1043 (let ((args Man-arguments))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1044 (kill-buffer (current-buffer))
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1045 (error "Can't find the %s manpage" args)))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1046 (if (or (< page 1)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1047 (> page (length Man-page-list)))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1048 (error "No manpage %d found" page))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1049 (let* ((page-range (nth (1- page) Man-page-list))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1050 (page-start (car page-range))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1051 (page-end (car (cdr page-range))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1052 (setq Man-current-page page
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1053 Man-page-mode-string (Man-make-page-mode-string))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1054 (widen)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1055 (goto-char page-start)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1056 (narrow-to-region page-start page-end)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1057 (Man-build-section-alist)
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1058 (Man-build-references-alist)
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1059 (goto-char (point-min))))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1060
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1061
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1062 (defun Man-next-manpage ()
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1063 "Find the next manpage entry in the buffer."
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1064 (interactive)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1065 (if (= (length Man-page-list) 1)
7499
b3cacdf7bbfa Remove periods from messages.
Richard M. Stallman <rms@gnu.org>
parents: 7453
diff changeset
1066 (error "This is the only manpage in the buffer"))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1067 (if (< Man-current-page (length Man-page-list))
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1068 (Man-goto-page (1+ Man-current-page))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1069 (if Man-circular-pages-flag
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1070 (Man-goto-page 1)
7499
b3cacdf7bbfa Remove periods from messages.
Richard M. Stallman <rms@gnu.org>
parents: 7453
diff changeset
1071 (error "You're looking at the last manpage in the buffer"))))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1072
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1073 (defun Man-previous-manpage ()
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1074 "Find the previous manpage entry in the buffer."
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1075 (interactive)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1076 (if (= (length Man-page-list) 1)
7499
b3cacdf7bbfa Remove periods from messages.
Richard M. Stallman <rms@gnu.org>
parents: 7453
diff changeset
1077 (error "This is the only manpage in the buffer"))
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1078 (if (> Man-current-page 1)
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1079 (Man-goto-page (1- Man-current-page))
8970
c0a15f821bd8 * man.el (Man-notify-flag): replaces the old Man-notify
Francesco Potortì <pot@gnu.org>
parents: 8697
diff changeset
1080 (if Man-circular-pages-flag
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1081 (Man-goto-page (length Man-page-list))
7499
b3cacdf7bbfa Remove periods from messages.
Richard M. Stallman <rms@gnu.org>
parents: 7453
diff changeset
1082 (error "You're looking at the first manpage in the buffer"))))
3833
70551a213fae * man.el (Man-switches): New variable.
Jim Blandy <jimb@redhat.com>
parents: 3714
diff changeset
1083
70551a213fae * man.el (Man-switches): New variable.
Jim Blandy <jimb@redhat.com>
parents: 3714
diff changeset
1084 (provide 'man)
70551a213fae * man.el (Man-switches): New variable.
Jim Blandy <jimb@redhat.com>
parents: 3714
diff changeset
1085
3235
82c4b81ce570 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1086 ;;; man.el ends here