Mercurial > emacs
annotate lisp/info.el @ 15208:01588278fceb
(allocate_heap): Bump heap base up to 27MB to
wsatisfy Win95.
author | Geoff Voelker <voelker@cs.washington.edu> |
---|---|
date | Sat, 11 May 1996 06:38:25 +0000 |
parents | 4935ada40f67 |
children | d78c3fd6a0ab |
rev | line source |
---|---|
754
b096f4af925c
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
732
diff
changeset
|
1 ;;; info.el --- info package for Emacs. |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
2 |
7298 | 3 ;; Copyright (C) 1985, 1986, 1992, 1993, 1994 Free Software Foundation, Inc. |
846
20674ae6bf52
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
811
diff
changeset
|
4 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
5 ;; Maintainer: FSF |
811
e694e0879463
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
807
diff
changeset
|
6 ;; Keywords: help |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
7 |
325 | 8 ;; This file is part of GNU Emacs. |
9 | |
10 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
11 ;; it under the terms of the GNU General Public License as published by | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
12 ;; the Free Software Foundation; either version 2, or (at your option) |
325 | 13 ;; any later version. |
14 | |
15 ;; GNU Emacs is distributed in the hope that it will be useful, | |
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
18 ;; GNU General Public License for more details. | |
19 | |
20 ;; You should have received a copy of the GNU General Public License | |
14169 | 21 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
22 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
23 ;; Boston, MA 02111-1307, USA. | |
325 | 24 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
25 ;;; Commentary: |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
26 |
14169 | 27 ;; Note that nowadays we expect info files to be made using makeinfo. |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
28 |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
29 ;;; Code: |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
30 |
325 | 31 (defvar Info-history nil |
32 "List of info nodes user has visited. | |
33 Each element of list is a list (FILENAME NODENAME BUFFERPOS).") | |
34 | |
35 (defvar Info-enable-edit nil | |
3084
a4341d92948a
(Info-edit, Info-last-search, Info-enable-edit):
Richard M. Stallman <rms@gnu.org>
parents:
3047
diff
changeset
|
36 "*Non-nil means the \\<Info-mode-map>\\[Info-edit] command in Info can edit the current node. |
680
f99c8512cd41
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
660
diff
changeset
|
37 This is convenient if you want to write info files by hand. |
f99c8512cd41
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
660
diff
changeset
|
38 However, we recommend that you not do this. |
f99c8512cd41
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
660
diff
changeset
|
39 It is better to write a Texinfo file and generate the Info file from that, |
f99c8512cd41
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
660
diff
changeset
|
40 because that gives you a printed manual as well.") |
325 | 41 |
15177
4935ada40f67
(Info-enable-active-nodes): Default to nil. Mark it risky.
Richard M. Stallman <rms@gnu.org>
parents:
15126
diff
changeset
|
42 (defvar Info-enable-active-nodes nil |
325 | 43 "Non-nil allows Info to execute Lisp code associated with nodes. |
44 The Lisp code is executed when the node is selected.") | |
15177
4935ada40f67
(Info-enable-active-nodes): Default to nil. Mark it risky.
Richard M. Stallman <rms@gnu.org>
parents:
15126
diff
changeset
|
45 (put 'Info-enable-active-nodes 'risky-local-variable t) |
325 | 46 |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
47 (defvar Info-fontify t |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
48 "*Non-nil enables highlighting and fonts in Info nodes.") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
49 |
8193
0be48d0d16fd
(Info-fontify-maximum-menu-size): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
8071
diff
changeset
|
50 (defvar Info-fontify-maximum-menu-size 30000 |
0be48d0d16fd
(Info-fontify-maximum-menu-size): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
8071
diff
changeset
|
51 "*Maximum size of menu to fontify if `Info-fontify' is non-nil.") |
8480
7f28030d9529
(Info-additional-directory-list): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
8461
diff
changeset
|
52 |
3330
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
53 (defvar Info-directory-list |
5482
27603dcb6260
(Info-directory-list): Change last elt to ../info (expanded).
Richard M. Stallman <rms@gnu.org>
parents:
5271
diff
changeset
|
54 (let ((path (getenv "INFOPATH")) |
12294
3631443c706e
(Info-directory-list): If path-separator isn't available, bind it here.
Richard M. Stallman <rms@gnu.org>
parents:
12156
diff
changeset
|
55 ;; This is for older Emacs versions |
3631443c706e
(Info-directory-list): If path-separator isn't available, bind it here.
Richard M. Stallman <rms@gnu.org>
parents:
12156
diff
changeset
|
56 ;; which might get this info.el from the Texinfo distribution. |
3631443c706e
(Info-directory-list): If path-separator isn't available, bind it here.
Richard M. Stallman <rms@gnu.org>
parents:
12156
diff
changeset
|
57 (path-separator (if (boundp 'path-separator) path-separator |
3631443c706e
(Info-directory-list): If path-separator isn't available, bind it here.
Richard M. Stallman <rms@gnu.org>
parents:
12156
diff
changeset
|
58 (if (eq system-type 'ms-dos) ";" ":"))) |
13620
e5b36a1526dd
(Info-directory-list): Use source-directory.
Richard M. Stallman <rms@gnu.org>
parents:
13566
diff
changeset
|
59 (source (expand-file-name "info/" source-directory)) |
11781
fe6619d546fd
(Info-directory-list): Use installation-directory,
Richard M. Stallman <rms@gnu.org>
parents:
11759
diff
changeset
|
60 (sibling (if installation-directory |
13620
e5b36a1526dd
(Info-directory-list): Use source-directory.
Richard M. Stallman <rms@gnu.org>
parents:
13566
diff
changeset
|
61 (expand-file-name "info/" installation-directory))) |
e5b36a1526dd
(Info-directory-list): Use source-directory.
Richard M. Stallman <rms@gnu.org>
parents:
13566
diff
changeset
|
62 alternative) |
3330
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
63 (if path |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
64 (let ((list nil) |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
65 idx) |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
66 (while (> (length path) 0) |
11959
0b8b8be6a3fd
(Info-directory-list): Use path-separator.
Karl Heuer <kwzh@gnu.org>
parents:
11781
diff
changeset
|
67 (setq idx (or (string-match path-separator path) (length path)) |
3330
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
68 list (cons (substring path 0 idx) list) |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
69 path (substring path (min (1+ idx) |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
70 (length path))))) |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
71 (nreverse list)) |
13620
e5b36a1526dd
(Info-directory-list): Use source-directory.
Richard M. Stallman <rms@gnu.org>
parents:
13566
diff
changeset
|
72 (if (and sibling (file-exists-p sibling)) |
e5b36a1526dd
(Info-directory-list): Use source-directory.
Richard M. Stallman <rms@gnu.org>
parents:
13566
diff
changeset
|
73 (setq alternative sibling) |
e5b36a1526dd
(Info-directory-list): Use source-directory.
Richard M. Stallman <rms@gnu.org>
parents:
13566
diff
changeset
|
74 (setq alternative source)) |
e5b36a1526dd
(Info-directory-list): Use source-directory.
Richard M. Stallman <rms@gnu.org>
parents:
13566
diff
changeset
|
75 (if (or (member alternative Info-default-directory-list) |
e5b36a1526dd
(Info-directory-list): Use source-directory.
Richard M. Stallman <rms@gnu.org>
parents:
13566
diff
changeset
|
76 (not (file-exists-p alternative)) |
9782
7224fba93c27
(Info-directory-list): Treat windows-nt like ms-dos.
Richard M. Stallman <rms@gnu.org>
parents:
9588
diff
changeset
|
77 ;; On DOS/NT, we use movable executables always, |
7990
6be46752d57f
(Info-directory-list): For msdos, don't check for
Richard M. Stallman <rms@gnu.org>
parents:
7928
diff
changeset
|
78 ;; and we must always find the Info dir at run time. |
9782
7224fba93c27
(Info-directory-list): Treat windows-nt like ms-dos.
Richard M. Stallman <rms@gnu.org>
parents:
9588
diff
changeset
|
79 (if (or (eq system-type 'ms-dos) (eq system-type 'windows-nt)) |
7990
6be46752d57f
(Info-directory-list): For msdos, don't check for
Richard M. Stallman <rms@gnu.org>
parents:
7928
diff
changeset
|
80 nil |
6be46752d57f
(Info-directory-list): For msdos, don't check for
Richard M. Stallman <rms@gnu.org>
parents:
7928
diff
changeset
|
81 ;; Use invocation-directory for Info only if we used it for |
6be46752d57f
(Info-directory-list): For msdos, don't check for
Richard M. Stallman <rms@gnu.org>
parents:
7928
diff
changeset
|
82 ;; exec-directory also. |
6be46752d57f
(Info-directory-list): For msdos, don't check for
Richard M. Stallman <rms@gnu.org>
parents:
7928
diff
changeset
|
83 (not (string= exec-directory |
11781
fe6619d546fd
(Info-directory-list): Use installation-directory,
Richard M. Stallman <rms@gnu.org>
parents:
11759
diff
changeset
|
84 (expand-file-name "lib-src/" |
fe6619d546fd
(Info-directory-list): Use installation-directory,
Richard M. Stallman <rms@gnu.org>
parents:
11759
diff
changeset
|
85 installation-directory))))) |
5482
27603dcb6260
(Info-directory-list): Change last elt to ../info (expanded).
Richard M. Stallman <rms@gnu.org>
parents:
5271
diff
changeset
|
86 Info-default-directory-list |
13620
e5b36a1526dd
(Info-directory-list): Use source-directory.
Richard M. Stallman <rms@gnu.org>
parents:
13566
diff
changeset
|
87 (reverse (cons alternative |
e5b36a1526dd
(Info-directory-list): Use source-directory.
Richard M. Stallman <rms@gnu.org>
parents:
13566
diff
changeset
|
88 (cdr (reverse Info-default-directory-list))))))) |
325 | 89 "List of directories to search for Info documentation files. |
540 | 90 nil means not yet initialized. In this case, Info uses the environment |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
91 variable INFOPATH to initialize it, or `Info-default-directory-list' |
7739
f2747ec591fd
(Info-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7572
diff
changeset
|
92 if there is no INFOPATH variable in the environment. |
f2747ec591fd
(Info-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7572
diff
changeset
|
93 The last element of `Info-default-directory-list' is the directory |
7753
198dd616a588
(Info-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7739
diff
changeset
|
94 where Emacs installs the Info files that come with it. |
8461
c88361c3b940
(Info-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
8369
diff
changeset
|
95 |
c88361c3b940
(Info-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
8369
diff
changeset
|
96 If you run the Emacs executable from the `src' directory in the Emacs |
c88361c3b940
(Info-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
8369
diff
changeset
|
97 source tree, the `info' directory in the source tree is used as the last |
c88361c3b940
(Info-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
8369
diff
changeset
|
98 element, in place of the installation Info directory. This is useful |
c88361c3b940
(Info-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
8369
diff
changeset
|
99 when you run a version of Emacs without installing it.") |
325 | 100 |
8480
7f28030d9529
(Info-additional-directory-list): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
8461
diff
changeset
|
101 (defvar Info-additional-directory-list nil |
7f28030d9529
(Info-additional-directory-list): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
8461
diff
changeset
|
102 "List of additional directories to search for Info documentation files. |
7f28030d9529
(Info-additional-directory-list): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
8461
diff
changeset
|
103 These directories are not searched for merging the `dir' file.") |
7f28030d9529
(Info-additional-directory-list): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
8461
diff
changeset
|
104 |
325 | 105 (defvar Info-current-file nil |
12646
cd83cf47be08
(Info-current-file): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
12433
diff
changeset
|
106 "Info file that Info is now looking at, or nil. |
cd83cf47be08
(Info-current-file): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
12433
diff
changeset
|
107 This is the name that was specified in Info, not the actual file name. |
cd83cf47be08
(Info-current-file): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
12433
diff
changeset
|
108 It doesn't contain directory names or file name extensions added by Info.") |
325 | 109 |
110 (defvar Info-current-subfile nil | |
111 "Info subfile that is actually in the *info* buffer now, | |
112 or nil if current info file is not split into subfiles.") | |
113 | |
114 (defvar Info-current-node nil | |
115 "Name of node that Info is now looking at, or nil.") | |
116 | |
117 (defvar Info-tag-table-marker (make-marker) | |
118 "Marker pointing at beginning of current Info file's tag table. | |
119 Marker points nowhere if file has no tag table.") | |
120 | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
121 (defvar Info-current-file-completions nil |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
122 "Cached completion list for current Info file.") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
123 |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
124 (defvar Info-index-alternatives nil |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
125 "List of possible matches for last Info-index command.") |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
126 |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
127 (defvar Info-standalone nil |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
128 "Non-nil if Emacs was started solely as an Info browser.") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
129 |
12927
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
130 (defvar Info-suffix-list |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
131 (if (eq system-type 'ms-dos) |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
132 '( (".gz" . "gunzip") |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
133 (".z" . "gunzip") |
13004
0ed37da6f0f3
(Info-suffix-list): Add .inf to MSDOS list.
Richard M. Stallman <rms@gnu.org>
parents:
12947
diff
changeset
|
134 (".inf" . nil) |
12927
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
135 ("" . nil)) |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
136 '( (".info.Z" . "uncompress") |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
137 (".info.Y" . "unyabba") |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
138 (".info.gz" . "gunzip") |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
139 (".info.z" . "gunzip") |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
140 (".info" . nil) |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
141 (".Z" . "uncompress") |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
142 (".Y" . "unyabba") |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
143 (".gz" . "gunzip") |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
144 (".z" . "gunzip") |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
145 ("" . nil))) |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
146 "List of file name suffixes and associated decoding commands. |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
147 Each entry should be (SUFFIX . STRING); the file is given to |
6566
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
148 the command as standard input. If STRING is nil, no decoding is done. |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
149 Because the SUFFIXes are tried in order, the empty string should |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
150 be last in the list.") |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
151 |
13562
80870ef96f18
(info-insert-file-contents-1): Various rewrites.
Richard M. Stallman <rms@gnu.org>
parents:
13287
diff
changeset
|
152 ;; Concatenate SUFFIX onto FILENAME. SUFFIX should start with a dot. |
12927
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
153 ;; First, on ms-dos, delete some of the extension in FILENAME |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
154 ;; to make room. |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
155 (defun info-insert-file-contents-1 (filename suffix) |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
156 (if (not (eq system-type 'ms-dos)) |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
157 (concat filename suffix) |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
158 (let* ((sans-exts (file-name-sans-extension filename)) |
13562
80870ef96f18
(info-insert-file-contents-1): Various rewrites.
Richard M. Stallman <rms@gnu.org>
parents:
13287
diff
changeset
|
159 ;; How long is the extension in FILENAME (not counting the dot). |
80870ef96f18
(info-insert-file-contents-1): Various rewrites.
Richard M. Stallman <rms@gnu.org>
parents:
13287
diff
changeset
|
160 (ext-len (max 0 (- (length filename) (length sans-exts) 1))) |
80870ef96f18
(info-insert-file-contents-1): Various rewrites.
Richard M. Stallman <rms@gnu.org>
parents:
13287
diff
changeset
|
161 ext-left) |
13004
0ed37da6f0f3
(Info-suffix-list): Add .inf to MSDOS list.
Richard M. Stallman <rms@gnu.org>
parents:
12947
diff
changeset
|
162 ;; SUFFIX starts with a dot. If FILENAME already has one, |
14577
39a431eafb34
(info-insert-file-contents-1) [MSDOS]: Remove leading
Karl Heuer <kwzh@gnu.org>
parents:
14560
diff
changeset
|
163 ;; get rid of the one in SUFFIX (unless suffix is empty). |
13562
80870ef96f18
(info-insert-file-contents-1): Various rewrites.
Richard M. Stallman <rms@gnu.org>
parents:
13287
diff
changeset
|
164 (or (and (<= ext-len 0) |
13004
0ed37da6f0f3
(Info-suffix-list): Add .inf to MSDOS list.
Richard M. Stallman <rms@gnu.org>
parents:
12947
diff
changeset
|
165 (not (eq (aref filename (1- (length filename))) ?.))) |
14577
39a431eafb34
(info-insert-file-contents-1) [MSDOS]: Remove leading
Karl Heuer <kwzh@gnu.org>
parents:
14560
diff
changeset
|
166 (= (length suffix) 0) |
13004
0ed37da6f0f3
(Info-suffix-list): Add .inf to MSDOS list.
Richard M. Stallman <rms@gnu.org>
parents:
12947
diff
changeset
|
167 (setq suffix (substring suffix 1))) |
13562
80870ef96f18
(info-insert-file-contents-1): Various rewrites.
Richard M. Stallman <rms@gnu.org>
parents:
13287
diff
changeset
|
168 ;; How many chars of that extension should we keep? |
80870ef96f18
(info-insert-file-contents-1): Various rewrites.
Richard M. Stallman <rms@gnu.org>
parents:
13287
diff
changeset
|
169 (setq ext-left (min ext-len (max 0 (- 3 (length suffix))))) |
12927
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
170 ;; Get rid of the rest of the extension, and add SUFFIX. |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
171 (concat (substring filename 0 (- (length filename) |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
172 (- ext-len ext-left))) |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
173 suffix)))) |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
174 |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
175 (defun info-insert-file-contents (filename &optional visit) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
176 "Insert the contents of an info file in the current buffer. |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
177 Do the right thing if the file has been compressed or zipped." |
6566
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
178 (let ((tail Info-suffix-list) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
179 fullname decoder) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
180 (if (file-exists-p filename) |
12927
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
181 ;; FILENAME exists--see if that name contains a suffix. |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
182 ;; If so, set DECODE accordingly. |
6566
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
183 (progn |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
184 (while (and tail |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
185 (not (string-match |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
186 (concat (regexp-quote (car (car tail))) "$") |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
187 filename))) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
188 (setq tail (cdr tail))) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
189 (setq fullname filename |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
190 decoder (cdr (car tail)))) |
12927
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
191 ;; Try adding suffixes to FILENAME and see if we can find something. |
6566
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
192 (while (and tail |
12927
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
193 (not (file-exists-p (info-insert-file-contents-1 |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
194 filename (car (car tail)))))) |
6566
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
195 (setq tail (cdr tail))) |
12927
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
196 ;; If we found a file with a suffix, set DECODER according to the suffix |
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
197 ;; and set FULLNAME to the file's actual name. |
13004
0ed37da6f0f3
(Info-suffix-list): Add .inf to MSDOS list.
Richard M. Stallman <rms@gnu.org>
parents:
12947
diff
changeset
|
198 (setq fullname (info-insert-file-contents-1 filename (car (car tail))) |
6566
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
199 decoder (cdr (car tail))) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
200 (or tail |
12927
d3cda9e7c55f
(Info-suffix-list): For MS-DOS, use gunzip as the only uncompressor,
Richard M. Stallman <rms@gnu.org>
parents:
12892
diff
changeset
|
201 (error "Can't find %s or any compressed version of it" filename))) |
9588
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
202 ;; check for conflict with jka-compr |
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
203 (if (and (featurep 'jka-compr) |
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
204 (jka-compr-installed-p) |
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
205 (jka-compr-get-compression-info fullname)) |
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
206 (setq decoder nil)) |
6566
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
207 (insert-file-contents fullname visit) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
208 (if decoder |
11527
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
209 (let ((buffer-read-only nil) |
11759
51816af03215
(info-insert-file-contents): Don't use
Richard M. Stallman <rms@gnu.org>
parents:
11580
diff
changeset
|
210 (default-directory (or (file-name-directory fullname) |
51816af03215
(info-insert-file-contents): Don't use
Richard M. Stallman <rms@gnu.org>
parents:
11580
diff
changeset
|
211 default-directory))) |
13004
0ed37da6f0f3
(Info-suffix-list): Add .inf to MSDOS list.
Richard M. Stallman <rms@gnu.org>
parents:
12947
diff
changeset
|
212 (call-process-region (point-min) (point-max) decoder t t))))) |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
213 |
10978
e3da01bbdc14
(same-window-buffer-names): Set this only in loaddefs.el,
Richard M. Stallman <rms@gnu.org>
parents:
10957
diff
changeset
|
214 ;;;###autoload (add-hook 'same-window-buffer-names "*info*") |
10957
6d3568e33019
(Info-menu): Bind beg with let.
Richard M. Stallman <rms@gnu.org>
parents:
10918
diff
changeset
|
215 |
6d3568e33019
(Info-menu): Bind beg with let.
Richard M. Stallman <rms@gnu.org>
parents:
10918
diff
changeset
|
216 ;;;###autoload |
325 | 217 (defun info (&optional file) |
218 "Enter Info, the documentation browser. | |
219 Optional argument FILE specifies the file to examine; | |
220 the default is the top-level directory of Info. | |
221 | |
222 In interactive use, a prefix argument directs this command | |
14529 | 223 to read a file name from the minibuffer. |
224 | |
225 The search path for Info files is in the variable `Info-directory-list'. | |
226 The top-level Info directory is made by combining all the files named `dir' | |
227 in all the directories in that path." | |
325 | 228 (interactive (if current-prefix-arg |
229 (list (read-file-name "Info file name: " nil nil t)))) | |
230 (if file | |
231 (Info-goto-node (concat "(" file ")")) | |
232 (if (get-buffer "*info*") | |
10957
6d3568e33019
(Info-menu): Bind beg with let.
Richard M. Stallman <rms@gnu.org>
parents:
10918
diff
changeset
|
233 (pop-to-buffer "*info*") |
325 | 234 (Info-directory)))) |
235 | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
236 ;;;###autoload |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
237 (defun info-standalone () |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
238 "Run Emacs as a standalone Info reader. |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
239 Usage: emacs -f info-standalone [filename] |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
240 In standalone mode, \\<Info-mode-map>\\[Info-exit] exits Emacs itself." |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
241 (setq Info-standalone t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
242 (if (and command-line-args-left |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
243 (not (string-match "^-" (car command-line-args-left)))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
244 (condition-case err |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
245 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
246 (info (car command-line-args-left)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
247 (setq command-line-args-left (cdr command-line-args-left))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
248 (error (send-string-to-terminal |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
249 (format "%s\n" (if (eq (car-safe err) 'error) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
250 (nth 1 err) err))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
251 (save-buffers-kill-emacs))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
252 (info))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
253 |
325 | 254 ;; Go to an info node specified as separate filename and nodename. |
255 ;; no-going-back is non-nil if recovering from an error in this function; | |
256 ;; it says do not attempt further (recursive) error recovery. | |
257 (defun Info-find-node (filename nodename &optional no-going-back) | |
258 ;; Convert filename to lower case if not found as specified. | |
259 ;; Expand it. | |
260 (if filename | |
261 (let (temp temp-downcase found) | |
262 (setq filename (substitute-in-file-name filename)) | |
15126
f9d06e4e877c
(Info-find-node): Don't treat file name `dir' specially
Richard M. Stallman <rms@gnu.org>
parents:
15055
diff
changeset
|
263 (if (string= (downcase filename) "dir") |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
264 (setq found t) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
265 (let ((dirs (if (string-match "^\\./" filename) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
266 ;; If specified name starts with `./' |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
267 ;; then just try current directory. |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
268 '("./") |
9588
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
269 (if (file-name-absolute-p filename) |
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
270 ;; No point in searching for an |
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
271 ;; absolute file name |
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
272 '(nil) |
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
273 (if Info-additional-directory-list |
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
274 (append Info-directory-list |
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
275 Info-additional-directory-list) |
7d465ccfd45b
(info-insert-file-contents): Always check for conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
9572
diff
changeset
|
276 Info-directory-list))))) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
277 ;; Search the directory list for file FILENAME. |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
278 (while (and dirs (not found)) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
279 (setq temp (expand-file-name filename (car dirs))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
280 (setq temp-downcase |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
281 (expand-file-name (downcase filename) (car dirs))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
282 ;; Try several variants of specified name. |
8369
c10b35194993
(Info-find-node): Use a loop instead of mapcar and catch.
Richard M. Stallman <rms@gnu.org>
parents:
8193
diff
changeset
|
283 (let ((suffix-list Info-suffix-list)) |
c10b35194993
(Info-find-node): Use a loop instead of mapcar and catch.
Richard M. Stallman <rms@gnu.org>
parents:
8193
diff
changeset
|
284 (while (and suffix-list (not found)) |
c10b35194993
(Info-find-node): Use a loop instead of mapcar and catch.
Richard M. Stallman <rms@gnu.org>
parents:
8193
diff
changeset
|
285 (cond ((file-exists-p |
13004
0ed37da6f0f3
(Info-suffix-list): Add .inf to MSDOS list.
Richard M. Stallman <rms@gnu.org>
parents:
12947
diff
changeset
|
286 (info-insert-file-contents-1 |
0ed37da6f0f3
(Info-suffix-list): Add .inf to MSDOS list.
Richard M. Stallman <rms@gnu.org>
parents:
12947
diff
changeset
|
287 temp (car (car suffix-list)))) |
8369
c10b35194993
(Info-find-node): Use a loop instead of mapcar and catch.
Richard M. Stallman <rms@gnu.org>
parents:
8193
diff
changeset
|
288 (setq found temp)) |
c10b35194993
(Info-find-node): Use a loop instead of mapcar and catch.
Richard M. Stallman <rms@gnu.org>
parents:
8193
diff
changeset
|
289 ((file-exists-p |
13004
0ed37da6f0f3
(Info-suffix-list): Add .inf to MSDOS list.
Richard M. Stallman <rms@gnu.org>
parents:
12947
diff
changeset
|
290 (info-insert-file-contents-1 |
0ed37da6f0f3
(Info-suffix-list): Add .inf to MSDOS list.
Richard M. Stallman <rms@gnu.org>
parents:
12947
diff
changeset
|
291 temp-downcase (car (car suffix-list)))) |
8369
c10b35194993
(Info-find-node): Use a loop instead of mapcar and catch.
Richard M. Stallman <rms@gnu.org>
parents:
8193
diff
changeset
|
292 (setq found temp-downcase))) |
c10b35194993
(Info-find-node): Use a loop instead of mapcar and catch.
Richard M. Stallman <rms@gnu.org>
parents:
8193
diff
changeset
|
293 (setq suffix-list (cdr suffix-list)))) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
294 (setq dirs (cdr dirs))))) |
325 | 295 (if found |
296 (setq filename found) | |
297 (error "Info file %s does not exist" filename)))) | |
298 ;; Record the node we are leaving. | |
299 (if (and Info-current-file (not no-going-back)) | |
300 (setq Info-history | |
301 (cons (list Info-current-file Info-current-node (point)) | |
302 Info-history))) | |
303 ;; Go into info buffer. | |
304 (switch-to-buffer "*info*") | |
1484
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
305 (buffer-disable-undo (current-buffer)) |
325 | 306 (or (eq major-mode 'Info-mode) |
307 (Info-mode)) | |
308 (widen) | |
309 (setq Info-current-node nil) | |
310 (unwind-protect | |
311 (progn | |
312 ;; Switch files if necessary | |
313 (or (null filename) | |
314 (equal Info-current-file filename) | |
315 (let ((buffer-read-only nil)) | |
316 (setq Info-current-file nil | |
317 Info-current-subfile nil | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
318 Info-current-file-completions nil |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
319 Info-index-alternatives nil |
325 | 320 buffer-file-name nil) |
321 (erase-buffer) | |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
322 (if (eq filename t) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
323 (Info-insert-dir) |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
324 (info-insert-file-contents filename t) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
325 (setq default-directory (file-name-directory filename))) |
325 | 326 (set-buffer-modified-p nil) |
327 ;; See whether file has a tag table. Record the location if yes. | |
328 (set-marker Info-tag-table-marker nil) | |
329 (goto-char (point-max)) | |
330 (forward-line -8) | |
11527
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
331 ;; Use string-equal, not equal, to ignore text props. |
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
332 (or (string-equal nodename "*") |
325 | 333 (not (search-forward "\^_\nEnd tag table\n" nil t)) |
334 (let (pos) | |
335 ;; We have a tag table. Find its beginning. | |
336 ;; Is this an indirect file? | |
337 (search-backward "\nTag table:\n") | |
338 (setq pos (point)) | |
339 (if (save-excursion | |
340 (forward-line 2) | |
341 (looking-at "(Indirect)\n")) | |
342 ;; It is indirect. Copy it to another buffer | |
343 ;; and record that the tag table is in that buffer. | |
344 (save-excursion | |
345 (let ((buf (current-buffer))) | |
346 (set-buffer (get-buffer-create " *info tag table*")) | |
1484
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
347 (buffer-disable-undo (current-buffer)) |
325 | 348 (setq case-fold-search t) |
349 (erase-buffer) | |
350 (insert-buffer-substring buf) | |
351 (set-marker Info-tag-table-marker | |
352 (match-end 0)))) | |
998 | 353 (set-marker Info-tag-table-marker pos)))) |
325 | 354 (setq Info-current-file |
12646
cd83cf47be08
(Info-current-file): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
12433
diff
changeset
|
355 (if (eq filename t) "dir" filename)))) |
11527
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
356 ;; Use string-equal, not equal, to ignore text props. |
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
357 (if (string-equal nodename "*") |
325 | 358 (progn (setq Info-current-node nodename) |
359 (Info-set-mode-line)) | |
360 ;; Search file for a suitable node. | |
990
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
361 (let ((guesspos (point-min)) |
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
362 (regexp (concat "Node: *" (regexp-quote nodename) " *[,\t\n\177]"))) |
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
363 ;; First get advice from tag table if file has one. |
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
364 ;; Also, if this is an indirect info file, |
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
365 ;; read the proper subfile into this buffer. |
325 | 366 (if (marker-position Info-tag-table-marker) |
367 (save-excursion | |
368 (set-buffer (marker-buffer Info-tag-table-marker)) | |
369 (goto-char Info-tag-table-marker) | |
990
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
370 (if (re-search-forward regexp nil t) |
325 | 371 (progn |
372 (setq guesspos (read (current-buffer))) | |
373 ;; If this is an indirect file, | |
374 ;; determine which file really holds this node | |
375 ;; and read it in. | |
376 (if (not (eq (current-buffer) (get-buffer "*info*"))) | |
377 (setq guesspos | |
378 (Info-read-subfile guesspos)))) | |
14664
f77b58df548c
(Info-index): If fail, go back to original node.
Richard M. Stallman <rms@gnu.org>
parents:
14577
diff
changeset
|
379 (error "No such node: %s" nodename)))) |
990
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
380 (goto-char (max (point-min) (- guesspos 1000))) |
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
381 ;; Now search from our advised position (or from beg of buffer) |
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
382 ;; to find the actual node. |
325 | 383 (catch 'foo |
384 (while (search-forward "\n\^_" nil t) | |
385 (forward-line 1) | |
386 (let ((beg (point))) | |
387 (forward-line 1) | |
388 (if (re-search-backward regexp beg t) | |
389 (throw 'foo t)))) | |
390 (error "No such node: %s" nodename))) | |
391 (Info-select-node))) | |
392 ;; If we did not finish finding the specified node, | |
393 ;; go back to the previous one. | |
6716
9ce2d1a2c155
(Info-find-node): Don't try to backstep if no history.
Karl Heuer <kwzh@gnu.org>
parents:
6624
diff
changeset
|
394 (or Info-current-node no-going-back (null Info-history) |
325 | 395 (let ((hist (car Info-history))) |
396 (setq Info-history (cdr Info-history)) | |
397 (Info-find-node (nth 0 hist) (nth 1 hist) t) | |
398 (goto-char (nth 2 hist))))) | |
399 (goto-char (point-min))) | |
400 | |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
401 ;; Cache the contents of the (virtual) dir file, once we have merged |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
402 ;; it for the first time, so we can save time subsequently. |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
403 (defvar Info-dir-contents nil) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
404 |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
405 ;; Cache for the directory we decided to use for the default-directory |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
406 ;; of the merged dir text. |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
407 (defvar Info-dir-contents-directory nil) |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
408 |
3836
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
409 ;; Record the file attributes of all the files from which we |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
410 ;; constructed Info-dir-contents. |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
411 (defvar Info-dir-file-attributes nil) |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
412 |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
413 ;; Construct the Info directory node by merging the files named `dir' |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
414 ;; from various directories. Set the *info* buffer's |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
415 ;; default-directory to the first directory we actually get any text |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
416 ;; from. |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
417 (defun Info-insert-dir () |
3836
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
418 (if (and Info-dir-contents Info-dir-file-attributes |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
419 ;; Verify that none of the files we used has changed |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
420 ;; since we used it. |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
421 (eval (cons 'and |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
422 (mapcar '(lambda (elt) |
7911
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
423 (let ((curr (file-attributes (car elt)))) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
424 ;; Don't compare the access time. |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
425 (if curr (setcar (nthcdr 4 curr) 0)) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
426 (setcar (nthcdr 4 (cdr elt)) 0) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
427 (equal (cdr elt) curr))) |
3836
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
428 Info-dir-file-attributes)))) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
429 (insert Info-dir-contents) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
430 (let ((dirs Info-directory-list) |
3212
cd8f8468a190
(Info-insert-dir): Ignore duplicate directories.
Richard M. Stallman <rms@gnu.org>
parents:
3127
diff
changeset
|
431 buffers buffer others nodes dirs-done) |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
432 |
7911
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
433 (setq Info-dir-file-attributes nil) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
434 |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
435 ;; Search the directory list for the directory file. |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
436 (while dirs |
5271
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
437 (let ((truename (file-truename (expand-file-name (car dirs))))) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
438 (or (member truename dirs-done) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
439 (member (directory-file-name truename) dirs-done) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
440 ;; Try several variants of specified name. |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
441 ;; Try upcasing, appending `.info', or both. |
7911
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
442 (let* (file |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
443 (attrs |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
444 (or |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
445 (progn (setq file (expand-file-name "dir" truename)) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
446 (file-attributes file)) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
447 (progn (setq file (expand-file-name "DIR" truename)) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
448 (file-attributes file)) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
449 (progn (setq file (expand-file-name "dir.info" truename)) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
450 (file-attributes file)) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
451 (progn (setq file (expand-file-name "DIR.INFO" truename)) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
452 (file-attributes file))))) |
5271
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
453 (setq dirs-done |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
454 (cons truename |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
455 (cons (directory-file-name truename) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
456 dirs-done))) |
7911
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
457 (if attrs |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
458 (save-excursion |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
459 (or buffers |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
460 (message "Composing main Info directory...")) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
461 (set-buffer (generate-new-buffer "info dir")) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
462 (insert-file-contents file) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
463 (setq buffers (cons (current-buffer) buffers) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
464 Info-dir-file-attributes |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
465 (cons (cons file attrs) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
466 Info-dir-file-attributes)))))) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
467 (setq dirs (cdr dirs)))) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
468 |
6716
9ce2d1a2c155
(Info-find-node): Don't try to backstep if no history.
Karl Heuer <kwzh@gnu.org>
parents:
6624
diff
changeset
|
469 (or buffers |
14664
f77b58df548c
(Info-index): If fail, go back to original node.
Richard M. Stallman <rms@gnu.org>
parents:
14577
diff
changeset
|
470 (error "Can't find the Info directory node")) |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
471 ;; Distinguish the dir file that comes with Emacs from all the |
3212
cd8f8468a190
(Info-insert-dir): Ignore duplicate directories.
Richard M. Stallman <rms@gnu.org>
parents:
3127
diff
changeset
|
472 ;; others. Yes, that is really what this is supposed to do. |
cd8f8468a190
(Info-insert-dir): Ignore duplicate directories.
Richard M. Stallman <rms@gnu.org>
parents:
3127
diff
changeset
|
473 ;; If it doesn't work, fix it. |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
474 (setq buffer (car buffers) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
475 others (cdr buffers)) |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
476 |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
477 ;; Insert the entire original dir file as a start; use its |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
478 ;; default directory as the default directory for the whole |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
479 ;; concatenation. |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
480 (insert-buffer buffer) |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
481 (setq Info-dir-contents-directory (save-excursion |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
482 (set-buffer buffer) |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
483 default-directory)) |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
484 |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
485 ;; Look at each of the other buffers one by one. |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
486 (while others |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
487 (let ((other (car others))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
488 ;; In each, find all the menus. |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
489 (save-excursion |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
490 (set-buffer other) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
491 (goto-char (point-min)) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
492 ;; Find each menu, and add an elt to NODES for it. |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
493 (while (re-search-forward "^\\* Menu:" nil t) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
494 (let (beg nodename end) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
495 (forward-line 1) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
496 (setq beg (point)) |
6339
f0f62abb621b
(Info-insert-dir): Use printable escapes instead of embedding literal control
Karl Heuer <kwzh@gnu.org>
parents:
6121
diff
changeset
|
497 (search-backward "\n\^_") |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
498 (search-forward "Node: ") |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
499 (setq nodename (Info-following-node-name)) |
6339
f0f62abb621b
(Info-insert-dir): Use printable escapes instead of embedding literal control
Karl Heuer <kwzh@gnu.org>
parents:
6121
diff
changeset
|
500 (search-forward "\n\^_" nil 'move) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
501 (beginning-of-line) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
502 (setq end (point)) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
503 (setq nodes (cons (list nodename other beg end) nodes)))))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
504 (setq others (cdr others))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
505 ;; Add to the main menu a menu item for each other node. |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
506 (re-search-forward "^\\* Menu:") |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
507 (forward-line 1) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
508 (let ((menu-items '("top")) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
509 (nodes nodes) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
510 (case-fold-search t) |
6339
f0f62abb621b
(Info-insert-dir): Use printable escapes instead of embedding literal control
Karl Heuer <kwzh@gnu.org>
parents:
6121
diff
changeset
|
511 (end (save-excursion (search-forward "\^_" nil t) (point)))) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
512 (while nodes |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
513 (let ((nodename (car (car nodes)))) |
6537
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
514 (save-excursion |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
515 (or (member (downcase nodename) menu-items) |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
516 (re-search-forward (concat "^\\* " |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
517 (regexp-quote nodename) |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
518 "::") |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
519 end t) |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
520 (progn |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
521 (insert "* " nodename "::" "\n") |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
522 (setq menu-items (cons nodename menu-items)))))) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
523 (setq nodes (cdr nodes)))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
524 ;; Now take each node of each of the other buffers |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
525 ;; and merge it into the main buffer. |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
526 (while nodes |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
527 (let ((nodename (car (car nodes)))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
528 (goto-char (point-min)) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
529 ;; Find the like-named node in the main buffer. |
6339
f0f62abb621b
(Info-insert-dir): Use printable escapes instead of embedding literal control
Karl Heuer <kwzh@gnu.org>
parents:
6121
diff
changeset
|
530 (if (re-search-forward (concat "\n\^_.*\n.*Node: " |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
531 (regexp-quote nodename) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
532 "[,\n\t]") |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
533 nil t) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
534 (progn |
6339
f0f62abb621b
(Info-insert-dir): Use printable escapes instead of embedding literal control
Karl Heuer <kwzh@gnu.org>
parents:
6121
diff
changeset
|
535 (search-forward "\n\^_" nil 'move) |
8913
65a8b9c507dc
(Info-insert-dir): Insert newlines before rather than
Richard M. Stallman <rms@gnu.org>
parents:
8805
diff
changeset
|
536 (beginning-of-line) |
65a8b9c507dc
(Info-insert-dir): Insert newlines before rather than
Richard M. Stallman <rms@gnu.org>
parents:
8805
diff
changeset
|
537 (insert "\n")) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
538 ;; If none exists, add one. |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
539 (goto-char (point-max)) |
8069
dfef58fcda75
(Info-insert-dir): Capitalize `node' when inserting it.
Richard M. Stallman <rms@gnu.org>
parents:
8018
diff
changeset
|
540 (insert "\^_\nFile: dir\tNode: " nodename "\n\n* Menu:\n\n")) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
541 ;; Merge the text from the other buffer's menu |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
542 ;; into the menu in the like-named node in the main buffer. |
8913
65a8b9c507dc
(Info-insert-dir): Insert newlines before rather than
Richard M. Stallman <rms@gnu.org>
parents:
8805
diff
changeset
|
543 (apply 'insert-buffer-substring (cdr (car nodes)))) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
544 (setq nodes (cdr nodes))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
545 ;; Kill all the buffers we just made. |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
546 (while buffers |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
547 (kill-buffer (car buffers)) |
7911
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
548 (setq buffers (cdr buffers))) |
185c1f12db67
(Info-insert-dir): Ignore access times when comparing
Richard M. Stallman <rms@gnu.org>
parents:
7859
diff
changeset
|
549 (message "Composing main Info directory...done")) |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
550 (setq Info-dir-contents (buffer-string))) |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
551 (setq default-directory Info-dir-contents-directory)) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
552 |
325 | 553 (defun Info-read-subfile (nodepos) |
554 (set-buffer (marker-buffer Info-tag-table-marker)) | |
555 (goto-char (point-min)) | |
556 (search-forward "\n\^_") | |
557 (let (lastfilepos | |
558 lastfilename) | |
559 (forward-line 2) | |
560 (catch 'foo | |
561 (while (not (looking-at "\^_")) | |
562 (if (not (eolp)) | |
563 (let ((beg (point)) | |
564 thisfilepos thisfilename) | |
565 (search-forward ": ") | |
566 (setq thisfilename (buffer-substring beg (- (point) 2))) | |
567 (setq thisfilepos (read (current-buffer))) | |
568 ;; read in version 19 stops at the end of number. | |
569 ;; Advance to the next line. | |
570 (forward-line 1) | |
571 (if (> thisfilepos nodepos) | |
572 (throw 'foo t)) | |
573 (setq lastfilename thisfilename) | |
574 (setq lastfilepos thisfilepos)) | |
575 (forward-line 1)))) | |
576 (set-buffer (get-buffer "*info*")) | |
577 (or (equal Info-current-subfile lastfilename) | |
578 (let ((buffer-read-only nil)) | |
579 (setq buffer-file-name nil) | |
580 (widen) | |
581 (erase-buffer) | |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
582 (info-insert-file-contents lastfilename) |
325 | 583 (set-buffer-modified-p nil) |
584 (setq Info-current-subfile lastfilename))) | |
585 (goto-char (point-min)) | |
586 (search-forward "\n\^_") | |
587 (+ (- nodepos lastfilepos) (point)))) | |
588 | |
589 ;; Select the info node that point is in. | |
590 (defun Info-select-node () | |
591 (save-excursion | |
592 ;; Find beginning of node. | |
593 (search-backward "\n\^_") | |
594 (forward-line 2) | |
595 ;; Get nodename spelled as it is in the node. | |
596 (re-search-forward "Node:[ \t]*") | |
597 (setq Info-current-node | |
13287
f25084d29719
(Info-following-node-name, Info-extract-menu-node-name)
Richard M. Stallman <rms@gnu.org>
parents:
13085
diff
changeset
|
598 (buffer-substring-no-properties (point) |
f25084d29719
(Info-following-node-name, Info-extract-menu-node-name)
Richard M. Stallman <rms@gnu.org>
parents:
13085
diff
changeset
|
599 (progn |
f25084d29719
(Info-following-node-name, Info-extract-menu-node-name)
Richard M. Stallman <rms@gnu.org>
parents:
13085
diff
changeset
|
600 (skip-chars-forward "^,\t\n") |
f25084d29719
(Info-following-node-name, Info-extract-menu-node-name)
Richard M. Stallman <rms@gnu.org>
parents:
13085
diff
changeset
|
601 (point)))) |
325 | 602 (Info-set-mode-line) |
603 ;; Find the end of it, and narrow. | |
604 (beginning-of-line) | |
605 (let (active-expression) | |
606 (narrow-to-region (point) | |
607 (if (re-search-forward "\n[\^_\f]" nil t) | |
608 (prog1 | |
609 (1- (point)) | |
610 (if (looking-at "[\n\^_\f]*execute: ") | |
611 (progn | |
612 (goto-char (match-end 0)) | |
613 (setq active-expression | |
614 (read (current-buffer)))))) | |
615 (point-max))) | |
4261
f9599125f7f0
(Info-select-node): Run Info-selection-hook.
Richard M. Stallman <rms@gnu.org>
parents:
3844
diff
changeset
|
616 (if Info-enable-active-nodes (eval active-expression)) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
617 (if Info-fontify (Info-fontify-node)) |
4261
f9599125f7f0
(Info-select-node): Run Info-selection-hook.
Richard M. Stallman <rms@gnu.org>
parents:
3844
diff
changeset
|
618 (run-hooks 'Info-selection-hook)))) |
325 | 619 |
620 (defun Info-set-mode-line () | |
621 (setq mode-line-buffer-identification | |
622 (concat | |
623 "Info: (" | |
624 (if Info-current-file | |
625 (file-name-nondirectory Info-current-file) | |
626 "") | |
627 ")" | |
628 (or Info-current-node "")))) | |
629 | |
630 ;; Go to an info node specified with a filename-and-nodename string | |
631 ;; of the sort that is found in pointers in nodes. | |
632 | |
633 (defun Info-goto-node (nodename) | |
634 "Go to info node named NAME. Give just NODENAME or (FILENAME)NODENAME." | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
635 (interactive (list (Info-read-node-name "Goto node: "))) |
325 | 636 (let (filename) |
637 (string-match "\\s *\\((\\s *\\([^\t)]*\\)\\s *)\\s *\\|\\)\\(.*\\)" | |
638 nodename) | |
639 (setq filename (if (= (match-beginning 1) (match-end 1)) | |
640 "" | |
641 (substring nodename (match-beginning 2) (match-end 2))) | |
642 nodename (substring nodename (match-beginning 3) (match-end 3))) | |
643 (let ((trim (string-match "\\s *\\'" filename))) | |
644 (if trim (setq filename (substring filename 0 trim)))) | |
645 (let ((trim (string-match "\\s *\\'" nodename))) | |
646 (if trim (setq nodename (substring nodename 0 trim)))) | |
12433
17387b7fe5b8
(Info-goto-node, Info-search):
Richard M. Stallman <rms@gnu.org>
parents:
12294
diff
changeset
|
647 (if transient-mark-mode (deactivate-mark)) |
325 | 648 (Info-find-node (if (equal filename "") nil filename) |
649 (if (equal nodename "") "Top" nodename)))) | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
650 |
12779
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
651 ;; This function is used as the "completion table" while reading a node name. |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
652 ;; It does completion using the alist in completion-table |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
653 ;; unless STRING starts with an open-paren. |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
654 (defun Info-read-node-name-1 (string predicate code) |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
655 (let ((no-completion (and (> (length string) 0) (eq (aref string 0) ?\()))) |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
656 (cond ((eq code nil) |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
657 (if no-completion |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
658 string |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
659 (try-completion string completion-table predicate))) |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
660 ((eq code t) |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
661 (if no-completion |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
662 nil |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
663 (all-completions string completion-table predicate))) |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
664 ((eq code 'lambda) |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
665 (if no-completion |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
666 t |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
667 (assoc string completion-table)))))) |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
668 |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
669 (defun Info-read-node-name (prompt &optional default) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
670 (let* ((completion-ignore-case t) |
12779
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
671 (completion-table (Info-build-node-completions)) |
5b3d83e51b91
(Info-read-node-name-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12646
diff
changeset
|
672 (nodename (completing-read prompt 'Info-read-node-name-1))) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
673 (if (equal nodename "") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
674 (or default |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
675 (Info-read-node-name prompt)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
676 nodename))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
677 |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
678 (defun Info-build-node-completions () |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
679 (or Info-current-file-completions |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
680 (let ((compl nil)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
681 (save-excursion |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
682 (save-restriction |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
683 (if (marker-buffer Info-tag-table-marker) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
684 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
685 (set-buffer (marker-buffer Info-tag-table-marker)) |
6049
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
686 (widen) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
687 (goto-char Info-tag-table-marker) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
688 (while (re-search-forward "\nNode: \\(.*\\)\177" nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
689 (setq compl |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
690 (cons (list (buffer-substring (match-beginning 1) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
691 (match-end 1))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
692 compl)))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
693 (widen) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
694 (goto-char (point-min)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
695 (while (search-forward "\n\^_" nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
696 (forward-line 1) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
697 (let ((beg (point))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
698 (forward-line 1) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
699 (if (re-search-backward "Node: *\\([^,\n]*\\) *[,\n\t]" |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
700 beg t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
701 (setq compl |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
702 (cons (list (buffer-substring (match-beginning 1) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
703 (match-end 1))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
704 compl)))))))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
705 (setq Info-current-file-completions compl)))) |
325 | 706 |
540 | 707 (defun Info-restore-point (hl) |
708 "If this node has been visited, restore the point value when we left." | |
6049
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
709 (while hl |
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
710 (if (and (equal (nth 0 (car hl)) Info-current-file) |
11527
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
711 ;; Use string-equal, not equal, to ignore text props. |
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
712 (string-equal (nth 1 (car hl)) Info-current-node)) |
6049
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
713 (progn |
6121
a9caf92da1d3
(Info-restore-point): Don't wipe out hl before using it.
Karl Heuer <kwzh@gnu.org>
parents:
6049
diff
changeset
|
714 (goto-char (nth 2 (car hl))) |
a9caf92da1d3
(Info-restore-point): Don't wipe out hl before using it.
Karl Heuer <kwzh@gnu.org>
parents:
6049
diff
changeset
|
715 (setq hl nil)) ;terminate the while at next iter |
6049
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
716 (setq hl (cdr hl))))) |
540 | 717 |
325 | 718 (defvar Info-last-search nil |
3084
a4341d92948a
(Info-edit, Info-last-search, Info-enable-edit):
Richard M. Stallman <rms@gnu.org>
parents:
3047
diff
changeset
|
719 "Default regexp for \\<Info-mode-map>\\[Info-search] command to search for.") |
325 | 720 |
721 (defun Info-search (regexp) | |
722 "Search for REGEXP, starting from point, and select node it's found in." | |
723 (interactive "sSearch (regexp): ") | |
12433
17387b7fe5b8
(Info-goto-node, Info-search):
Richard M. Stallman <rms@gnu.org>
parents:
12294
diff
changeset
|
724 (if transient-mark-mode (deactivate-mark)) |
325 | 725 (if (equal regexp "") |
726 (setq regexp Info-last-search) | |
727 (setq Info-last-search regexp)) | |
728 (let ((found ()) current | |
729 (onode Info-current-node) | |
730 (ofile Info-current-file) | |
731 (opoint (point)) | |
732 (osubfile Info-current-subfile)) | |
733 (save-excursion | |
734 (save-restriction | |
735 (widen) | |
736 (if (null Info-current-subfile) | |
737 (progn (re-search-forward regexp) (setq found (point))) | |
738 (condition-case err | |
739 (progn (re-search-forward regexp) (setq found (point))) | |
740 (search-failed nil))))) | |
741 (if (not found) ;can only happen in subfile case -- else would have erred | |
742 (unwind-protect | |
743 (let ((list ())) | |
744 (set-buffer (marker-buffer Info-tag-table-marker)) | |
745 (goto-char (point-min)) | |
746 (search-forward "\n\^_\nIndirect:") | |
747 (save-restriction | |
748 (narrow-to-region (point) | |
749 (progn (search-forward "\n\^_") | |
750 (1- (point)))) | |
751 (goto-char (point-min)) | |
752 (search-forward (concat "\n" osubfile ": ")) | |
753 (beginning-of-line) | |
754 (while (not (eobp)) | |
755 (re-search-forward "\\(^.*\\): [0-9]+$") | |
756 (goto-char (+ (match-end 1) 2)) | |
757 (setq list (cons (cons (read (current-buffer)) | |
758 (buffer-substring (match-beginning 1) | |
759 (match-end 1))) | |
760 list)) | |
761 (goto-char (1+ (match-end 0)))) | |
762 (setq list (nreverse list) | |
763 current (car (car list)) | |
764 list (cdr list))) | |
765 (while list | |
766 (message "Searching subfile %s..." (cdr (car list))) | |
767 (Info-read-subfile (car (car list))) | |
768 (setq list (cdr list)) | |
8069
dfef58fcda75
(Info-insert-dir): Capitalize `node' when inserting it.
Richard M. Stallman <rms@gnu.org>
parents:
8018
diff
changeset
|
769 ;; (goto-char (point-min)) |
325 | 770 (if (re-search-forward regexp nil t) |
771 (setq found (point) list ()))) | |
772 (if found | |
773 (message "") | |
774 (signal 'search-failed (list regexp)))) | |
775 (if (not found) | |
776 (progn (Info-read-subfile opoint) | |
777 (goto-char opoint) | |
778 (Info-select-node))))) | |
779 (widen) | |
780 (goto-char found) | |
781 (Info-select-node) | |
11527
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
782 ;; Use string-equal, not equal, to ignore text props. |
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
783 (or (and (string-equal onode Info-current-node) |
325 | 784 (equal ofile Info-current-file)) |
785 (setq Info-history (cons (list ofile onode opoint) | |
786 Info-history))))) | |
787 | |
788 ;; Extract the value of the node-pointer named NAME. | |
789 ;; If there is none, use ERRORNAME in the error message; | |
790 ;; if ERRORNAME is nil, just return nil. | |
791 (defun Info-extract-pointer (name &optional errorname) | |
792 (save-excursion | |
793 (goto-char (point-min)) | |
794 (forward-line 1) | |
795 (if (re-search-backward (concat name ":") nil t) | |
796 (progn | |
797 (goto-char (match-end 0)) | |
798 (Info-following-node-name)) | |
799 (if (eq errorname t) | |
800 nil | |
14424
b6a423b26c69
(Info-extract-pointer): Fix error format string.
Karl Heuer <kwzh@gnu.org>
parents:
14355
diff
changeset
|
801 (error "Node has no %s" (capitalize (or errorname name))))))) |
325 | 802 |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
803 ;; Return the node name in the buffer following point. |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
804 ;; ALLOWEDCHARS, if non-nil, goes within [...] to make a regexp |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
805 ;; saying which chas may appear in the node name. |
325 | 806 (defun Info-following-node-name (&optional allowedchars) |
807 (skip-chars-forward " \t") | |
13287
f25084d29719
(Info-following-node-name, Info-extract-menu-node-name)
Richard M. Stallman <rms@gnu.org>
parents:
13085
diff
changeset
|
808 (buffer-substring-no-properties |
325 | 809 (point) |
810 (progn | |
811 (while (looking-at (concat "[" (or allowedchars "^,\t\n") "]")) | |
812 (skip-chars-forward (concat (or allowedchars "^,\t\n") "(")) | |
813 (if (looking-at "(") | |
814 (skip-chars-forward "^)"))) | |
815 (skip-chars-backward " ") | |
816 (point)))) | |
817 | |
818 (defun Info-next () | |
819 "Go to the next node of this node." | |
820 (interactive) | |
821 (Info-goto-node (Info-extract-pointer "next"))) | |
822 | |
823 (defun Info-prev () | |
824 "Go to the previous node of this node." | |
825 (interactive) | |
826 (Info-goto-node (Info-extract-pointer "prev[ious]*" "previous"))) | |
827 | |
828 (defun Info-up () | |
829 "Go to the superior node of this node." | |
830 (interactive) | |
540 | 831 (Info-goto-node (Info-extract-pointer "up")) |
832 (Info-restore-point Info-history)) | |
325 | 833 |
834 (defun Info-last () | |
835 "Go back to the last node visited." | |
836 (interactive) | |
837 (or Info-history | |
838 (error "This is the first Info node you looked at")) | |
839 (let (filename nodename opoint) | |
840 (setq filename (car (car Info-history))) | |
841 (setq nodename (car (cdr (car Info-history)))) | |
842 (setq opoint (car (cdr (cdr (car Info-history))))) | |
843 (setq Info-history (cdr Info-history)) | |
844 (Info-find-node filename nodename) | |
845 (setq Info-history (cdr Info-history)) | |
846 (goto-char opoint))) | |
847 | |
848 (defun Info-directory () | |
849 "Go to the Info directory node." | |
850 (interactive) | |
851 (Info-find-node "dir" "top")) | |
852 | |
853 (defun Info-follow-reference (footnotename) | |
854 "Follow cross reference named NAME to the node it refers to. | |
855 NAME may be an abbreviation of the reference name." | |
856 (interactive | |
857 (let ((completion-ignore-case t) | |
5555
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
858 completions default alt-default (start-point (point)) str i bol eol) |
325 | 859 (save-excursion |
5555
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
860 ;; Store end and beginning of line. |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
861 (end-of-line) |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
862 (setq eol (point)) |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
863 (beginning-of-line) |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
864 (setq bol (point)) |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
865 |
325 | 866 (goto-char (point-min)) |
867 (while (re-search-forward "\\*note[ \n\t]*\\([^:]*\\):" nil t) | |
868 (setq str (buffer-substring | |
869 (match-beginning 1) | |
870 (1- (point)))) | |
871 ;; See if this one should be the default. | |
872 (and (null default) | |
5146
aa2236a14893
(Info-follow-reference): Correct one-off error in comparing start-point.
Richard M. Stallman <rms@gnu.org>
parents:
5091
diff
changeset
|
873 (<= (match-beginning 0) start-point) |
325 | 874 (<= start-point (point)) |
875 (setq default t)) | |
5555
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
876 ;; See if this one should be the alternate default. |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
877 (and (null alt-default) |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
878 (and (<= bol (match-beginning 0)) |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
879 (<= (point) eol)) |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
880 (setq alt-default t)) |
325 | 881 (setq i 0) |
882 (while (setq i (string-match "[ \n\t]+" str i)) | |
883 (setq str (concat (substring str 0 i) " " | |
884 (substring str (match-end 0)))) | |
885 (setq i (1+ i))) | |
886 ;; Record as a completion and perhaps as default. | |
887 (if (eq default t) (setq default str)) | |
5555
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
888 (if (eq alt-default t) (setq alt-default str)) |
325 | 889 (setq completions |
890 (cons (cons str nil) | |
891 completions)))) | |
5555
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
892 ;; If no good default was found, try an alternate. |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
893 (or default |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
894 (setq default alt-default)) |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
895 ;; If only one cross-reference found, then make it default. |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
896 (if (eq (length completions) 1) |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
897 (setq default (car (car completions)))) |
325 | 898 (if completions |
3565
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
899 (let ((input (completing-read (if default |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
900 (concat "Follow reference named: (" |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
901 default ") ") |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
902 "Follow reference named: ") |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
903 completions nil t))) |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
904 (list (if (equal input "") |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
905 default input))) |
325 | 906 (error "No cross-references in this node")))) |
10061
41a9afd33e98
(Info-follow-reference): Use regexp-quote.
Richard M. Stallman <rms@gnu.org>
parents:
9852
diff
changeset
|
907 (let (target beg i (str (concat "\\*note " (regexp-quote footnotename)))) |
325 | 908 (while (setq i (string-match " " str i)) |
909 (setq str (concat (substring str 0 i) "[ \t\n]+" (substring str (1+ i)))) | |
910 (setq i (+ i 6))) | |
911 (save-excursion | |
912 (goto-char (point-min)) | |
913 (or (re-search-forward str nil t) | |
914 (error "No cross-reference named %s" footnotename)) | |
915 (goto-char (+ (match-beginning 0) 5)) | |
916 (setq target | |
917 (Info-extract-menu-node-name "Bad format cross reference" t))) | |
918 (while (setq i (string-match "[ \t\n]+" target i)) | |
919 (setq target (concat (substring target 0 i) " " | |
920 (substring target (match-end 0)))) | |
921 (setq i (+ i 1))) | |
922 (Info-goto-node target))) | |
923 | |
924 (defun Info-extract-menu-node-name (&optional errmessage multi-line) | |
925 (skip-chars-forward " \t\n") | |
926 (let ((beg (point)) | |
927 str i) | |
928 (skip-chars-forward "^:") | |
929 (forward-char 1) | |
930 (setq str | |
931 (if (looking-at ":") | |
13287
f25084d29719
(Info-following-node-name, Info-extract-menu-node-name)
Richard M. Stallman <rms@gnu.org>
parents:
13085
diff
changeset
|
932 (buffer-substring-no-properties beg (1- (point))) |
325 | 933 (skip-chars-forward " \t\n") |
934 (Info-following-node-name (if multi-line "^.,\t" "^.,\t\n")))) | |
935 (while (setq i (string-match "\n" str i)) | |
936 (aset str i ?\ )) | |
10918
a78b47b38c46
(Info-extract-menu-node-name): Collapse multiple spaces.
Richard M. Stallman <rms@gnu.org>
parents:
10758
diff
changeset
|
937 ;; Collapse multiple spaces. |
a78b47b38c46
(Info-extract-menu-node-name): Collapse multiple spaces.
Richard M. Stallman <rms@gnu.org>
parents:
10758
diff
changeset
|
938 (while (string-match " +" str) |
a78b47b38c46
(Info-extract-menu-node-name): Collapse multiple spaces.
Richard M. Stallman <rms@gnu.org>
parents:
10758
diff
changeset
|
939 (setq str (replace-match " " t t str))) |
325 | 940 str)) |
941 | |
7837
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
942 ;; No one calls this. |
1484
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
943 ;;(defun Info-menu-item-sequence (list) |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
944 ;; (while list |
7837
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
945 ;; (Info-menu (car list)) |
1484
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
946 ;; (setq list (cdr list)))) |
325 | 947 |
7837
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
948 (defun Info-complete-menu-item (string predicate action) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
949 (let ((case-fold-search t)) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
950 (cond ((eq action nil) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
951 (let (completions |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
952 (pattern (concat "\n\\* \\(" |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
953 (regexp-quote string) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
954 "[^:\t\n]*\\):"))) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
955 (save-excursion |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
956 (set-buffer Info-complete-menu-buffer) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
957 (goto-char (point-min)) |
13566
1121cd08e87f
(Info-complete-menu-item): Don't treat `* Menu:' as a menu item.
Richard M. Stallman <rms@gnu.org>
parents:
13562
diff
changeset
|
958 (search-forward "\n* Menu:") |
7837
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
959 (while (re-search-forward pattern nil t) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
960 (setq completions (cons (cons (format "%s" |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
961 (buffer-substring |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
962 (match-beginning 1) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
963 (match-end 1))) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
964 (match-beginning 1)) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
965 completions)))) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
966 (try-completion string completions predicate))) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
967 ((eq action t) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
968 (let (completions |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
969 (pattern (concat "\n\\* \\(" |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
970 (regexp-quote string) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
971 "[^:\t\n]*\\):"))) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
972 (save-excursion |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
973 (set-buffer Info-complete-menu-buffer) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
974 (goto-char (point-min)) |
13566
1121cd08e87f
(Info-complete-menu-item): Don't treat `* Menu:' as a menu item.
Richard M. Stallman <rms@gnu.org>
parents:
13562
diff
changeset
|
975 (search-forward "\n* Menu:") |
7837
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
976 (while (re-search-forward pattern nil t) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
977 (setq completions (cons (cons (format "%s" |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
978 (buffer-substring |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
979 (match-beginning 1) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
980 (match-end 1))) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
981 (match-beginning 1)) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
982 completions)))) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
983 (all-completions string completions predicate))) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
984 (t |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
985 (save-excursion |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
986 (set-buffer Info-complete-menu-buffer) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
987 (goto-char (point-min)) |
13566
1121cd08e87f
(Info-complete-menu-item): Don't treat `* Menu:' as a menu item.
Richard M. Stallman <rms@gnu.org>
parents:
13562
diff
changeset
|
988 (search-forward "\n* Menu:") |
7837
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
989 (re-search-forward (concat "\n\\* " |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
990 (regexp-quote string) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
991 ":") |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
992 nil t)))))) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
993 |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
994 |
325 | 995 (defun Info-menu (menu-item) |
996 "Go to node for menu item named (or abbreviated) NAME. | |
997 Completion is allowed, and the menu item point is on is the default." | |
998 (interactive | |
999 (let ((completions '()) | |
1000 ;; If point is within a menu item, use that item as the default | |
1001 (default nil) | |
1002 (p (point)) | |
10957
6d3568e33019
(Info-menu): Bind beg with let.
Richard M. Stallman <rms@gnu.org>
parents:
10918
diff
changeset
|
1003 beg |
325 | 1004 (last nil)) |
1005 (save-excursion | |
1006 (goto-char (point-min)) | |
1007 (if (not (search-forward "\n* menu:" nil t)) | |
1008 (error "No menu in this node")) | |
7837
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1009 (setq beg (point)) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1010 (and (< (point) p) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1011 (save-excursion |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1012 (goto-char p) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1013 (end-of-line) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1014 (re-search-backward "\n\\* \\([^:\t\n]*\\):" beg t) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1015 (setq default (format "%s" (buffer-substring |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1016 (match-beginning 1) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1017 (match-end 1))))))) |
325 | 1018 (let ((item nil)) |
1019 (while (null item) | |
7837
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1020 (setq item (let ((completion-ignore-case t) |
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1021 (Info-complete-menu-buffer (current-buffer))) |
325 | 1022 (completing-read (if default |
1023 (format "Menu item (default %s): " | |
1024 default) | |
1025 "Menu item: ") | |
7837
bad6366d4f16
(Info-complete-menu-item): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7789
diff
changeset
|
1026 'Info-complete-menu-item nil t))) |
540 | 1027 ;; we rely on the fact that completing-read accepts an input |
1028 ;; of "" even when the require-match argument is true and "" | |
1029 ;; is not a valid possibility | |
325 | 1030 (if (string= item "") |
1031 (if default | |
1032 (setq item default) | |
1033 ;; ask again | |
1034 (setq item nil)))) | |
1035 (list item)))) | |
1036 ;; there is a problem here in that if several menu items have the same | |
1037 ;; name you can only go to the node of the first with this command. | |
1038 (Info-goto-node (Info-extract-menu-item menu-item))) | |
1039 | |
1040 (defun Info-extract-menu-item (menu-item) | |
1041 (setq menu-item (regexp-quote menu-item)) | |
1042 (save-excursion | |
1043 (goto-char (point-min)) | |
1044 (or (search-forward "\n* menu:" nil t) | |
1045 (error "No menu in this node")) | |
4967
67810bbdfc9d
(Info-extract-menu-item): Quote `*' in the menu-item
Richard M. Stallman <rms@gnu.org>
parents:
4468
diff
changeset
|
1046 (or (re-search-forward (concat "\n\\* " menu-item ":") nil t) |
67810bbdfc9d
(Info-extract-menu-item): Quote `*' in the menu-item
Richard M. Stallman <rms@gnu.org>
parents:
4468
diff
changeset
|
1047 (re-search-forward (concat "\n\\* " menu-item) nil t) |
325 | 1048 (error "No such item in menu")) |
1049 (beginning-of-line) | |
1050 (forward-char 2) | |
1051 (Info-extract-menu-node-name))) | |
1052 | |
1053 ;; If COUNT is nil, use the last item in the menu. | |
1054 (defun Info-extract-menu-counting (count) | |
1055 (save-excursion | |
1056 (goto-char (point-min)) | |
1057 (or (search-forward "\n* menu:" nil t) | |
1058 (error "No menu in this node")) | |
1059 (if count | |
1060 (or (search-forward "\n* " nil t count) | |
1061 (error "Too few items in menu")) | |
1062 (while (search-forward "\n* " nil t) | |
1063 nil)) | |
1064 (Info-extract-menu-node-name))) | |
1065 | |
1666
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1066 (defun Info-nth-menu-item () |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1067 "Go to the node of the Nth menu item. |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1068 N is the digit argument used to invoke this command." |
325 | 1069 (interactive) |
1666
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1070 (Info-goto-node |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1071 (Info-extract-menu-counting |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1072 (- (aref (this-command-keys) (1- (length (this-command-keys)))) ?0)))) |
325 | 1073 |
1074 (defun Info-top-node () | |
1075 "Go to the Top node of this file." | |
1076 (interactive) | |
1077 (Info-goto-node "Top")) | |
1078 | |
1079 (defun Info-final-node () | |
1080 "Go to the final node in this file." | |
1081 (interactive) | |
1082 (Info-goto-node "Top") | |
1083 (let (Info-history) | |
1084 ;; Go to the last node in the menu of Top. | |
1085 (Info-goto-node (Info-extract-menu-counting nil)) | |
1086 ;; If the last node in the menu is not last in pointer structure, | |
1087 ;; move forward until we can't go any farther. | |
1088 (while (Info-forward-node t t) nil) | |
1089 ;; Then keep moving down to last subnode, unless we reach an index. | |
1090 (while (and (not (string-match "\\<index\\>" Info-current-node)) | |
1091 (save-excursion (search-forward "\n* Menu:" nil t))) | |
1092 (Info-goto-node (Info-extract-menu-counting nil))))) | |
1093 | |
1094 (defun Info-forward-node (&optional not-down no-error) | |
1095 "Go forward one node, considering all nodes as forming one sequence." | |
1096 (interactive) | |
1097 (goto-char (point-min)) | |
1098 (forward-line 1) | |
1099 ;; three possibilities, in order of priority: | |
1100 ;; 1. next node is in a menu in this node (but not in an index) | |
1101 ;; 2. next node is next at same level | |
1102 ;; 3. next node is up and next | |
1103 (cond ((and (not not-down) | |
1104 (save-excursion (search-forward "\n* menu:" nil t)) | |
1105 (not (string-match "\\<index\\>" Info-current-node))) | |
2036
a71101e5abff
(Info-forward-node): Properly go to first menu item.
Richard M. Stallman <rms@gnu.org>
parents:
2032
diff
changeset
|
1106 (Info-goto-node (Info-extract-menu-counting 1)) |
325 | 1107 t) |
1108 ((save-excursion (search-backward "next:" nil t)) | |
1109 (Info-next) | |
1110 t) | |
1111 ((and (save-excursion (search-backward "up:" nil t)) | |
11527
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
1112 ;; Use string-equal, not equal, to ignore text props. |
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
1113 (not (string-equal (downcase (Info-extract-pointer "up")) |
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
1114 "top"))) |
325 | 1115 (let ((old-node Info-current-node)) |
1116 (Info-up) | |
1117 (let (Info-history success) | |
1118 (unwind-protect | |
1119 (setq success (Info-forward-node t no-error)) | |
1120 (or success (Info-goto-node old-node)))))) | |
1121 (no-error nil) | |
1122 (t (error "No pointer forward from this node")))) | |
1123 | |
1124 (defun Info-backward-node () | |
1125 "Go backward one node, considering all nodes as forming one sequence." | |
1126 (interactive) | |
1127 (let ((prevnode (Info-extract-pointer "prev[ious]*" t)) | |
1128 (upnode (Info-extract-pointer "up" t))) | |
1129 (cond ((and upnode (string-match "(" upnode)) | |
1130 (error "First node in file")) | |
1131 ((and upnode (or (null prevnode) | |
11527
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
1132 ;; Use string-equal, not equal, |
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
1133 ;; to ignore text properties. |
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
1134 (string-equal (downcase prevnode) |
7956811d4d9a
(info-insert-file-contents): Set default-directory
Richard M. Stallman <rms@gnu.org>
parents:
11064
diff
changeset
|
1135 (downcase upnode)))) |
325 | 1136 (Info-up)) |
1137 (prevnode | |
1138 ;; If we move back at the same level, | |
1139 ;; go down to find the last subnode*. | |
1140 (Info-prev) | |
1141 (let (Info-history) | |
1142 (while (and (not (string-match "\\<index\\>" Info-current-node)) | |
1143 (save-excursion (search-forward "\n* Menu:" nil t))) | |
1144 (Info-goto-node (Info-extract-menu-counting nil))))) | |
1145 (t | |
1146 (error "No pointer backward from this node"))))) | |
1147 | |
1148 (defun Info-exit () | |
1149 "Exit Info by selecting some other buffer." | |
1150 (interactive) | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1151 (if Info-standalone |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1152 (save-buffers-kill-emacs) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1153 (switch-to-buffer (prog1 (other-buffer (current-buffer)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1154 (bury-buffer (current-buffer)))))) |
325 | 1155 |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1156 (defun Info-next-menu-item () |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1157 (interactive) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1158 (save-excursion |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1159 (forward-line -1) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1160 (search-forward "\n* menu:" nil t) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1161 (or (search-forward "\n* " nil t) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1162 (error "No more items in menu")) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1163 (Info-goto-node (Info-extract-menu-node-name)))) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1164 |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1165 (defun Info-last-menu-item () |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1166 (interactive) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1167 (save-excursion |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1168 (forward-line 1) |
8489
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1169 (let ((beg (save-excursion |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1170 (and (search-backward "\n* menu:" nil t) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1171 (point))))) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1172 (or (and beg (search-backward "\n* " beg t)) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1173 (error "No previous items in menu"))) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1174 (Info-goto-node (save-excursion |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1175 (goto-char (match-end 0)) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1176 (Info-extract-menu-node-name))))) |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1177 |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1178 (defmacro Info-no-error (&rest body) |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1179 (list 'condition-case nil (cons 'progn (append body '(t))) '(error nil))) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1180 |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1181 (defun Info-next-preorder () |
8018
518971c497f5
(Info-next-preorder-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7990
diff
changeset
|
1182 "Go to the next subnode or the next node, or go up a level." |
518971c497f5
(Info-next-preorder-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7990
diff
changeset
|
1183 (interactive) |
518971c497f5
(Info-next-preorder-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7990
diff
changeset
|
1184 (cond ((Info-no-error (Info-next-menu-item))) |
518971c497f5
(Info-next-preorder-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7990
diff
changeset
|
1185 ((Info-no-error (Info-next))) |
518971c497f5
(Info-next-preorder-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7990
diff
changeset
|
1186 ((Info-no-error (Info-up)) |
12156 | 1187 ;; Since we have already gone thru all the items in this menu, |
1188 ;; go up to the end of this node. | |
1189 (goto-char (point-max))) | |
8018
518971c497f5
(Info-next-preorder-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7990
diff
changeset
|
1190 (t |
518971c497f5
(Info-next-preorder-1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7990
diff
changeset
|
1191 (error "No more nodes")))) |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1192 |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1193 (defun Info-last-preorder () |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1194 "Go to the last node, popping up a level if there is none." |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1195 (interactive) |
8489
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1196 (cond ((Info-no-error |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1197 (Info-last-menu-item) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1198 ;; If we go down a menu item, go to the end of the node |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1199 ;; so we can scroll back through it. |
12156 | 1200 (goto-char (point-max))) |
1201 (recenter -1)) | |
1202 ((Info-no-error (Info-prev)) | |
1203 (goto-char (point-max)) | |
1204 (recenter -1)) | |
1205 ((Info-no-error (Info-up)) | |
1206 (goto-char (point-min)) | |
1207 (or (search-forward "\n* Menu:" nil t) | |
1208 (goto-char (point-max)))) | |
1209 (t (error "No previous nodes")))) | |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1210 |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1211 (defun Info-scroll-up () |
9222
b18f51df31b3
(Info-scroll-down, Info-scroll-up): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
8913
diff
changeset
|
1212 "Scroll one screenful forward in Info, considering all nodes as one sequence. |
b18f51df31b3
(Info-scroll-down, Info-scroll-up): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
8913
diff
changeset
|
1213 Once you scroll far enough in a node that its menu appears on the screen, |
b18f51df31b3
(Info-scroll-down, Info-scroll-up): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
8913
diff
changeset
|
1214 the next scroll moves into its first subnode. When you scroll past |
12156 | 1215 the end of a node, that goes to the next node or back up to the parent node." |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1216 (interactive) |
8489
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1217 (if (or (< (window-start) (point-min)) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1218 (> (window-start) (point-max))) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1219 (set-window-start (selected-window) (point))) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1220 (let ((virtual-end (save-excursion |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1221 (goto-char (point-min)) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1222 (if (search-forward "\n* Menu:" nil t) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1223 (point) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1224 (point-max))))) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1225 (if (or (< virtual-end (window-start)) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1226 (pos-visible-in-window-p virtual-end)) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1227 (Info-next-preorder) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1228 (scroll-up)))) |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1229 |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1230 (defun Info-scroll-down () |
9222
b18f51df31b3
(Info-scroll-down, Info-scroll-up): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
8913
diff
changeset
|
1231 "Scroll one screenful back in Info, considering all nodes as one sequence. |
12156 | 1232 Within the menu of a node, this goes to its last subnode. |
1233 When you scroll past the beginning of a node, that goes to the | |
1234 previous node or back up to the parent node." | |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1235 (interactive) |
8489
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1236 (if (or (< (window-start) (point-min)) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1237 (> (window-start) (point-max))) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1238 (set-window-start (selected-window) (point))) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1239 (let ((virtual-end (save-excursion |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1240 (goto-char (point-min)) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1241 (search-forward "\n* Menu:" nil t)))) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1242 (if (or virtual-end (pos-visible-in-window-p (point-min))) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1243 (Info-last-preorder) |
c6088e3005cf
(Info-last-menu-item): Fix gross logic errors.
Richard M. Stallman <rms@gnu.org>
parents:
8480
diff
changeset
|
1244 (scroll-down)))) |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1245 |
15055
60ff6e57ddbd
(Info-next-reference, Info-prev-reference): Add optional
Richard M. Stallman <rms@gnu.org>
parents:
14664
diff
changeset
|
1246 (defun Info-next-reference (&optional recur) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1247 "Move cursor to the next cross-reference or menu item in the node." |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1248 (interactive) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1249 (let ((pat "\\*note[ \n\t]*\\([^:]*\\):\\|^\\* .*:") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1250 (old-pt (point))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1251 (or (eobp) (forward-char 1)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1252 (or (re-search-forward pat nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1253 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1254 (goto-char (point-min)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1255 (or (re-search-forward pat nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1256 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1257 (goto-char old-pt) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1258 (error "No cross references in this node"))))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1259 (goto-char (match-beginning 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1260 (if (looking-at "\\* Menu:") |
15055
60ff6e57ddbd
(Info-next-reference, Info-prev-reference): Add optional
Richard M. Stallman <rms@gnu.org>
parents:
14664
diff
changeset
|
1261 (if recur |
60ff6e57ddbd
(Info-next-reference, Info-prev-reference): Add optional
Richard M. Stallman <rms@gnu.org>
parents:
14664
diff
changeset
|
1262 (error "No cross references in this node") |
60ff6e57ddbd
(Info-next-reference, Info-prev-reference): Add optional
Richard M. Stallman <rms@gnu.org>
parents:
14664
diff
changeset
|
1263 (Info-next-reference t))))) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1264 |
15055
60ff6e57ddbd
(Info-next-reference, Info-prev-reference): Add optional
Richard M. Stallman <rms@gnu.org>
parents:
14664
diff
changeset
|
1265 (defun Info-prev-reference (&optional recur) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1266 "Move cursor to the previous cross-reference or menu item in the node." |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1267 (interactive) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1268 (let ((pat "\\*note[ \n\t]*\\([^:]*\\):\\|^\\* .*:") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1269 (old-pt (point))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1270 (or (re-search-backward pat nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1271 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1272 (goto-char (point-max)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1273 (or (re-search-backward pat nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1274 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1275 (goto-char old-pt) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1276 (error "No cross references in this node"))))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1277 (goto-char (match-beginning 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1278 (if (looking-at "\\* Menu:") |
15055
60ff6e57ddbd
(Info-next-reference, Info-prev-reference): Add optional
Richard M. Stallman <rms@gnu.org>
parents:
14664
diff
changeset
|
1279 (if recur |
60ff6e57ddbd
(Info-next-reference, Info-prev-reference): Add optional
Richard M. Stallman <rms@gnu.org>
parents:
14664
diff
changeset
|
1280 (error "No cross references in this node") |
60ff6e57ddbd
(Info-next-reference, Info-prev-reference): Add optional
Richard M. Stallman <rms@gnu.org>
parents:
14664
diff
changeset
|
1281 (Info-prev-reference t))))) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1282 |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1283 (defun Info-index (topic) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1284 "Look up a string in the index for this file. |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1285 The index is defined as the first node in the top-level menu whose |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1286 name contains the word \"Index\", plus any immediately following |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1287 nodes whose names also contain the word \"Index\". |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1288 If there are no exact matches to the specified topic, this chooses |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1289 the first match which is a case-insensitive substring of a topic. |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1290 Use the `,' command to see the other matches. |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1291 Give a blank topic name to go to the Index node itself." |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1292 (interactive "sIndex topic: ") |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1293 (let ((orignode Info-current-node) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1294 (rnode nil) |
8071
184f2c23ff45
(Info-index): Fix typo: t => \t.
Richard M. Stallman <rms@gnu.org>
parents:
8069
diff
changeset
|
1295 (pattern (format "\n\\* \\([^\n:]*%s[^\n:]*\\):[ \t]*\\([^.\n]*\\)\\.[ \t]*\\([0-9]*\\)" |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1296 (regexp-quote topic))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1297 node) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1298 (Info-goto-node "Top") |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1299 (or (search-forward "\n* menu:" nil t) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1300 (error "No index")) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1301 (or (re-search-forward "\n\\* \\(.*\\<Index\\>\\)" nil t) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1302 (error "No index")) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1303 (goto-char (match-beginning 1)) |
10758
a66a29e6efc9
(Info-index): Bind Info-history, not Info-keep-history.
Richard M. Stallman <rms@gnu.org>
parents:
10061
diff
changeset
|
1304 ;; Here, and subsequently in this function, |
a66a29e6efc9
(Info-index): Bind Info-history, not Info-keep-history.
Richard M. Stallman <rms@gnu.org>
parents:
10061
diff
changeset
|
1305 ;; we bind Info-history to nil for internal node-switches |
a66a29e6efc9
(Info-index): Bind Info-history, not Info-keep-history.
Richard M. Stallman <rms@gnu.org>
parents:
10061
diff
changeset
|
1306 ;; so that we don't put junk in the history. |
a66a29e6efc9
(Info-index): Bind Info-history, not Info-keep-history.
Richard M. Stallman <rms@gnu.org>
parents:
10061
diff
changeset
|
1307 ;; In the first Info-goto-node call, above, we do update the history |
a66a29e6efc9
(Info-index): Bind Info-history, not Info-keep-history.
Richard M. Stallman <rms@gnu.org>
parents:
10061
diff
changeset
|
1308 ;; because that is what the user's previous node choice into it. |
a66a29e6efc9
(Info-index): Bind Info-history, not Info-keep-history.
Richard M. Stallman <rms@gnu.org>
parents:
10061
diff
changeset
|
1309 (let ((Info-history nil)) |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1310 (Info-goto-node (Info-extract-menu-node-name))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1311 (or (equal topic "") |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1312 (let ((matches nil) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1313 (exact nil) |
10758
a66a29e6efc9
(Info-index): Bind Info-history, not Info-keep-history.
Richard M. Stallman <rms@gnu.org>
parents:
10061
diff
changeset
|
1314 (Info-history nil) |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1315 found) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1316 (while |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1317 (progn |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1318 (goto-char (point-min)) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1319 (while (re-search-forward pattern nil t) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1320 (setq matches |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1321 (cons (list (buffer-substring (match-beginning 1) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1322 (match-end 1)) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1323 (buffer-substring (match-beginning 2) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1324 (match-end 2)) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1325 Info-current-node |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1326 (string-to-int (concat "0" |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1327 (buffer-substring |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1328 (match-beginning 3) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1329 (match-end 3))))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1330 matches))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1331 (and (setq node (Info-extract-pointer "next" t)) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1332 (string-match "\\<Index\\>" node))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1333 (Info-goto-node node)) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1334 (or matches |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1335 (progn |
14664
f77b58df548c
(Info-index): If fail, go back to original node.
Richard M. Stallman <rms@gnu.org>
parents:
14577
diff
changeset
|
1336 (Info-goto-node orignode) |
14560
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1337 (error "No `%s' in index" topic))) |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1338 ;; Here it is a feature that assoc is case-sensitive. |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1339 (while (setq found (assoc topic matches)) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1340 (setq exact (cons found exact) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1341 matches (delq found matches))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1342 (setq Info-index-alternatives (nconc exact (nreverse matches))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1343 (Info-index-next 0))))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1344 |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1345 (defun Info-index-next (num) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1346 "Go to the next matching index item from the last `i' command." |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1347 (interactive "p") |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1348 (or Info-index-alternatives |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1349 (error "No previous `i' command in this file")) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1350 (while (< num 0) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1351 (setq num (+ num (length Info-index-alternatives)))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1352 (while (> num 0) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1353 (setq Info-index-alternatives |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1354 (nconc (cdr Info-index-alternatives) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1355 (list (car Info-index-alternatives))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1356 num (1- num))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1357 (Info-goto-node (nth 1 (car Info-index-alternatives))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1358 (if (> (nth 3 (car Info-index-alternatives)) 0) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1359 (forward-line (nth 3 (car Info-index-alternatives))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1360 (forward-line 3) ; don't search in headers |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1361 (let ((name (car (car Info-index-alternatives)))) |
14560
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1362 (Info-find-index-name name))) |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1363 (message "Found `%s' in %s. %s" |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1364 (car (car Info-index-alternatives)) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1365 (nth 2 (car Info-index-alternatives)) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1366 (if (cdr Info-index-alternatives) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1367 "(Press `,' for more)" |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1368 "(Only match)"))) |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1369 |
14560
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1370 (defun Info-find-index-name (name) |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1371 "Move point to the place within the current node where NAME is defined." |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1372 (if (or (re-search-forward (format |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1373 "[a-zA-Z]+: %s\\( \\|$\\)" |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1374 (regexp-quote name)) nil t) |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1375 (search-forward (format "`%s'" name) nil t) |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1376 (and (string-match "\\`.*\\( (.*)\\)\\'" name) |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1377 (search-forward |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1378 (format "`%s'" (substring name 0 (match-beginning 1))) |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1379 nil t)) |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1380 (search-forward name nil t)) |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1381 (beginning-of-line) |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1382 (goto-char (point-min)))) |
b0df80fef82c
(Info-find-index-name): New subroutine, from Info-index-next.
Richard M. Stallman <rms@gnu.org>
parents:
14529
diff
changeset
|
1383 |
325 | 1384 (defun Info-undefined () |
1385 "Make command be undefined in Info." | |
1386 (interactive) | |
1387 (ding)) | |
1388 | |
1389 (defun Info-help () | |
1390 "Enter the Info tutorial." | |
1391 (interactive) | |
1392 (delete-other-windows) | |
1393 (Info-find-node "info" | |
1394 (if (< (window-height) 23) | |
1395 "Help-Small-Screen" | |
1396 "Help"))) | |
1397 | |
1398 (defun Info-summary () | |
1399 "Display a brief summary of all Info commands." | |
1400 (interactive) | |
1401 (save-window-excursion | |
1402 (switch-to-buffer "*Help*") | |
1403 (erase-buffer) | |
1404 (insert (documentation 'Info-mode)) | |
9852
b3a6fdcd63df
(Info-summary): Set help-mode in *Help* buffer.
Karl Heuer <kwzh@gnu.org>
parents:
9782
diff
changeset
|
1405 (help-mode) |
325 | 1406 (goto-char (point-min)) |
1407 (let (ch flag) | |
1408 (while (progn (setq flag (not (pos-visible-in-window-p (point-max)))) | |
1409 (message (if flag "Type Space to see more" | |
1410 "Type Space to return to Info")) | |
2032
20cc6c34421c
(Info-summary): Handle any event when flushing the display.
Richard M. Stallman <rms@gnu.org>
parents:
1979
diff
changeset
|
1411 (if (not (eq ?\ (setq ch (read-event)))) |
1821
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1667
diff
changeset
|
1412 (progn (setq unread-command-events (list ch)) nil) |
325 | 1413 flag)) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1414 (scroll-up))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1415 (bury-buffer "*Help*"))) |
325 | 1416 |
1417 (defun Info-get-token (pos start all &optional errorstring) | |
1418 "Return the token around POS, | |
1419 POS must be somewhere inside the token | |
1420 START is a regular expression which will match the | |
1421 beginning of the tokens delimited string | |
1422 ALL is a regular expression with a single | |
13990 | 1423 parenthesized subpattern which is the token to be |
325 | 1424 returned. E.g. '{\(.*\)}' would return any string |
1425 enclosed in braces around POS. | |
1426 SIG optional fourth argument, controls action on no match | |
1427 nil: return nil | |
1428 t: beep | |
1429 a string: signal an error, using that string." | |
1430 (save-excursion | |
1431 (goto-char pos) | |
1432 (re-search-backward start (max (point-min) (- pos 200)) 'yes) | |
3351
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1433 (let (found) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1434 (while (and (re-search-forward all (min (point-max) (+ pos 200)) 'yes) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1435 (not (setq found (and (<= (match-beginning 0) pos) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1436 (> (match-end 0) pos)))))) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1437 (if (and found (<= (match-beginning 0) pos) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1438 (> (match-end 0) pos)) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1439 (buffer-substring (match-beginning 1) (match-end 1)) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1440 (cond ((null errorstring) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1441 nil) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1442 ((eq errorstring t) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1443 (beep) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1444 nil) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1445 (t |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1446 (error "No %s around position %d" errorstring pos))))))) |
325 | 1447 |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1448 (defun Info-mouse-follow-nearest-node (click) |
1309
aa286e6e7bec
(Info-follow-nearest-node): Handle line breaks after *note.
Richard M. Stallman <rms@gnu.org>
parents:
998
diff
changeset
|
1449 "\\<Info-mode-map>Follow a node reference near point. |
aa286e6e7bec
(Info-follow-nearest-node): Handle line breaks after *note.
Richard M. Stallman <rms@gnu.org>
parents:
998
diff
changeset
|
1450 Like \\[Info-menu], \\[Info-follow-reference], \\[Info-next], \\[Info-prev] or \\[Info-up] command, depending on where you click. |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1451 At end of the node's text, moves to the next node, or up if none." |
1309
aa286e6e7bec
(Info-follow-nearest-node): Handle line breaks after *note.
Richard M. Stallman <rms@gnu.org>
parents:
998
diff
changeset
|
1452 (interactive "e") |
1484
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1453 (let* ((start (event-start click)) |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1454 (window (car start)) |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1455 (pos (car (cdr start)))) |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1456 (select-window window) |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1457 (goto-char pos)) |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1458 (and (not (Info-try-follow-nearest-node)) |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1459 (save-excursion (forward-line 1) (eobp)) |
12156 | 1460 (Info-next-preorder))) |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1461 |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1462 (defun Info-follow-nearest-node () |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1463 "\\<Info-mode-map>Follow a node reference near point. |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1464 Like \\[Info-menu], \\[Info-follow-reference], \\[Info-next], \\[Info-prev] or \\[Info-up] command, depending on where point is. |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1465 If no reference to follow, moves to the next node, or up if none." |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1466 (interactive) |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1467 (or (Info-try-follow-nearest-node) |
12156 | 1468 (Info-next-preorder))) |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1469 |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1470 ;; Common subroutine. |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1471 (defun Info-try-follow-nearest-node () |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1472 "Follow a node reference near point. Return non-nil if successful." |
325 | 1473 (let (node) |
1474 (cond | |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1475 ((setq node (Info-get-token (point) "\\*note[ \n]" |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1476 "\\*note[ \n]\\([^:]*\\):")) |
325 | 1477 (Info-follow-reference node)) |
3127
dfbada800489
(Info-follow-nearest-node): Omit 4th arg to Info-get-token.
Richard M. Stallman <rms@gnu.org>
parents:
3084
diff
changeset
|
1478 ((setq node (Info-get-token (point) "\\* " "\\* \\([^:]*\\)::")) |
325 | 1479 (Info-goto-node node)) |
3127
dfbada800489
(Info-follow-nearest-node): Omit 4th arg to Info-get-token.
Richard M. Stallman <rms@gnu.org>
parents:
3084
diff
changeset
|
1480 ((setq node (Info-get-token (point) "\\* " "\\* \\([^:]*\\):")) |
325 | 1481 (Info-menu node)) |
3127
dfbada800489
(Info-follow-nearest-node): Omit 4th arg to Info-get-token.
Richard M. Stallman <rms@gnu.org>
parents:
3084
diff
changeset
|
1482 ((setq node (Info-get-token (point) "Up: " "Up: \\([^,\n\t]*\\)")) |
325 | 1483 (Info-goto-node node)) |
3127
dfbada800489
(Info-follow-nearest-node): Omit 4th arg to Info-get-token.
Richard M. Stallman <rms@gnu.org>
parents:
3084
diff
changeset
|
1484 ((setq node (Info-get-token (point) "Next: " "Next: \\([^,\n\t]*\\)")) |
325 | 1485 (Info-goto-node node)) |
3127
dfbada800489
(Info-follow-nearest-node): Omit 4th arg to Info-get-token.
Richard M. Stallman <rms@gnu.org>
parents:
3084
diff
changeset
|
1486 ((setq node (Info-get-token (point) "File: " "File: \\([^,\n\t]*\\)")) |
325 | 1487 (Info-goto-node "Top")) |
3127
dfbada800489
(Info-follow-nearest-node): Omit 4th arg to Info-get-token.
Richard M. Stallman <rms@gnu.org>
parents:
3084
diff
changeset
|
1488 ((setq node (Info-get-token (point) "Prev: " "Prev: \\([^,\n\t]*\\)")) |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1489 (Info-goto-node node))) |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1490 node)) |
325 | 1491 |
1492 (defvar Info-mode-map nil | |
1493 "Keymap containing Info commands.") | |
1494 (if Info-mode-map | |
1495 nil | |
1496 (setq Info-mode-map (make-keymap)) | |
1497 (suppress-keymap Info-mode-map) | |
1498 (define-key Info-mode-map "." 'beginning-of-buffer) | |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1499 (define-key Info-mode-map " " 'Info-scroll-up) |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1500 (define-key Info-mode-map "\C-m" 'Info-follow-nearest-node) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1501 (define-key Info-mode-map "\t" 'Info-next-reference) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1502 (define-key Info-mode-map "\e\t" 'Info-prev-reference) |
1666
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1503 (define-key Info-mode-map "1" 'Info-nth-menu-item) |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1504 (define-key Info-mode-map "2" 'Info-nth-menu-item) |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1505 (define-key Info-mode-map "3" 'Info-nth-menu-item) |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1506 (define-key Info-mode-map "4" 'Info-nth-menu-item) |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1507 (define-key Info-mode-map "5" 'Info-nth-menu-item) |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1508 (define-key Info-mode-map "6" 'Info-nth-menu-item) |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1509 (define-key Info-mode-map "7" 'Info-nth-menu-item) |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1510 (define-key Info-mode-map "8" 'Info-nth-menu-item) |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
1511 (define-key Info-mode-map "9" 'Info-nth-menu-item) |
1667
9c0e14881b8f
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1666
diff
changeset
|
1512 (define-key Info-mode-map "0" 'undefined) |
325 | 1513 (define-key Info-mode-map "?" 'Info-summary) |
1514 (define-key Info-mode-map "]" 'Info-forward-node) | |
1515 (define-key Info-mode-map "[" 'Info-backward-node) | |
1516 (define-key Info-mode-map "<" 'Info-top-node) | |
1517 (define-key Info-mode-map ">" 'Info-final-node) | |
1518 (define-key Info-mode-map "b" 'beginning-of-buffer) | |
1519 (define-key Info-mode-map "d" 'Info-directory) | |
1520 (define-key Info-mode-map "e" 'Info-edit) | |
1521 (define-key Info-mode-map "f" 'Info-follow-reference) | |
1522 (define-key Info-mode-map "g" 'Info-goto-node) | |
1523 (define-key Info-mode-map "h" 'Info-help) | |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1524 (define-key Info-mode-map "i" 'Info-index) |
325 | 1525 (define-key Info-mode-map "l" 'Info-last) |
1526 (define-key Info-mode-map "m" 'Info-menu) | |
1527 (define-key Info-mode-map "n" 'Info-next) | |
1528 (define-key Info-mode-map "p" 'Info-prev) | |
1529 (define-key Info-mode-map "q" 'Info-exit) | |
1530 (define-key Info-mode-map "s" 'Info-search) | |
8739
f89682e90658
(Info-mode-map): Bind M-s like s.
Richard M. Stallman <rms@gnu.org>
parents:
8692
diff
changeset
|
1531 ;; For consistency with Rmail. |
f89682e90658
(Info-mode-map): Bind M-s like s.
Richard M. Stallman <rms@gnu.org>
parents:
8692
diff
changeset
|
1532 (define-key Info-mode-map "\M-s" 'Info-search) |
3313
34f2db3916fe
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3225
diff
changeset
|
1533 (define-key Info-mode-map "t" 'Info-top-node) |
325 | 1534 (define-key Info-mode-map "u" 'Info-up) |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1535 (define-key Info-mode-map "," 'Info-index-next) |
930
1dac458b5117
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
929
diff
changeset
|
1536 (define-key Info-mode-map "\177" 'Info-scroll-down) |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1537 (define-key Info-mode-map [mouse-2] 'Info-mouse-follow-nearest-node) |
540 | 1538 ) |
325 | 1539 |
1540 ;; Info mode is suitable only for specially formatted data. | |
1541 (put 'info-mode 'mode-class 'special) | |
1542 | |
1543 (defun Info-mode () | |
1544 "\\<Info-mode-map> | |
1545 Info mode provides commands for browsing through the Info documentation tree. | |
1546 Documentation in Info is divided into \"nodes\", each of which discusses | |
1547 one topic and contains references to other nodes which discuss related | |
1548 topics. Info has commands to follow the references and show you other nodes. | |
1549 | |
1550 \\[Info-help] Invoke the Info tutorial. | |
1551 | |
1552 Selecting other nodes: | |
8564 | 1553 \\[Info-mouse-follow-nearest-node] |
1554 Follow a node reference you click on. | |
1555 This works with menu items, cross references, and | |
1556 the \"next\", \"previous\" and \"up\", depending on where you click. | |
325 | 1557 \\[Info-next] Move to the \"next\" node of this node. |
3127
dfbada800489
(Info-follow-nearest-node): Omit 4th arg to Info-get-token.
Richard M. Stallman <rms@gnu.org>
parents:
3084
diff
changeset
|
1558 \\[Info-prev] Move to the \"previous\" node of this node. |
325 | 1559 \\[Info-up] Move \"up\" from this node. |
1560 \\[Info-menu] Pick menu item specified by name (or abbreviation). | |
1561 Picking a menu item causes another node to be selected. | |
540 | 1562 \\[Info-directory] Go to the Info directory node. |
325 | 1563 \\[Info-follow-reference] Follow a cross reference. Reads name of reference. |
1564 \\[Info-last] Move to the last node you were at. | |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1565 \\[Info-index] Look up a topic in this file's Index and move to that node. |
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1566 \\[Info-index-next] (comma) Move to the next match from a previous `i' command. |
325 | 1567 |
1568 Moving within a node: | |
5041 | 1569 \\[Info-scroll-up] Normally, scroll forward a full screen. If the end of the buffer is |
930
1dac458b5117
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
929
diff
changeset
|
1570 already visible, try to go to the next menu entry, or up if there is none. |
5041 | 1571 \\[Info-scroll-down] Normally, scroll backward. If the beginning of the buffer is |
930
1dac458b5117
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
929
diff
changeset
|
1572 already visible, try to go to the previous menu entry, or up if there is none. |
1dac458b5117
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
929
diff
changeset
|
1573 \\[beginning-of-buffer] Go to beginning of node. |
325 | 1574 |
1575 Advanced commands: | |
1576 \\[Info-exit] Quit Info: reselect previously selected buffer. | |
1577 \\[Info-edit] Edit contents of selected node. | |
1578 1 Pick first item in node's menu. | |
1579 2, 3, 4, 5 Pick second ... fifth item in node's menu. | |
1580 \\[Info-goto-node] Move to node specified by name. | |
1581 You may include a filename as well, as (FILENAME)NODENAME. | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1582 \\[universal-argument] \\[info] Move to new Info file with completion. |
325 | 1583 \\[Info-search] Search through this Info file for specified regexp, |
930
1dac458b5117
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
929
diff
changeset
|
1584 and select the node in which the next occurrence is found. |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1585 \\[Info-next-reference] Move cursor to next cross-reference or menu item. |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1586 \\[Info-prev-reference] Move cursor to previous cross-reference or menu item." |
325 | 1587 (kill-all-local-variables) |
1588 (setq major-mode 'Info-mode) | |
1589 (setq mode-name "Info") | |
1590 (use-local-map Info-mode-map) | |
1591 (set-syntax-table text-mode-syntax-table) | |
1592 (setq local-abbrev-table text-mode-abbrev-table) | |
1593 (setq case-fold-search t) | |
1594 (setq buffer-read-only t) | |
1595 (make-local-variable 'Info-current-file) | |
1596 (make-local-variable 'Info-current-subfile) | |
1597 (make-local-variable 'Info-current-node) | |
1598 (make-local-variable 'Info-tag-table-marker) | |
1599 (make-local-variable 'Info-history) | |
2561
1bd4cf98df68
(Info-find-node, Info-insert-subfile): Do the right thing if info files have
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2038
diff
changeset
|
1600 (make-local-variable 'Info-index-alternatives) |
9572 | 1601 (if (memq (framep (selected-frame)) '(x pc)) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1602 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1603 (make-face 'info-node) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1604 (make-face 'info-menu-5) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1605 (make-face 'info-xref) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1606 (or (face-differs-from-default-p 'info-node) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1607 (if (face-differs-from-default-p 'bold-italic) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1608 (copy-face 'bold-italic 'info-node) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1609 (copy-face 'bold 'info-node))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1610 (or (face-differs-from-default-p 'info-menu-5) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1611 (set-face-underline-p 'info-menu-5 t)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1612 (or (face-differs-from-default-p 'info-xref) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1613 (copy-face 'bold 'info-xref))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1614 (setq Info-fontify nil)) |
325 | 1615 (Info-set-mode-line) |
1616 (run-hooks 'Info-mode-hook)) | |
1617 | |
1618 (defvar Info-edit-map nil | |
1619 "Local keymap used within `e' command of Info.") | |
1620 (if Info-edit-map | |
1621 nil | |
1622 (setq Info-edit-map (nconc (make-sparse-keymap) text-mode-map)) | |
1623 (define-key Info-edit-map "\C-c\C-c" 'Info-cease-edit)) | |
1624 | |
1625 ;; Info-edit mode is suitable only for specially formatted data. | |
1626 (put 'info-edit-mode 'mode-class 'special) | |
1627 | |
1628 (defun Info-edit-mode () | |
1629 "Major mode for editing the contents of an Info node. | |
1477 | 1630 Like text mode with the addition of `Info-cease-edit' |
325 | 1631 which returns to Info mode for browsing. |
1632 \\{Info-edit-map}" | |
8805
6d8297d65d78
(Info-edit): Move the customary mode-initialization calls out of here.
Karl Heuer <kwzh@gnu.org>
parents:
8739
diff
changeset
|
1633 (use-local-map Info-edit-map) |
6d8297d65d78
(Info-edit): Move the customary mode-initialization calls out of here.
Karl Heuer <kwzh@gnu.org>
parents:
8739
diff
changeset
|
1634 (setq major-mode 'Info-edit-mode) |
6d8297d65d78
(Info-edit): Move the customary mode-initialization calls out of here.
Karl Heuer <kwzh@gnu.org>
parents:
8739
diff
changeset
|
1635 (setq mode-name "Info Edit") |
6d8297d65d78
(Info-edit): Move the customary mode-initialization calls out of here.
Karl Heuer <kwzh@gnu.org>
parents:
8739
diff
changeset
|
1636 (kill-local-variable 'mode-line-buffer-identification) |
6d8297d65d78
(Info-edit): Move the customary mode-initialization calls out of here.
Karl Heuer <kwzh@gnu.org>
parents:
8739
diff
changeset
|
1637 (setq buffer-read-only nil) |
11580
7f357fe2cda5
(Info-edit-mode, Info-cease-edit): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
11527
diff
changeset
|
1638 (force-mode-line-update) |
8805
6d8297d65d78
(Info-edit): Move the customary mode-initialization calls out of here.
Karl Heuer <kwzh@gnu.org>
parents:
8739
diff
changeset
|
1639 (buffer-enable-undo (current-buffer)) |
6d8297d65d78
(Info-edit): Move the customary mode-initialization calls out of here.
Karl Heuer <kwzh@gnu.org>
parents:
8739
diff
changeset
|
1640 (run-hooks 'Info-edit-mode-hook)) |
325 | 1641 |
1642 (defun Info-edit () | |
1643 "Edit the contents of this Info node. | |
1644 Allowed only if variable `Info-enable-edit' is non-nil." | |
1645 (interactive) | |
1646 (or Info-enable-edit | |
1647 (error "Editing info nodes is not enabled")) | |
8805
6d8297d65d78
(Info-edit): Move the customary mode-initialization calls out of here.
Karl Heuer <kwzh@gnu.org>
parents:
8739
diff
changeset
|
1648 (Info-edit-mode) |
14319
e39a2eb75dbe
(Info-edit, Info-goto-emacs-command-node): Pass proper format string to message.
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
1649 (message "%s" (substitute-command-keys |
8805
6d8297d65d78
(Info-edit): Move the customary mode-initialization calls out of here.
Karl Heuer <kwzh@gnu.org>
parents:
8739
diff
changeset
|
1650 "Editing: Type \\<Info-edit-map>\\[Info-cease-edit] to return to info"))) |
325 | 1651 |
1652 (defun Info-cease-edit () | |
1653 "Finish editing Info node; switch back to Info proper." | |
1654 (interactive) | |
1655 ;; Do this first, so nothing has changed if user C-g's at query. | |
1656 (and (buffer-modified-p) | |
1657 (y-or-n-p "Save the file? ") | |
1658 (save-buffer)) | |
1659 (use-local-map Info-mode-map) | |
1660 (setq major-mode 'Info-mode) | |
1661 (setq mode-name "Info") | |
1662 (Info-set-mode-line) | |
1663 (setq buffer-read-only t) | |
11580
7f357fe2cda5
(Info-edit-mode, Info-cease-edit): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
11527
diff
changeset
|
1664 (force-mode-line-update) |
325 | 1665 (and (marker-position Info-tag-table-marker) |
1666 (buffer-modified-p) | |
1667 (message "Tags may have changed. Use Info-tagify if necessary"))) | |
359 | 1668 |
12889
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1669 (defvar Info-file-list-for-emacs |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1670 '("ediff" "forms" "gnus" "info" ("mh" . "mh-e") "sc") |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1671 "List of Info files that describe Emacs commands. |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1672 An element can be a file name, or a list of the form (PREFIX . FILE) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1673 where PREFIX is a name prefix and FILE is the file to look in. |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1674 If the element is just a file name, the file name also serves as the prefix.") |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1675 |
359 | 1676 (defun Info-find-emacs-command-nodes (command) |
12889
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1677 "Return a list of locations documenting COMMAND. |
12892
8b902b24d749
(Info-find-emacs-command-nodes): Fix previous change.
Richard M. Stallman <rms@gnu.org>
parents:
12889
diff
changeset
|
1678 The `info-file' property of COMMAND says which Info manual to search. |
8b902b24d749
(Info-find-emacs-command-nodes): Fix previous change.
Richard M. Stallman <rms@gnu.org>
parents:
12889
diff
changeset
|
1679 If COMMAND has no property, the variable `Info-file-list-for-emacs' |
8b902b24d749
(Info-find-emacs-command-nodes): Fix previous change.
Richard M. Stallman <rms@gnu.org>
parents:
12889
diff
changeset
|
1680 defines heuristics for which Info manual to try. |
359 | 1681 The locations are of the format used in Info-history, i.e. |
1682 \(FILENAME NODENAME BUFFERPOS\)." | |
1683 (let ((where '()) | |
1684 (cmd-desc (concat "^\\* " (regexp-quote (symbol-name command)) | |
12889
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1685 ":\\s *\\(.*\\)\\.$")) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1686 (info-file "emacs")) ;default |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1687 ;; Determine which info file this command is documented in. |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1688 (if (get command 'info-file) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1689 (setq info-file (get command 'info-file)) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1690 ;; If it doesn't say explicitly, test its name against |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1691 ;; various prefixes that we know. |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1692 (let ((file-list Info-file-list-for-emacs)) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1693 (while file-list |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1694 (let* ((elt (car file-list)) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1695 (name (if (consp elt) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1696 (car elt) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1697 elt)) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1698 (file (if (consp elt) (cdr elt) elt)) |
12892
8b902b24d749
(Info-find-emacs-command-nodes): Fix previous change.
Richard M. Stallman <rms@gnu.org>
parents:
12889
diff
changeset
|
1699 (regexp (concat "\\`" (regexp-quote name) |
12889
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1700 "\\(\\'\\|-\\)"))) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1701 (if (string-match regexp (symbol-name command)) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1702 (setq info-file file file-list nil)) |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1703 (setq file-list (cdr file-list)))))) |
359 | 1704 (save-excursion |
12889
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1705 (condition-case nil |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1706 (Info-find-node info-file "Command Index") |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1707 ;; Some manuals may not have a separate Command Index node, |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1708 ;; so try just Index instead. |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1709 (error |
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1710 (Info-find-node info-file "Index"))) |
359 | 1711 ;; Take the index node off the Info history. |
1712 (setq Info-history (cdr Info-history)) | |
1713 (goto-char (point-max)) | |
1714 (while (re-search-backward cmd-desc nil t) | |
1715 (setq where (cons (list Info-current-file | |
1716 (buffer-substring | |
1717 (match-beginning 1) | |
1718 (match-end 1)) | |
1719 0) | |
1720 where))) | |
1721 where))) | |
1722 | |
1723 ;;;###autoload | |
1724 (defun Info-goto-emacs-command-node (command) | |
4468
5e9224dac452
(Info-goto-emacs-command-node, Info-goto-emacs-key-command-node): Doc fix.
Roland McGrath <roland@gnu.org>
parents:
4410
diff
changeset
|
1725 "Go to the Info node in the Emacs manual for command COMMAND. |
12889
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1726 The command is found by looking up in Emacs manual's Command Index |
12892
8b902b24d749
(Info-find-emacs-command-nodes): Fix previous change.
Richard M. Stallman <rms@gnu.org>
parents:
12889
diff
changeset
|
1727 or in another manual found via COMMAND's `info-file' property or |
8b902b24d749
(Info-find-emacs-command-nodes): Fix previous change.
Richard M. Stallman <rms@gnu.org>
parents:
12889
diff
changeset
|
1728 the variable `Info-file-list-for-emacs'." |
359 | 1729 (interactive "CFind documentation for command: ") |
1730 (or (commandp command) | |
1731 (signal 'wrong-type-argument (list 'commandp command))) | |
1732 (let ((where (Info-find-emacs-command-nodes command))) | |
1733 (if where | |
1734 (let ((num-matches (length where))) | |
1735 ;; Get Info running, and pop to it in another window. | |
1736 (save-window-excursion | |
1737 (info)) | |
1738 (pop-to-buffer "*info*") | |
1739 (Info-find-node (car (car where)) | |
1740 (car (cdr (car where)))) | |
1741 (if (> num-matches 1) | |
1742 (progn | |
1743 ;; Info-find-node already pushed (car where) onto | |
1744 ;; Info-history. Put the other nodes that were found on | |
1745 ;; the history. | |
1746 (setq Info-history (nconc (cdr where) Info-history)) | |
14319
e39a2eb75dbe
(Info-edit, Info-goto-emacs-command-node): Pass proper format string to message.
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
1747 (message "Found %d other entr%s. Use %s to see %s." |
6049
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
1748 (1- num-matches) |
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
1749 (if (> num-matches 2) "ies" "y") |
14319
e39a2eb75dbe
(Info-edit, Info-goto-emacs-command-node): Pass proper format string to message.
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
1750 (substitute-command-keys "\\[Info-last]") |
6049
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
1751 (if (> num-matches 2) "them" "it"))))) |
14355
87fde6ef6c95
(Info-goto-emacs-command-node): Fix error text.
Karl Heuer <kwzh@gnu.org>
parents:
14319
diff
changeset
|
1752 (error "Couldn't find documentation for %s" command)))) |
359 | 1753 |
1754 ;;;###autoload | |
1755 (defun Info-goto-emacs-key-command-node (key) | |
1756 "Go to the Info node in the Emacs manual the command bound to KEY, a string. | |
4468
5e9224dac452
(Info-goto-emacs-command-node, Info-goto-emacs-key-command-node): Doc fix.
Roland McGrath <roland@gnu.org>
parents:
4410
diff
changeset
|
1757 Interactively, if the binding is execute-extended-command, a command is read. |
12889
d912ac1e1f00
(Info-file-list-for-emacs): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
12779
diff
changeset
|
1758 The command is found by looking up in Emacs manual's Command Index |
12892
8b902b24d749
(Info-find-emacs-command-nodes): Fix previous change.
Richard M. Stallman <rms@gnu.org>
parents:
12889
diff
changeset
|
1759 or in another manual found via COMMAND's `info-file' property or |
8b902b24d749
(Info-find-emacs-command-nodes): Fix previous change.
Richard M. Stallman <rms@gnu.org>
parents:
12889
diff
changeset
|
1760 the variable `Info-file-list-for-emacs'." |
359 | 1761 (interactive "kFind documentation for key:") |
1762 (let ((command (key-binding key))) | |
1763 (cond ((null command) | |
1484
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1764 (message "%s is undefined" (key-description key))) |
359 | 1765 ((and (interactive-p) |
1766 (eq command 'execute-extended-command)) | |
1767 (Info-goto-emacs-command-node | |
1768 (read-command "Find documentation for command: "))) | |
1769 (t | |
1770 (Info-goto-emacs-command-node command))))) | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1771 |
13084
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1772 (defvar Info-title-face-alist |
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1773 '((?* bold underline) |
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1774 (?= bold-italic underline) |
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1775 (?- italic underline)) |
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1776 "*Alist of face or list of faces to use for pseudo-underlined titles. |
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1777 The alist key is the character the title is underlined with (?*, ?= or ?-).") |
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1778 |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1779 (defun Info-fontify-node () |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1780 (save-excursion |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1781 (let ((buffer-read-only nil)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1782 (goto-char (point-min)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1783 (if (looking-at "^File: [^,: \t]+,?[ \t]+") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1784 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1785 (goto-char (match-end 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1786 (while |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1787 (looking-at "[ \t]*[^:, \t\n]+:[ \t]+\\([^:,\t\n]+\\),?") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1788 (goto-char (match-end 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1789 (put-text-property (match-beginning 1) (match-end 1) |
6624
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1790 'face 'info-xref) |
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1791 (put-text-property (match-beginning 1) (match-end 1) |
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1792 'mouse-face 'highlight)))) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1793 (goto-char (point-min)) |
13084
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1794 (while (re-search-forward "\n\\([^ \t\n].+\\)\n\\(\\*+\\|=+\\|-+\\)$" |
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1795 nil t) |
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1796 (put-text-property (match-beginning 1) (match-end 1) |
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1797 'face |
13085
5be0696ddc1e
(Info-fontify-node): Fix previous change.
Karl Heuer <kwzh@gnu.org>
parents:
13084
diff
changeset
|
1798 (cdr (assq (preceding-char) Info-title-face-alist))) |
13084
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1799 (put-text-property (match-end 1) (match-end 2) |
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1800 'invisible t)) |
805486dfbc82
(Info-title-face-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
13004
diff
changeset
|
1801 (goto-char (point-min)) |
7859
1d1693211560
(Info-fontify-node): Require some whitespace after *Note.
Richard M. Stallman <rms@gnu.org>
parents:
7837
diff
changeset
|
1802 (while (re-search-forward "\\*Note[ \n\t]+\\([^:]*\\):" nil t) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1803 (if (= (char-after (1- (match-beginning 0))) ?\") ; hack |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1804 nil |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1805 (put-text-property (match-beginning 1) (match-end 1) |
6624
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1806 'face 'info-xref) |
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1807 (put-text-property (match-beginning 1) (match-end 1) |
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1808 'mouse-face 'highlight))) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1809 (goto-char (point-min)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1810 (if (and (search-forward "\n* Menu:" nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1811 (not (string-match "\\<Index\\>" Info-current-node)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1812 ;; Don't take time to annotate huge menus |
8193
0be48d0d16fd
(Info-fontify-maximum-menu-size): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
8071
diff
changeset
|
1813 (< (- (point-max) (point)) Info-fontify-maximum-menu-size)) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1814 (let ((n 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1815 (while (re-search-forward "^\\* \\([^:\t\n]*\\):" nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1816 (setq n (1+ n)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1817 (if (memq n '(5 9)) ; visual aids to help with 1-9 keys |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1818 (put-text-property (match-beginning 0) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1819 (1+ (match-beginning 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1820 'face 'info-menu-5)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1821 (put-text-property (match-beginning 1) (match-end 1) |
6624
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1822 'face 'info-node) |
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1823 (put-text-property (match-beginning 1) (match-end 1) |
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1824 'mouse-face 'highlight)))) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1825 (set-buffer-modified-p nil)))) |
584 | 1826 |
1827 (provide 'info) | |
1828 | |
660
08eb386dd0f3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
1829 ;;; info.el ends here |