Mercurial > emacs
annotate lisp/info.el @ 7699:87513c7850f9
Whitespace cleanup.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Fri, 27 May 1994 05:55:15 +0000 |
parents | 9439aeb622d7 |
children | f2747ec591fd |
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 | |
21 ;; along with GNU Emacs; see the file COPYING. If not, write to | |
22 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
23 | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
24 ;;; Commentary: |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
25 |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
26 ;;; Note that nowadays we expect info files to be made using makeinfo. |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
27 |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
28 ;;; Code: |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
754
diff
changeset
|
29 |
325 | 30 (defvar Info-history nil |
31 "List of info nodes user has visited. | |
32 Each element of list is a list (FILENAME NODENAME BUFFERPOS).") | |
33 | |
34 (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
|
35 "*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
|
36 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
|
37 However, we recommend that you not do this. |
f99c8512cd41
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
660
diff
changeset
|
38 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
|
39 because that gives you a printed manual as well.") |
325 | 40 |
41 (defvar Info-enable-active-nodes t | |
42 "Non-nil allows Info to execute Lisp code associated with nodes. | |
43 The Lisp code is executed when the node is selected.") | |
44 | |
540 | 45 (defvar Info-default-directory-list nil |
46 "List of default directories to search for Info documentation files. | |
47 This value is used as the default for `Info-directory-list'. It is set | |
48 in paths.el.") | |
49 | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
50 (defvar Info-fontify t |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
51 "*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
|
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")) |
27603dcb6260
(Info-directory-list): Change last elt to ../info (expanded).
Richard M. Stallman <rms@gnu.org>
parents:
5271
diff
changeset
|
55 (sibling (expand-file-name "../info/" (invocation-directory)))) |
3330
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
56 (if path |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
57 (let ((list nil) |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
58 idx) |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
59 (while (> (length path) 0) |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
60 (setq idx (or (string-match ":" path) (length path)) |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
61 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
|
62 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
|
63 (length path))))) |
4fd13e6109e3
(Info-mode-map): Correct Info-top to Info-top-node.
Richard M. Stallman <rms@gnu.org>
parents:
3313
diff
changeset
|
64 (nreverse list)) |
5482
27603dcb6260
(Info-directory-list): Change last elt to ../info (expanded).
Richard M. Stallman <rms@gnu.org>
parents:
5271
diff
changeset
|
65 (if (or (member sibling Info-default-directory-list) |
27603dcb6260
(Info-directory-list): Change last elt to ../info (expanded).
Richard M. Stallman <rms@gnu.org>
parents:
5271
diff
changeset
|
66 (not (file-exists-p sibling))) |
27603dcb6260
(Info-directory-list): Change last elt to ../info (expanded).
Richard M. Stallman <rms@gnu.org>
parents:
5271
diff
changeset
|
67 Info-default-directory-list |
27603dcb6260
(Info-directory-list): Change last elt to ../info (expanded).
Richard M. Stallman <rms@gnu.org>
parents:
5271
diff
changeset
|
68 (reverse (cons sibling (cdr (reverse Info-default-directory-list))))))) |
325 | 69 "List of directories to search for Info documentation files. |
540 | 70 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
|
71 variable INFOPATH to initialize it, or `Info-default-directory-list' |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
72 if there is no INFOPATH variable in the environment.") |
325 | 73 |
74 (defvar Info-current-file nil | |
75 "Info file that Info is now looking at, or nil.") | |
76 | |
77 (defvar Info-current-subfile nil | |
78 "Info subfile that is actually in the *info* buffer now, | |
79 or nil if current info file is not split into subfiles.") | |
80 | |
81 (defvar Info-current-node nil | |
82 "Name of node that Info is now looking at, or nil.") | |
83 | |
84 (defvar Info-tag-table-marker (make-marker) | |
85 "Marker pointing at beginning of current Info file's tag table. | |
86 Marker points nowhere if file has no tag table.") | |
87 | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
88 (defvar Info-current-file-completions nil |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
89 "Cached completion list for current Info file.") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
90 |
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
|
91 (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
|
92 "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
|
93 |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
94 (defvar Info-standalone nil |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
95 "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
|
96 |
6566
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
97 (defvar Info-suffix-list '( (".info.Z" . "uncompress") |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
98 (".info.Y" . "unyabba") |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
99 (".info.gz" . "gunzip") |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
100 (".info.z" . "gunzip") |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
101 (".info" . nil) |
3442
ef8ca321d049
(Info-suffix-list): Handle .gz suffix.
Richard M. Stallman <rms@gnu.org>
parents:
3351
diff
changeset
|
102 (".Z" . "uncompress") |
ef8ca321d049
(Info-suffix-list): Handle .gz suffix.
Richard M. Stallman <rms@gnu.org>
parents:
3351
diff
changeset
|
103 (".Y" . "unyabba") |
ef8ca321d049
(Info-suffix-list): Handle .gz suffix.
Richard M. Stallman <rms@gnu.org>
parents:
3351
diff
changeset
|
104 (".gz" . "gunzip") |
ef8ca321d049
(Info-suffix-list): Handle .gz suffix.
Richard M. Stallman <rms@gnu.org>
parents:
3351
diff
changeset
|
105 (".z" . "gunzip") |
6566
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
106 ("" . 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
|
107 "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
|
108 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
|
109 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
|
110 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
|
111 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
|
112 |
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
|
113 (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
|
114 "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
|
115 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
|
116 (let ((tail Info-suffix-list) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
117 fullname decoder) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
118 (if (file-exists-p filename) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
119 (progn |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
120 (while (and tail |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
121 (not (string-match |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
122 (concat (regexp-quote (car (car tail))) "$") |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
123 filename))) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
124 (setq tail (cdr tail))) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
125 (setq fullname filename |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
126 decoder (cdr (car tail)))) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
127 (while (and tail |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
128 (not (file-exists-p (concat filename (car (car tail)))))) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
129 (setq tail (cdr tail))) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
130 (setq fullname (concat filename (car (car tail))) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
131 decoder (cdr (car tail))) |
7572
9439aeb622d7
(info-insert-file-contents): Avoid conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
132 ;; check for conflict with jka-compr |
9439aeb622d7
(info-insert-file-contents): Avoid conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
133 (if (and (featurep 'jka-compr) |
9439aeb622d7
(info-insert-file-contents): Avoid conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
134 (jka-compr-installed-p) |
9439aeb622d7
(info-insert-file-contents): Avoid conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
135 (jka-compr-get-compression-info (concat filename |
9439aeb622d7
(info-insert-file-contents): Avoid conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
136 (car (car tail))))) |
9439aeb622d7
(info-insert-file-contents): Avoid conflict with jka-compr.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
137 (setq decoder nil)) |
6566
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
138 (or tail |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
139 (error "Can't find %s or any compressed version of it!" filename))) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
140 (insert-file-contents fullname visit) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
141 (if decoder |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
142 (let ((buffer-read-only nil)) |
248eede22658
(Info-suffix-list): Put empty string last.
Karl Heuer <kwzh@gnu.org>
parents:
6537
diff
changeset
|
143 (shell-command-on-region (point-min) (point-max) decoder 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
|
144 |
325 | 145 ;;;###autoload |
146 (defun info (&optional file) | |
147 "Enter Info, the documentation browser. | |
148 Optional argument FILE specifies the file to examine; | |
149 the default is the top-level directory of Info. | |
150 | |
151 In interactive use, a prefix argument directs this command | |
152 to read a file name from the minibuffer." | |
153 (interactive (if current-prefix-arg | |
154 (list (read-file-name "Info file name: " nil nil t)))) | |
155 (if file | |
156 (Info-goto-node (concat "(" file ")")) | |
157 (if (get-buffer "*info*") | |
158 (switch-to-buffer "*info*") | |
159 (Info-directory)))) | |
160 | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
161 ;;;###autoload |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
162 (defun info-standalone () |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
163 "Run Emacs as a standalone Info reader. |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
164 Usage: emacs -f info-standalone [filename] |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
165 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
|
166 (setq Info-standalone t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
167 (if (and command-line-args-left |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
168 (not (string-match "^-" (car command-line-args-left)))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
169 (condition-case err |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
170 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
171 (info (car command-line-args-left)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
172 (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
|
173 (error (send-string-to-terminal |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
174 (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
|
175 (nth 1 err) err))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
176 (save-buffers-kill-emacs))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
177 (info))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
178 |
325 | 179 ;; Go to an info node specified as separate filename and nodename. |
180 ;; no-going-back is non-nil if recovering from an error in this function; | |
181 ;; it says do not attempt further (recursive) error recovery. | |
182 (defun Info-find-node (filename nodename &optional no-going-back) | |
183 ;; Convert filename to lower case if not found as specified. | |
184 ;; Expand it. | |
185 (if filename | |
186 (let (temp temp-downcase found) | |
187 (setq filename (substitute-in-file-name filename)) | |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
188 (if (string= (downcase (file-name-nondirectory filename)) "dir") |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
189 (setq found t) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
190 (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
|
191 ;; 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
|
192 ;; 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
|
193 '("./") |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
194 Info-directory-list))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
195 ;; 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
|
196 (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
|
197 (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
|
198 (setq temp-downcase |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
199 (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
|
200 ;; Try several variants of specified name. |
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
|
201 (catch 'foundit |
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
|
202 (mapcar |
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
|
203 (function |
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
|
204 (lambda (x) |
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
|
205 (if (file-exists-p (concat temp (car x))) |
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
|
206 (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
|
207 (setq found temp) |
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
|
208 (throw 'foundit 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
|
209 (if (file-exists-p (concat temp-downcase (car x))) |
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
|
210 (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
|
211 (setq found temp-downcase) |
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
|
212 (throw 'foundit 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
|
213 Info-suffix-list)) |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
214 (setq dirs (cdr dirs))))) |
325 | 215 (if found |
216 (setq filename found) | |
217 (error "Info file %s does not exist" filename)))) | |
218 ;; Record the node we are leaving. | |
219 (if (and Info-current-file (not no-going-back)) | |
220 (setq Info-history | |
221 (cons (list Info-current-file Info-current-node (point)) | |
222 Info-history))) | |
223 ;; Go into info buffer. | |
224 (switch-to-buffer "*info*") | |
1484
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
225 (buffer-disable-undo (current-buffer)) |
325 | 226 (or (eq major-mode 'Info-mode) |
227 (Info-mode)) | |
228 (widen) | |
229 (setq Info-current-node nil) | |
230 (unwind-protect | |
231 (progn | |
232 ;; Switch files if necessary | |
233 (or (null filename) | |
234 (equal Info-current-file filename) | |
235 (let ((buffer-read-only nil)) | |
236 (setq Info-current-file nil | |
237 Info-current-subfile nil | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
238 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
|
239 Info-index-alternatives nil |
325 | 240 buffer-file-name nil) |
241 (erase-buffer) | |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
242 (if (eq filename t) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
243 (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
|
244 (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
|
245 (setq default-directory (file-name-directory filename))) |
325 | 246 (set-buffer-modified-p nil) |
247 ;; See whether file has a tag table. Record the location if yes. | |
248 (set-marker Info-tag-table-marker nil) | |
249 (goto-char (point-max)) | |
250 (forward-line -8) | |
251 (or (equal nodename "*") | |
252 (not (search-forward "\^_\nEnd tag table\n" nil t)) | |
253 (let (pos) | |
254 ;; We have a tag table. Find its beginning. | |
255 ;; Is this an indirect file? | |
256 (search-backward "\nTag table:\n") | |
257 (setq pos (point)) | |
258 (if (save-excursion | |
259 (forward-line 2) | |
260 (looking-at "(Indirect)\n")) | |
261 ;; It is indirect. Copy it to another buffer | |
262 ;; and record that the tag table is in that buffer. | |
263 (save-excursion | |
264 (let ((buf (current-buffer))) | |
265 (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
|
266 (buffer-disable-undo (current-buffer)) |
325 | 267 (setq case-fold-search t) |
268 (erase-buffer) | |
269 (insert-buffer-substring buf) | |
270 (set-marker Info-tag-table-marker | |
271 (match-end 0)))) | |
998 | 272 (set-marker Info-tag-table-marker pos)))) |
325 | 273 (setq Info-current-file |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
274 (if (eq filename t) "dir" |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
275 (file-name-sans-versions buffer-file-name))))) |
325 | 276 (if (equal nodename "*") |
277 (progn (setq Info-current-node nodename) | |
278 (Info-set-mode-line)) | |
279 ;; Search file for a suitable node. | |
990
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
280 (let ((guesspos (point-min)) |
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
281 (regexp (concat "Node: *" (regexp-quote nodename) " *[,\t\n\177]"))) |
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
282 ;; First get advice from tag table if file has one. |
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
283 ;; Also, if this is an indirect info file, |
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
284 ;; read the proper subfile into this buffer. |
325 | 285 (if (marker-position Info-tag-table-marker) |
286 (save-excursion | |
287 (set-buffer (marker-buffer Info-tag-table-marker)) | |
288 (goto-char Info-tag-table-marker) | |
990
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
289 (if (re-search-forward regexp nil t) |
325 | 290 (progn |
291 (setq guesspos (read (current-buffer))) | |
292 ;; If this is an indirect file, | |
293 ;; determine which file really holds this node | |
294 ;; and read it in. | |
295 (if (not (eq (current-buffer) (get-buffer "*info*"))) | |
296 (setq guesspos | |
297 (Info-read-subfile guesspos)))) | |
298 (error "No such node: \"%s\"" nodename)))) | |
990
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
299 (goto-char (max (point-min) (- guesspos 1000))) |
d76731ebdff0
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
930
diff
changeset
|
300 ;; 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
|
301 ;; to find the actual node. |
325 | 302 (catch 'foo |
303 (while (search-forward "\n\^_" nil t) | |
304 (forward-line 1) | |
305 (let ((beg (point))) | |
306 (forward-line 1) | |
307 (if (re-search-backward regexp beg t) | |
308 (throw 'foo t)))) | |
309 (error "No such node: %s" nodename))) | |
310 (Info-select-node))) | |
311 ;; If we did not finish finding the specified node, | |
312 ;; 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
|
313 (or Info-current-node no-going-back (null Info-history) |
325 | 314 (let ((hist (car Info-history))) |
315 (setq Info-history (cdr Info-history)) | |
316 (Info-find-node (nth 0 hist) (nth 1 hist) t) | |
317 (goto-char (nth 2 hist))))) | |
318 (goto-char (point-min))) | |
319 | |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
320 ;; 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
|
321 ;; 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
|
322 (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
|
323 |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
324 ;; 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
|
325 ;; 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
|
326 (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
|
327 |
3836
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
328 ;; 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
|
329 ;; constructed Info-dir-contents. |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
330 (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
|
331 |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
332 ;; 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
|
333 ;; 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
|
334 ;; 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
|
335 ;; from. |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
336 (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
|
337 (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
|
338 ;; 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
|
339 ;; since we used it. |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
340 (eval (cons 'and |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
341 (mapcar '(lambda (elt) |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
342 (equal (cdr elt) |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
343 (file-attributes (car elt)))) |
04f1cff889f4
(Info-insert-dir): Record file attributes of files used.
Richard M. Stallman <rms@gnu.org>
parents:
3565
diff
changeset
|
344 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
|
345 (insert Info-dir-contents) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
346 (let ((dirs Info-directory-list) |
3212
cd8f8468a190
(Info-insert-dir): Ignore duplicate directories.
Richard M. Stallman <rms@gnu.org>
parents:
3127
diff
changeset
|
347 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
|
348 |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
349 ;; 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
|
350 (while dirs |
5271
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
351 (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
|
352 (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
|
353 (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
|
354 ;; 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
|
355 ;; Try upcasing, appending `.info', or both. |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
356 (let* (temp |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
357 (buffer |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
358 (cond |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
359 ((progn (setq temp (expand-file-name "DIR" (car dirs))) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
360 (file-exists-p temp)) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
361 (find-file-noselect temp)) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
362 ((progn (setq temp (expand-file-name "dir" (car dirs))) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
363 (file-exists-p temp)) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
364 (find-file-noselect temp)) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
365 ((progn (setq temp (expand-file-name "DIR.INFO" (car dirs))) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
366 (file-exists-p temp)) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
367 (find-file-noselect temp)) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
368 ((progn (setq temp (expand-file-name "dir.info" (car dirs))) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
369 (file-exists-p temp)) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
370 (find-file-noselect temp))))) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
371 (setq dirs-done |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
372 (cons truename |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
373 (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
|
374 dirs-done))) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
375 (if buffer (setq buffers (cons buffer buffers) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
376 Info-dir-file-attributes |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
377 (cons (cons (buffer-file-name buffer) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
378 (file-attributes (buffer-file-name buffer))) |
c415cc48a084
(Info-insert-dir): Compute truename just once for each dir.
Richard M. Stallman <rms@gnu.org>
parents:
5146
diff
changeset
|
379 Info-dir-file-attributes)))))) |
3212
cd8f8468a190
(Info-insert-dir): Ignore duplicate directories.
Richard M. Stallman <rms@gnu.org>
parents:
3127
diff
changeset
|
380 (setq dirs (cdr dirs))) |
1979
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
381 |
6716
9ce2d1a2c155
(Info-find-node): Don't try to backstep if no history.
Karl Heuer <kwzh@gnu.org>
parents:
6624
diff
changeset
|
382 (or buffers |
9ce2d1a2c155
(Info-find-node): Don't try to backstep if no history.
Karl Heuer <kwzh@gnu.org>
parents:
6624
diff
changeset
|
383 (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
|
384 ;; 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
|
385 ;; 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
|
386 ;; 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
|
387 (setq buffer (car buffers) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
388 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
|
389 |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
390 ;; 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
|
391 ;; 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
|
392 ;; concatenation. |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
393 (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
|
394 (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
|
395 (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
|
396 default-directory)) |
0582c70595f1
* info.el (Info-directory-list): Doc fix; it is set according to
Jim Blandy <jimb@redhat.com>
parents:
1971
diff
changeset
|
397 |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
398 ;; 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
|
399 (while others |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
400 (let ((other (car others))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
401 ;; 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
|
402 (save-excursion |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
403 (set-buffer other) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
404 (goto-char (point-min)) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
405 ;; 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
|
406 (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
|
407 (let (beg nodename end) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
408 (forward-line 1) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
409 (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
|
410 (search-backward "\n\^_") |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
411 (search-forward "Node: ") |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
412 (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
|
413 (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
|
414 (beginning-of-line) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
415 (setq end (point)) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
416 (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
|
417 (setq others (cdr others))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
418 ;; 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
|
419 (re-search-forward "^\\* Menu:") |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
420 (forward-line 1) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
421 (let ((menu-items '("top")) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
422 (nodes nodes) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
423 (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
|
424 (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
|
425 (while nodes |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
426 (let ((nodename (car (car nodes)))) |
6537
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
427 (save-excursion |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
428 (or (member (downcase nodename) menu-items) |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
429 (re-search-forward (concat "^\\* " |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
430 (regexp-quote nodename) |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
431 "::") |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
432 end t) |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
433 (progn |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
434 (insert "* " nodename "::" "\n") |
f5ab0b6b9640
(Info-insert-dir): Add a save-excursion.
Richard M. Stallman <rms@gnu.org>
parents:
6339
diff
changeset
|
435 (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
|
436 (setq nodes (cdr nodes)))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
437 ;; 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
|
438 ;; 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
|
439 (while nodes |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
440 (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
|
441 (goto-char (point-min)) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
442 ;; 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
|
443 (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
|
444 (regexp-quote nodename) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
445 "[,\n\t]") |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
446 nil t) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
447 (progn |
6339
f0f62abb621b
(Info-insert-dir): Use printable escapes instead of embedding literal control
Karl Heuer <kwzh@gnu.org>
parents:
6121
diff
changeset
|
448 (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
|
449 (beginning-of-line)) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
450 ;; 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
|
451 (goto-char (point-max)) |
6339
f0f62abb621b
(Info-insert-dir): Use printable escapes instead of embedding literal control
Karl Heuer <kwzh@gnu.org>
parents:
6121
diff
changeset
|
452 (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
|
453 ;; 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
|
454 ;; into the menu in the like-named node in the main buffer. |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
455 (apply 'insert-buffer-substring (cdr (car nodes))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
456 (insert "\n")) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
457 (setq nodes (cdr nodes))) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
458 ;; 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
|
459 (while buffers |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
460 (kill-buffer (car buffers)) |
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
461 (setq buffers (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
|
462 (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
|
463 (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
|
464 |
325 | 465 (defun Info-read-subfile (nodepos) |
466 (set-buffer (marker-buffer Info-tag-table-marker)) | |
467 (goto-char (point-min)) | |
468 (search-forward "\n\^_") | |
469 (let (lastfilepos | |
470 lastfilename) | |
471 (forward-line 2) | |
472 (catch 'foo | |
473 (while (not (looking-at "\^_")) | |
474 (if (not (eolp)) | |
475 (let ((beg (point)) | |
476 thisfilepos thisfilename) | |
477 (search-forward ": ") | |
478 (setq thisfilename (buffer-substring beg (- (point) 2))) | |
479 (setq thisfilepos (read (current-buffer))) | |
480 ;; read in version 19 stops at the end of number. | |
481 ;; Advance to the next line. | |
482 (forward-line 1) | |
483 (if (> thisfilepos nodepos) | |
484 (throw 'foo t)) | |
485 (setq lastfilename thisfilename) | |
486 (setq lastfilepos thisfilepos)) | |
487 (forward-line 1)))) | |
488 (set-buffer (get-buffer "*info*")) | |
489 (or (equal Info-current-subfile lastfilename) | |
490 (let ((buffer-read-only nil)) | |
491 (setq buffer-file-name nil) | |
492 (widen) | |
493 (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
|
494 (info-insert-file-contents lastfilename) |
325 | 495 (set-buffer-modified-p nil) |
496 (setq Info-current-subfile lastfilename))) | |
497 (goto-char (point-min)) | |
498 (search-forward "\n\^_") | |
499 (+ (- nodepos lastfilepos) (point)))) | |
500 | |
501 ;; Select the info node that point is in. | |
502 (defun Info-select-node () | |
503 (save-excursion | |
504 ;; Find beginning of node. | |
505 (search-backward "\n\^_") | |
506 (forward-line 2) | |
507 ;; Get nodename spelled as it is in the node. | |
508 (re-search-forward "Node:[ \t]*") | |
509 (setq Info-current-node | |
510 (buffer-substring (point) | |
511 (progn | |
512 (skip-chars-forward "^,\t\n") | |
513 (point)))) | |
514 (Info-set-mode-line) | |
515 ;; Find the end of it, and narrow. | |
516 (beginning-of-line) | |
517 (let (active-expression) | |
518 (narrow-to-region (point) | |
519 (if (re-search-forward "\n[\^_\f]" nil t) | |
520 (prog1 | |
521 (1- (point)) | |
522 (if (looking-at "[\n\^_\f]*execute: ") | |
523 (progn | |
524 (goto-char (match-end 0)) | |
525 (setq active-expression | |
526 (read (current-buffer)))))) | |
527 (point-max))) | |
4261
f9599125f7f0
(Info-select-node): Run Info-selection-hook.
Richard M. Stallman <rms@gnu.org>
parents:
3844
diff
changeset
|
528 (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
|
529 (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
|
530 (run-hooks 'Info-selection-hook)))) |
325 | 531 |
532 (defun Info-set-mode-line () | |
533 (setq mode-line-buffer-identification | |
534 (concat | |
535 "Info: (" | |
536 (if Info-current-file | |
537 (file-name-nondirectory Info-current-file) | |
538 "") | |
539 ")" | |
540 (or Info-current-node "")))) | |
541 | |
542 ;; Go to an info node specified with a filename-and-nodename string | |
543 ;; of the sort that is found in pointers in nodes. | |
544 | |
545 (defun Info-goto-node (nodename) | |
546 "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
|
547 (interactive (list (Info-read-node-name "Goto node: "))) |
325 | 548 (let (filename) |
549 (string-match "\\s *\\((\\s *\\([^\t)]*\\)\\s *)\\s *\\|\\)\\(.*\\)" | |
550 nodename) | |
551 (setq filename (if (= (match-beginning 1) (match-end 1)) | |
552 "" | |
553 (substring nodename (match-beginning 2) (match-end 2))) | |
554 nodename (substring nodename (match-beginning 3) (match-end 3))) | |
555 (let ((trim (string-match "\\s *\\'" filename))) | |
556 (if trim (setq filename (substring filename 0 trim)))) | |
557 (let ((trim (string-match "\\s *\\'" nodename))) | |
558 (if trim (setq nodename (substring nodename 0 trim)))) | |
559 (Info-find-node (if (equal filename "") nil filename) | |
560 (if (equal nodename "") "Top" nodename)))) | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
561 |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
562 (defun Info-read-node-name (prompt &optional default) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
563 (let* ((completion-ignore-case t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
564 (nodename (completing-read prompt (Info-build-node-completions)))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
565 (if (equal nodename "") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
566 (or default |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
567 (Info-read-node-name prompt)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
568 nodename))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
569 |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
570 (defun Info-build-node-completions () |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
571 (or Info-current-file-completions |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
572 (let ((compl nil)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
573 (save-excursion |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
574 (save-restriction |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
575 (if (marker-buffer Info-tag-table-marker) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
576 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
577 (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
|
578 (widen) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
579 (goto-char Info-tag-table-marker) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
580 (while (re-search-forward "\nNode: \\(.*\\)\177" nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
581 (setq compl |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
582 (cons (list (buffer-substring (match-beginning 1) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
583 (match-end 1))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
584 compl)))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
585 (widen) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
586 (goto-char (point-min)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
587 (while (search-forward "\n\^_" nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
588 (forward-line 1) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
589 (let ((beg (point))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
590 (forward-line 1) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
591 (if (re-search-backward "Node: *\\([^,\n]*\\) *[,\n\t]" |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
592 beg t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
593 (setq compl |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
594 (cons (list (buffer-substring (match-beginning 1) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
595 (match-end 1))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
596 compl)))))))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
597 (setq Info-current-file-completions compl)))) |
325 | 598 |
540 | 599 (defun Info-restore-point (hl) |
600 "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
|
601 (while hl |
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
602 (if (and (equal (nth 0 (car hl)) Info-current-file) |
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
603 (equal (nth 1 (car hl)) Info-current-node)) |
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
604 (progn |
6121
a9caf92da1d3
(Info-restore-point): Don't wipe out hl before using it.
Karl Heuer <kwzh@gnu.org>
parents:
6049
diff
changeset
|
605 (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
|
606 (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
|
607 (setq hl (cdr hl))))) |
540 | 608 |
325 | 609 (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
|
610 "Default regexp for \\<Info-mode-map>\\[Info-search] command to search for.") |
325 | 611 |
612 (defun Info-search (regexp) | |
613 "Search for REGEXP, starting from point, and select node it's found in." | |
614 (interactive "sSearch (regexp): ") | |
615 (if (equal regexp "") | |
616 (setq regexp Info-last-search) | |
617 (setq Info-last-search regexp)) | |
618 (let ((found ()) current | |
619 (onode Info-current-node) | |
620 (ofile Info-current-file) | |
621 (opoint (point)) | |
622 (osubfile Info-current-subfile)) | |
623 (save-excursion | |
624 (save-restriction | |
625 (widen) | |
626 (if (null Info-current-subfile) | |
627 (progn (re-search-forward regexp) (setq found (point))) | |
628 (condition-case err | |
629 (progn (re-search-forward regexp) (setq found (point))) | |
630 (search-failed nil))))) | |
631 (if (not found) ;can only happen in subfile case -- else would have erred | |
632 (unwind-protect | |
633 (let ((list ())) | |
634 (set-buffer (marker-buffer Info-tag-table-marker)) | |
635 (goto-char (point-min)) | |
636 (search-forward "\n\^_\nIndirect:") | |
637 (save-restriction | |
638 (narrow-to-region (point) | |
639 (progn (search-forward "\n\^_") | |
640 (1- (point)))) | |
641 (goto-char (point-min)) | |
642 (search-forward (concat "\n" osubfile ": ")) | |
643 (beginning-of-line) | |
644 (while (not (eobp)) | |
645 (re-search-forward "\\(^.*\\): [0-9]+$") | |
646 (goto-char (+ (match-end 1) 2)) | |
647 (setq list (cons (cons (read (current-buffer)) | |
648 (buffer-substring (match-beginning 1) | |
649 (match-end 1))) | |
650 list)) | |
651 (goto-char (1+ (match-end 0)))) | |
652 (setq list (nreverse list) | |
653 current (car (car list)) | |
654 list (cdr list))) | |
655 (while list | |
656 (message "Searching subfile %s..." (cdr (car list))) | |
657 (Info-read-subfile (car (car list))) | |
658 (setq list (cdr list)) | |
659 (goto-char (point-min)) | |
660 (if (re-search-forward regexp nil t) | |
661 (setq found (point) list ()))) | |
662 (if found | |
663 (message "") | |
664 (signal 'search-failed (list regexp)))) | |
665 (if (not found) | |
666 (progn (Info-read-subfile opoint) | |
667 (goto-char opoint) | |
668 (Info-select-node))))) | |
669 (widen) | |
670 (goto-char found) | |
671 (Info-select-node) | |
672 (or (and (equal onode Info-current-node) | |
673 (equal ofile Info-current-file)) | |
674 (setq Info-history (cons (list ofile onode opoint) | |
675 Info-history))))) | |
676 | |
677 ;; Extract the value of the node-pointer named NAME. | |
678 ;; If there is none, use ERRORNAME in the error message; | |
679 ;; if ERRORNAME is nil, just return nil. | |
680 (defun Info-extract-pointer (name &optional errorname) | |
681 (save-excursion | |
682 (goto-char (point-min)) | |
683 (forward-line 1) | |
684 (if (re-search-backward (concat name ":") nil t) | |
685 (progn | |
686 (goto-char (match-end 0)) | |
687 (Info-following-node-name)) | |
688 (if (eq errorname t) | |
689 nil | |
690 (error (concat "Node has no " (capitalize (or errorname name)))))))) | |
691 | |
1971
b540866e8a79
(Info-insert-dir): Make menu items in Top node
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
692 ;; 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
|
693 ;; 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
|
694 ;; saying which chas may appear in the node name. |
325 | 695 (defun Info-following-node-name (&optional allowedchars) |
696 (skip-chars-forward " \t") | |
697 (buffer-substring | |
698 (point) | |
699 (progn | |
700 (while (looking-at (concat "[" (or allowedchars "^,\t\n") "]")) | |
701 (skip-chars-forward (concat (or allowedchars "^,\t\n") "(")) | |
702 (if (looking-at "(") | |
703 (skip-chars-forward "^)"))) | |
704 (skip-chars-backward " ") | |
705 (point)))) | |
706 | |
707 (defun Info-next () | |
708 "Go to the next node of this node." | |
709 (interactive) | |
710 (Info-goto-node (Info-extract-pointer "next"))) | |
711 | |
712 (defun Info-prev () | |
713 "Go to the previous node of this node." | |
714 (interactive) | |
715 (Info-goto-node (Info-extract-pointer "prev[ious]*" "previous"))) | |
716 | |
717 (defun Info-up () | |
718 "Go to the superior node of this node." | |
719 (interactive) | |
540 | 720 (Info-goto-node (Info-extract-pointer "up")) |
721 (Info-restore-point Info-history)) | |
325 | 722 |
723 (defun Info-last () | |
724 "Go back to the last node visited." | |
725 (interactive) | |
726 (or Info-history | |
727 (error "This is the first Info node you looked at")) | |
728 (let (filename nodename opoint) | |
729 (setq filename (car (car Info-history))) | |
730 (setq nodename (car (cdr (car Info-history)))) | |
731 (setq opoint (car (cdr (cdr (car Info-history))))) | |
732 (setq Info-history (cdr Info-history)) | |
733 (Info-find-node filename nodename) | |
734 (setq Info-history (cdr Info-history)) | |
735 (goto-char opoint))) | |
736 | |
737 (defun Info-directory () | |
738 "Go to the Info directory node." | |
739 (interactive) | |
740 (Info-find-node "dir" "top")) | |
741 | |
742 (defun Info-follow-reference (footnotename) | |
743 "Follow cross reference named NAME to the node it refers to. | |
744 NAME may be an abbreviation of the reference name." | |
745 (interactive | |
746 (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
|
747 completions default alt-default (start-point (point)) str i bol eol) |
325 | 748 (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
|
749 ;; 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
|
750 (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
|
751 (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
|
752 (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
|
753 (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
|
754 |
325 | 755 (goto-char (point-min)) |
756 (while (re-search-forward "\\*note[ \n\t]*\\([^:]*\\):" nil t) | |
757 (setq str (buffer-substring | |
758 (match-beginning 1) | |
759 (1- (point)))) | |
760 ;; See if this one should be the default. | |
761 (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
|
762 (<= (match-beginning 0) start-point) |
325 | 763 (<= start-point (point)) |
764 (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
|
765 ;; 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
|
766 (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
|
767 (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
|
768 (<= (point) eol)) |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
769 (setq alt-default t)) |
325 | 770 (setq i 0) |
771 (while (setq i (string-match "[ \n\t]+" str i)) | |
772 (setq str (concat (substring str 0 i) " " | |
773 (substring str (match-end 0)))) | |
774 (setq i (1+ i))) | |
775 ;; Record as a completion and perhaps as default. | |
776 (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
|
777 (if (eq alt-default t) (setq alt-default str)) |
325 | 778 (setq completions |
779 (cons (cons str nil) | |
780 completions)))) | |
5555
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
781 ;; 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
|
782 (or default |
38f8bfd91cca
(Info-follow-reference): If point is not in middle of a
Richard M. Stallman <rms@gnu.org>
parents:
5482
diff
changeset
|
783 (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
|
784 ;; 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
|
785 (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
|
786 (setq default (car (car completions)))) |
325 | 787 (if completions |
3565
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
788 (let ((input (completing-read (if default |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
789 (concat "Follow reference named: (" |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
790 default ") ") |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
791 "Follow reference named: ") |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
792 completions nil t))) |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
793 (list (if (equal input "") |
bd87ecca04f6
(Info-follow-reference): Fix completion defaulting.
Richard M. Stallman <rms@gnu.org>
parents:
3451
diff
changeset
|
794 default input))) |
325 | 795 (error "No cross-references in this node")))) |
796 (let (target beg i (str (concat "\\*note " footnotename))) | |
797 (while (setq i (string-match " " str i)) | |
798 (setq str (concat (substring str 0 i) "[ \t\n]+" (substring str (1+ i)))) | |
799 (setq i (+ i 6))) | |
800 (save-excursion | |
801 (goto-char (point-min)) | |
802 (or (re-search-forward str nil t) | |
803 (error "No cross-reference named %s" footnotename)) | |
804 (goto-char (+ (match-beginning 0) 5)) | |
805 (setq target | |
806 (Info-extract-menu-node-name "Bad format cross reference" t))) | |
807 (while (setq i (string-match "[ \t\n]+" target i)) | |
808 (setq target (concat (substring target 0 i) " " | |
809 (substring target (match-end 0)))) | |
810 (setq i (+ i 1))) | |
811 (Info-goto-node target))) | |
812 | |
813 (defun Info-extract-menu-node-name (&optional errmessage multi-line) | |
814 (skip-chars-forward " \t\n") | |
815 (let ((beg (point)) | |
816 str i) | |
817 (skip-chars-forward "^:") | |
818 (forward-char 1) | |
819 (setq str | |
820 (if (looking-at ":") | |
821 (buffer-substring beg (1- (point))) | |
822 (skip-chars-forward " \t\n") | |
823 (Info-following-node-name (if multi-line "^.,\t" "^.,\t\n")))) | |
824 (while (setq i (string-match "\n" str i)) | |
825 (aset str i ?\ )) | |
826 str)) | |
827 | |
1484
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
828 ;; No one calls this and Info-menu-item doesn't exist. |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
829 ;;(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
|
830 ;; (while list |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
831 ;; (Info-menu-item (car list)) |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
832 ;; (setq list (cdr list)))) |
325 | 833 |
834 (defun Info-menu (menu-item) | |
835 "Go to node for menu item named (or abbreviated) NAME. | |
836 Completion is allowed, and the menu item point is on is the default." | |
837 (interactive | |
838 (let ((completions '()) | |
839 ;; If point is within a menu item, use that item as the default | |
840 (default nil) | |
841 (p (point)) | |
842 (last nil)) | |
843 (save-excursion | |
844 (goto-char (point-min)) | |
845 (if (not (search-forward "\n* menu:" nil t)) | |
846 (error "No menu in this node")) | |
847 (while (re-search-forward | |
848 "\n\\* \\([^:\t\n]*\\):" nil t) | |
849 (if (and (null default) | |
850 (prog1 (if last (< last p) nil) | |
851 (setq last (match-beginning 0))) | |
852 (<= p last)) | |
853 (setq default (car (car completions)))) | |
854 (setq completions (cons (cons (buffer-substring | |
855 (match-beginning 1) | |
856 (match-end 1)) | |
857 (match-beginning 1)) | |
858 completions))) | |
859 (if (and (null default) last | |
860 (< last p) | |
861 (<= p (progn (end-of-line) (point)))) | |
862 (setq default (car (car completions))))) | |
863 (let ((item nil)) | |
864 (while (null item) | |
865 (setq item (let ((completion-ignore-case t)) | |
866 (completing-read (if default | |
867 (format "Menu item (default %s): " | |
868 default) | |
869 "Menu item: ") | |
870 completions nil t))) | |
540 | 871 ;; we rely on the fact that completing-read accepts an input |
872 ;; of "" even when the require-match argument is true and "" | |
873 ;; is not a valid possibility | |
325 | 874 (if (string= item "") |
875 (if default | |
876 (setq item default) | |
877 ;; ask again | |
878 (setq item nil)))) | |
879 (list item)))) | |
880 ;; there is a problem here in that if several menu items have the same | |
881 ;; name you can only go to the node of the first with this command. | |
882 (Info-goto-node (Info-extract-menu-item menu-item))) | |
883 | |
884 (defun Info-extract-menu-item (menu-item) | |
885 (setq menu-item (regexp-quote menu-item)) | |
886 (save-excursion | |
887 (goto-char (point-min)) | |
888 (or (search-forward "\n* menu:" nil t) | |
889 (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
|
890 (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
|
891 (re-search-forward (concat "\n\\* " menu-item) nil t) |
325 | 892 (error "No such item in menu")) |
893 (beginning-of-line) | |
894 (forward-char 2) | |
895 (Info-extract-menu-node-name))) | |
896 | |
897 ;; If COUNT is nil, use the last item in the menu. | |
898 (defun Info-extract-menu-counting (count) | |
899 (save-excursion | |
900 (goto-char (point-min)) | |
901 (or (search-forward "\n* menu:" nil t) | |
902 (error "No menu in this node")) | |
903 (if count | |
904 (or (search-forward "\n* " nil t count) | |
905 (error "Too few items in menu")) | |
906 (while (search-forward "\n* " nil t) | |
907 nil)) | |
908 (Info-extract-menu-node-name))) | |
909 | |
1666
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
910 (defun Info-nth-menu-item () |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
911 "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
|
912 N is the digit argument used to invoke this command." |
325 | 913 (interactive) |
1666
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
914 (Info-goto-node |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
915 (Info-extract-menu-counting |
c12fbca81b63
(Info-{first,second,third,fourth,fifth}-menu-item): Removed.
Roland McGrath <roland@gnu.org>
parents:
1613
diff
changeset
|
916 (- (aref (this-command-keys) (1- (length (this-command-keys)))) ?0)))) |
325 | 917 |
918 (defun Info-top-node () | |
919 "Go to the Top node of this file." | |
920 (interactive) | |
921 (Info-goto-node "Top")) | |
922 | |
923 (defun Info-final-node () | |
924 "Go to the final node in this file." | |
925 (interactive) | |
926 (Info-goto-node "Top") | |
927 (let (Info-history) | |
928 ;; Go to the last node in the menu of Top. | |
929 (Info-goto-node (Info-extract-menu-counting nil)) | |
930 ;; If the last node in the menu is not last in pointer structure, | |
931 ;; move forward until we can't go any farther. | |
932 (while (Info-forward-node t t) nil) | |
933 ;; Then keep moving down to last subnode, unless we reach an index. | |
934 (while (and (not (string-match "\\<index\\>" Info-current-node)) | |
935 (save-excursion (search-forward "\n* Menu:" nil t))) | |
936 (Info-goto-node (Info-extract-menu-counting nil))))) | |
937 | |
938 (defun Info-forward-node (&optional not-down no-error) | |
939 "Go forward one node, considering all nodes as forming one sequence." | |
940 (interactive) | |
941 (goto-char (point-min)) | |
942 (forward-line 1) | |
943 ;; three possibilities, in order of priority: | |
944 ;; 1. next node is in a menu in this node (but not in an index) | |
945 ;; 2. next node is next at same level | |
946 ;; 3. next node is up and next | |
947 (cond ((and (not not-down) | |
948 (save-excursion (search-forward "\n* menu:" nil t)) | |
949 (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
|
950 (Info-goto-node (Info-extract-menu-counting 1)) |
325 | 951 t) |
952 ((save-excursion (search-backward "next:" nil t)) | |
953 (Info-next) | |
954 t) | |
955 ((and (save-excursion (search-backward "up:" nil t)) | |
956 (not (equal (downcase (Info-extract-pointer "up")) "top"))) | |
957 (let ((old-node Info-current-node)) | |
958 (Info-up) | |
959 (let (Info-history success) | |
960 (unwind-protect | |
961 (setq success (Info-forward-node t no-error)) | |
962 (or success (Info-goto-node old-node)))))) | |
963 (no-error nil) | |
964 (t (error "No pointer forward from this node")))) | |
965 | |
966 (defun Info-backward-node () | |
967 "Go backward one node, considering all nodes as forming one sequence." | |
968 (interactive) | |
969 (let ((prevnode (Info-extract-pointer "prev[ious]*" t)) | |
970 (upnode (Info-extract-pointer "up" t))) | |
971 (cond ((and upnode (string-match "(" upnode)) | |
972 (error "First node in file")) | |
973 ((and upnode (or (null prevnode) | |
974 (equal (downcase prevnode) (downcase upnode)))) | |
975 (Info-up)) | |
976 (prevnode | |
977 ;; If we move back at the same level, | |
978 ;; go down to find the last subnode*. | |
979 (Info-prev) | |
980 (let (Info-history) | |
981 (while (and (not (string-match "\\<index\\>" Info-current-node)) | |
982 (save-excursion (search-forward "\n* Menu:" nil t))) | |
983 (Info-goto-node (Info-extract-menu-counting nil))))) | |
984 (t | |
985 (error "No pointer backward from this node"))))) | |
986 | |
987 (defun Info-exit () | |
988 "Exit Info by selecting some other buffer." | |
989 (interactive) | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
990 (if Info-standalone |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
991 (save-buffers-kill-emacs) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
992 (switch-to-buffer (prog1 (other-buffer (current-buffer)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
993 (bury-buffer (current-buffer)))))) |
325 | 994 |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
995 (defun Info-next-menu-item () |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
996 (interactive) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
997 (save-excursion |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
998 (forward-line -1) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
999 (search-forward "\n* menu:" nil t) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1000 (or (search-forward "\n* " nil t) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1001 (error "No more items in menu")) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1002 (Info-goto-node (Info-extract-menu-node-name)))) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1003 |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1004 (defun Info-last-menu-item () |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1005 (interactive) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1006 (save-excursion |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1007 (forward-line 1) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1008 (search-backward "\n* menu:" nil t) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1009 (or (search-backward "\n* " nil t) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1010 (error "No previous items in menu")) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1011 (Info-goto-node (Info-extract-menu-node-name)))) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1012 |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1013 (defmacro Info-no-error (&rest body) |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1014 (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
|
1015 |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1016 (defun Info-next-preorder () |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1017 "Go to the next node, popping up a level if there is none." |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1018 (interactive) |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1019 (cond ((Info-no-error (Info-next-menu-item)) ) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1020 ((Info-no-error (Info-up)) (forward-line 1)) |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1021 (t (error "No more nodes")))) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1022 |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1023 (defun Info-last-preorder () |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1024 "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
|
1025 (interactive) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1026 (cond ((Info-no-error (Info-last-menu-item)) ) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1027 ((Info-no-error (Info-up)) (forward-line -1)) |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1028 (t (error "No previous nodes")))) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1029 |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1030 (defun Info-scroll-up () |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1031 "Read the next screen. If end of buffer is visible, go to next entry." |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1032 (interactive) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1033 (if (pos-visible-in-window-p (point-max)) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1034 (Info-next-preorder) |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1035 (scroll-up))) |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1036 |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1037 (defun Info-scroll-down () |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1038 "Read the previous screen. If start of buffer is visible, go to last entry." |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1039 (interactive) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1040 (if (pos-visible-in-window-p (point-min)) |
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1041 (Info-last-preorder) |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1042 (scroll-down))) |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1043 |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1044 (defun Info-next-reference () |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1045 "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
|
1046 (interactive) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1047 (let ((pat "\\*note[ \n\t]*\\([^:]*\\):\\|^\\* .*:") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1048 (old-pt (point))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1049 (or (eobp) (forward-char 1)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1050 (or (re-search-forward pat nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1051 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1052 (goto-char (point-min)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1053 (or (re-search-forward pat nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1054 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1055 (goto-char old-pt) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1056 (error "No cross references in this node"))))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1057 (goto-char (match-beginning 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1058 (if (looking-at "\\* Menu:") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1059 (Info-next-reference)))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1060 |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1061 (defun Info-prev-reference () |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1062 "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
|
1063 (interactive) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1064 (let ((pat "\\*note[ \n\t]*\\([^:]*\\):\\|^\\* .*:") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1065 (old-pt (point))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1066 (or (re-search-backward pat nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1067 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1068 (goto-char (point-max)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1069 (or (re-search-backward pat nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1070 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1071 (goto-char old-pt) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1072 (error "No cross references in this node"))))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1073 (goto-char (match-beginning 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1074 (if (looking-at "\\* Menu:") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1075 (Info-prev-reference)))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1076 |
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
|
1077 (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
|
1078 "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
|
1079 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
|
1080 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
|
1081 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
|
1082 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
|
1083 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
|
1084 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
|
1085 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
|
1086 (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
|
1087 (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
|
1088 (rnode 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
|
1089 (pattern (format "\n\\* \\([^\n:]*%s[^\n:]*\\):[ \t]*\\([^.\n]*\\)\\.[ t]*\\([0-9]*\\)" |
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
|
1090 (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
|
1091 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
|
1092 (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
|
1093 (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
|
1094 (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
|
1095 (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
|
1096 (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
|
1097 (goto-char (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
|
1098 (let ((Info-keeping-history 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
|
1099 (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
|
1100 (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
|
1101 (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
|
1102 (exact 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
|
1103 (Info-keeping-history 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
|
1104 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
|
1105 (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
|
1106 (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
|
1107 (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
|
1108 (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
|
1109 (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
|
1110 (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
|
1111 (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
|
1112 (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
|
1113 (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
|
1114 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
|
1115 (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
|
1116 (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
|
1117 (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
|
1118 (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
|
1119 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
|
1120 (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
|
1121 (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
|
1122 (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
|
1123 (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
|
1124 (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
|
1125 (Info-last) |
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
|
1126 (error "No \"%s\" in 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
|
1127 ;; 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
|
1128 (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
|
1129 (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
|
1130 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
|
1131 (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
|
1132 (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
|
1133 |
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
|
1134 (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
|
1135 "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
|
1136 (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
|
1137 (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
|
1138 (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
|
1139 (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
|
1140 (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
|
1141 (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
|
1142 (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
|
1143 (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
|
1144 (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
|
1145 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
|
1146 (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
|
1147 (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
|
1148 (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
|
1149 (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
|
1150 (let ((name (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
|
1151 (if (or (re-search-forward (format |
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
|
1152 "\\(Function\\|Command\\): %s\\( \\|$\\)" |
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
|
1153 (regexp-quote name)) 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
|
1154 (search-forward (format "`%s'" name) 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
|
1155 (and (string-match "\\`.*\\( (.*)\\)\\'" 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
|
1156 (search-forward |
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
|
1157 (format "`%s'" (substring name 0 (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
|
1158 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
|
1159 (search-forward name 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
|
1160 (beginning-of-line) |
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
|
1161 (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
|
1162 (message "Found \"%s\" in %s. %s" |
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
|
1163 (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
|
1164 (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
|
1165 (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
|
1166 "(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
|
1167 "(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
|
1168 |
325 | 1169 (defun Info-undefined () |
1170 "Make command be undefined in Info." | |
1171 (interactive) | |
1172 (ding)) | |
1173 | |
1174 (defun Info-help () | |
1175 "Enter the Info tutorial." | |
1176 (interactive) | |
1177 (delete-other-windows) | |
1178 (Info-find-node "info" | |
1179 (if (< (window-height) 23) | |
1180 "Help-Small-Screen" | |
1181 "Help"))) | |
1182 | |
1183 (defun Info-summary () | |
1184 "Display a brief summary of all Info commands." | |
1185 (interactive) | |
1186 (save-window-excursion | |
1187 (switch-to-buffer "*Help*") | |
1188 (erase-buffer) | |
1189 (insert (documentation 'Info-mode)) | |
1190 (goto-char (point-min)) | |
1191 (let (ch flag) | |
1192 (while (progn (setq flag (not (pos-visible-in-window-p (point-max)))) | |
1193 (message (if flag "Type Space to see more" | |
1194 "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
|
1195 (if (not (eq ?\ (setq ch (read-event)))) |
1821
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1667
diff
changeset
|
1196 (progn (setq unread-command-events (list ch)) nil) |
325 | 1197 flag)) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1198 (scroll-up))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1199 (bury-buffer "*Help*"))) |
325 | 1200 |
1201 (defun Info-get-token (pos start all &optional errorstring) | |
1202 "Return the token around POS, | |
1203 POS must be somewhere inside the token | |
1204 START is a regular expression which will match the | |
1205 beginning of the tokens delimited string | |
1206 ALL is a regular expression with a single | |
1207 parenthized subpattern which is the token to be | |
1208 returned. E.g. '{\(.*\)}' would return any string | |
1209 enclosed in braces around POS. | |
1210 SIG optional fourth argument, controls action on no match | |
1211 nil: return nil | |
1212 t: beep | |
1213 a string: signal an error, using that string." | |
1214 (save-excursion | |
1215 (goto-char pos) | |
1216 (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
|
1217 (let (found) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1218 (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
|
1219 (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
|
1220 (> (match-end 0) pos)))))) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1221 (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
|
1222 (> (match-end 0) pos)) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1223 (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
|
1224 (cond ((null errorstring) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1225 nil) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1226 ((eq errorstring t) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1227 (beep) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1228 nil) |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1229 (t |
1795290d0fc8
(Info-get-token): Check that thesecond search succeeded.
Richard M. Stallman <rms@gnu.org>
parents:
3330
diff
changeset
|
1230 (error "No %s around position %d" errorstring pos))))))) |
325 | 1231 |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1232 (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
|
1233 "\\<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
|
1234 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
|
1235 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
|
1236 (interactive "e") |
1484
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1237 (let* ((start (event-start click)) |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1238 (window (car start)) |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1239 (pos (car (cdr start)))) |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1240 (select-window window) |
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1241 (goto-char pos)) |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1242 (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
|
1243 (save-excursion (forward-line 1) (eobp)) |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1244 (Info-next-preorder))) |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1245 |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1246 (defun Info-follow-nearest-node () |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1247 "\\<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
|
1248 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
|
1249 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
|
1250 (interactive) |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1251 (or (Info-try-follow-nearest-node) |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1252 (Info-next-preorder))) |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1253 |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1254 ;; Common subroutine. |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1255 (defun Info-try-follow-nearest-node () |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1256 "Follow a node reference near point. Return non-nil if successful." |
325 | 1257 (let (node) |
1258 (cond | |
7007
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1259 ((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
|
1260 "\\*note[ \n]\\([^:]*\\):")) |
325 | 1261 (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
|
1262 ((setq node (Info-get-token (point) "\\* " "\\* \\([^:]*\\)::")) |
325 | 1263 (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
|
1264 ((setq node (Info-get-token (point) "\\* " "\\* \\([^:]*\\):")) |
325 | 1265 (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
|
1266 ((setq node (Info-get-token (point) "Up: " "Up: \\([^,\n\t]*\\)")) |
325 | 1267 (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
|
1268 ((setq node (Info-get-token (point) "Next: " "Next: \\([^,\n\t]*\\)")) |
325 | 1269 (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
|
1270 ((setq node (Info-get-token (point) "File: " "File: \\([^,\n\t]*\\)")) |
325 | 1271 (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
|
1272 ((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
|
1273 (Info-goto-node node))) |
52b0ebfd3191
(Info-next-preorder): Don't follow footnotes here.
Karl Heuer <kwzh@gnu.org>
parents:
6716
diff
changeset
|
1274 node)) |
325 | 1275 |
1276 (defvar Info-mode-map nil | |
1277 "Keymap containing Info commands.") | |
1278 (if Info-mode-map | |
1279 nil | |
1280 (setq Info-mode-map (make-keymap)) | |
1281 (suppress-keymap Info-mode-map) | |
1282 (define-key Info-mode-map "." 'beginning-of-buffer) | |
929
27262a6c632a
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
846
diff
changeset
|
1283 (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
|
1284 (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
|
1285 (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
|
1286 (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
|
1287 (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
|
1288 (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
|
1289 (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
|
1290 (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
|
1291 (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
|
1292 (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
|
1293 (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
|
1294 (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
|
1295 (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
|
1296 (define-key Info-mode-map "0" 'undefined) |
325 | 1297 (define-key Info-mode-map "?" 'Info-summary) |
1298 (define-key Info-mode-map "]" 'Info-forward-node) | |
1299 (define-key Info-mode-map "[" 'Info-backward-node) | |
1300 (define-key Info-mode-map "<" 'Info-top-node) | |
1301 (define-key Info-mode-map ">" 'Info-final-node) | |
1302 (define-key Info-mode-map "b" 'beginning-of-buffer) | |
1303 (define-key Info-mode-map "d" 'Info-directory) | |
1304 (define-key Info-mode-map "e" 'Info-edit) | |
1305 (define-key Info-mode-map "f" 'Info-follow-reference) | |
1306 (define-key Info-mode-map "g" 'Info-goto-node) | |
1307 (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
|
1308 (define-key Info-mode-map "i" 'Info-index) |
325 | 1309 (define-key Info-mode-map "l" 'Info-last) |
1310 (define-key Info-mode-map "m" 'Info-menu) | |
1311 (define-key Info-mode-map "n" 'Info-next) | |
1312 (define-key Info-mode-map "p" 'Info-prev) | |
1313 (define-key Info-mode-map "q" 'Info-exit) | |
1314 (define-key Info-mode-map "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
|
1315 (define-key Info-mode-map "t" 'Info-top-node) |
325 | 1316 (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
|
1317 (define-key Info-mode-map "," 'Info-index-next) |
930
1dac458b5117
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
929
diff
changeset
|
1318 (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
|
1319 (define-key Info-mode-map [mouse-2] 'Info-mouse-follow-nearest-node) |
540 | 1320 ) |
325 | 1321 |
1322 ;; Info mode is suitable only for specially formatted data. | |
1323 (put 'info-mode 'mode-class 'special) | |
1324 | |
1325 (defun Info-mode () | |
1326 "\\<Info-mode-map> | |
1327 Info mode provides commands for browsing through the Info documentation tree. | |
1328 Documentation in Info is divided into \"nodes\", each of which discusses | |
1329 one topic and contains references to other nodes which discuss related | |
1330 topics. Info has commands to follow the references and show you other nodes. | |
1331 | |
1332 \\[Info-help] Invoke the Info tutorial. | |
1333 | |
1334 Selecting other nodes: | |
1335 \\[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
|
1336 \\[Info-prev] Move to the \"previous\" node of this node. |
325 | 1337 \\[Info-up] Move \"up\" from this node. |
1338 \\[Info-menu] Pick menu item specified by name (or abbreviation). | |
1339 Picking a menu item causes another node to be selected. | |
540 | 1340 \\[Info-directory] Go to the Info directory node. |
325 | 1341 \\[Info-follow-reference] Follow a cross reference. Reads name of reference. |
1342 \\[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
|
1343 \\[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
|
1344 \\[Info-index-next] (comma) Move to the next match from a previous `i' command. |
325 | 1345 |
1346 Moving within a node: | |
5041 | 1347 \\[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
|
1348 already visible, try to go to the next menu entry, or up if there is none. |
5041 | 1349 \\[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
|
1350 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
|
1351 \\[beginning-of-buffer] Go to beginning of node. |
325 | 1352 |
1353 Advanced commands: | |
1354 \\[Info-exit] Quit Info: reselect previously selected buffer. | |
1355 \\[Info-edit] Edit contents of selected node. | |
1356 1 Pick first item in node's menu. | |
1357 2, 3, 4, 5 Pick second ... fifth item in node's menu. | |
1358 \\[Info-goto-node] Move to node specified by name. | |
1359 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
|
1360 \\[universal-argument] \\[info] Move to new Info file with completion. |
325 | 1361 \\[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
|
1362 and select the node in which the next occurrence is found. |
1dac458b5117
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
929
diff
changeset
|
1363 \\[Info-next-preorder] Next-preorder; that is, try to go to the next menu item, |
1dac458b5117
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
929
diff
changeset
|
1364 and if that fails try to move up, and if that fails, tell user |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1365 he/she is done reading. |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1366 \\[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
|
1367 \\[Info-prev-reference] Move cursor to previous cross-reference or menu item." |
325 | 1368 (kill-all-local-variables) |
1369 (setq major-mode 'Info-mode) | |
1370 (setq mode-name "Info") | |
1371 (use-local-map Info-mode-map) | |
1372 (set-syntax-table text-mode-syntax-table) | |
1373 (setq local-abbrev-table text-mode-abbrev-table) | |
1374 (setq case-fold-search t) | |
1375 (setq buffer-read-only t) | |
1376 (make-local-variable 'Info-current-file) | |
1377 (make-local-variable 'Info-current-subfile) | |
1378 (make-local-variable 'Info-current-node) | |
1379 (make-local-variable 'Info-tag-table-marker) | |
1380 (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
|
1381 (make-local-variable 'Info-index-alternatives) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1382 (if (fboundp 'make-face) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1383 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1384 (make-face 'info-node) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1385 (make-face 'info-menu-5) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1386 (make-face 'info-xref) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1387 (or (face-differs-from-default-p 'info-node) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1388 (if (face-differs-from-default-p 'bold-italic) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1389 (copy-face 'bold-italic 'info-node) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1390 (copy-face 'bold 'info-node))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1391 (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
|
1392 (set-face-underline-p 'info-menu-5 t)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1393 (or (face-differs-from-default-p 'info-xref) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1394 (copy-face 'bold 'info-xref))) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1395 (setq Info-fontify nil)) |
325 | 1396 (Info-set-mode-line) |
1397 (run-hooks 'Info-mode-hook)) | |
1398 | |
1399 (defvar Info-edit-map nil | |
1400 "Local keymap used within `e' command of Info.") | |
1401 (if Info-edit-map | |
1402 nil | |
1403 (setq Info-edit-map (nconc (make-sparse-keymap) text-mode-map)) | |
1404 (define-key Info-edit-map "\C-c\C-c" 'Info-cease-edit)) | |
1405 | |
1406 ;; Info-edit mode is suitable only for specially formatted data. | |
1407 (put 'info-edit-mode 'mode-class 'special) | |
1408 | |
1409 (defun Info-edit-mode () | |
1410 "Major mode for editing the contents of an Info node. | |
1477 | 1411 Like text mode with the addition of `Info-cease-edit' |
325 | 1412 which returns to Info mode for browsing. |
1413 \\{Info-edit-map}" | |
1414 ) | |
1415 | |
1416 (defun Info-edit () | |
1417 "Edit the contents of this Info node. | |
1418 Allowed only if variable `Info-enable-edit' is non-nil." | |
1419 (interactive) | |
1420 (or Info-enable-edit | |
1421 (error "Editing info nodes is not enabled")) | |
1422 (use-local-map Info-edit-map) | |
1423 (setq major-mode 'Info-edit-mode) | |
1424 (setq mode-name "Info Edit") | |
1425 (kill-local-variable 'mode-line-buffer-identification) | |
1426 (setq buffer-read-only nil) | |
1427 ;; Make mode line update. | |
1428 (set-buffer-modified-p (buffer-modified-p)) | |
1429 (message (substitute-command-keys | |
5091
624596e9c5d1
(Info-edit): Use proper map in substitute-command-keys.
Richard M. Stallman <rms@gnu.org>
parents:
5041
diff
changeset
|
1430 "Editing: Type \\<Info-edit-map>\\[Info-cease-edit] to return to info"))) |
325 | 1431 |
1432 (defun Info-cease-edit () | |
1433 "Finish editing Info node; switch back to Info proper." | |
1434 (interactive) | |
1435 ;; Do this first, so nothing has changed if user C-g's at query. | |
1436 (and (buffer-modified-p) | |
1437 (y-or-n-p "Save the file? ") | |
1438 (save-buffer)) | |
1439 (use-local-map Info-mode-map) | |
1440 (setq major-mode 'Info-mode) | |
1441 (setq mode-name "Info") | |
1442 (Info-set-mode-line) | |
1443 (setq buffer-read-only t) | |
1444 ;; Make mode line update. | |
1445 (set-buffer-modified-p (buffer-modified-p)) | |
1446 (and (marker-position Info-tag-table-marker) | |
1447 (buffer-modified-p) | |
1448 (message "Tags may have changed. Use Info-tagify if necessary"))) | |
359 | 1449 |
1450 (defun Info-find-emacs-command-nodes (command) | |
1451 "Return a list of locations documenting COMMAND in the Emacs Info manual. | |
1452 The locations are of the format used in Info-history, i.e. | |
1453 \(FILENAME NODENAME BUFFERPOS\)." | |
1454 (require 'info) | |
1455 (let ((where '()) | |
1456 (cmd-desc (concat "^\\* " (regexp-quote (symbol-name command)) | |
1457 ":\\s *\\(.*\\)\\.$"))) | |
1458 (save-excursion | |
1459 (Info-find-node "emacs" "Command Index") | |
1460 ;; Take the index node off the Info history. | |
1461 (setq Info-history (cdr Info-history)) | |
1462 (goto-char (point-max)) | |
1463 (while (re-search-backward cmd-desc nil t) | |
1464 (setq where (cons (list Info-current-file | |
1465 (buffer-substring | |
1466 (match-beginning 1) | |
1467 (match-end 1)) | |
1468 0) | |
1469 where))) | |
1470 where))) | |
1471 | |
1472 ;;;###autoload | |
1473 (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
|
1474 "Go to the Info node in the Emacs manual for command COMMAND. |
5e9224dac452
(Info-goto-emacs-command-node, Info-goto-emacs-key-command-node): Doc fix.
Roland McGrath <roland@gnu.org>
parents:
4410
diff
changeset
|
1475 The command is found by looking up in Emacs manual's Command Index." |
359 | 1476 (interactive "CFind documentation for command: ") |
1477 (or (commandp command) | |
1478 (signal 'wrong-type-argument (list 'commandp command))) | |
1479 (let ((where (Info-find-emacs-command-nodes command))) | |
1480 (if where | |
1481 (let ((num-matches (length where))) | |
1482 ;; Get Info running, and pop to it in another window. | |
1483 (save-window-excursion | |
1484 (info)) | |
1485 (pop-to-buffer "*info*") | |
1486 (Info-find-node (car (car where)) | |
1487 (car (cdr (car where)))) | |
1488 (if (> num-matches 1) | |
1489 (progn | |
1490 ;; Info-find-node already pushed (car where) onto | |
1491 ;; Info-history. Put the other nodes that were found on | |
1492 ;; the history. | |
1493 (setq Info-history (nconc (cdr where) Info-history)) | |
1494 (message (substitute-command-keys | |
6049
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
1495 "Found %d other entr%s. Use \\[Info-last] to see %s.") |
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
1496 (1- num-matches) |
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
1497 (if (> num-matches 2) "ies" "y") |
32df2b4d67cf
(Info-build-node-completions): Add a call to widen.
Richard M. Stallman <rms@gnu.org>
parents:
5555
diff
changeset
|
1498 (if (> num-matches 2) "them" "it"))))) |
359 | 1499 (error "Couldn't find documentation for %s." command)))) |
1500 | |
1501 ;;;###autoload | |
1502 (defun Info-goto-emacs-key-command-node (key) | |
1503 "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
|
1504 Interactively, if the binding is execute-extended-command, a command is read. |
5e9224dac452
(Info-goto-emacs-command-node, Info-goto-emacs-key-command-node): Doc fix.
Roland McGrath <roland@gnu.org>
parents:
4410
diff
changeset
|
1505 The command is found by looking up in Emacs manual's Command Index." |
359 | 1506 (interactive "kFind documentation for key:") |
1507 (let ((command (key-binding key))) | |
1508 (cond ((null command) | |
1484
6c2a714566d3
Rename buffer-flush-undo to buffer-disable-undo.
Richard M. Stallman <rms@gnu.org>
parents:
1477
diff
changeset
|
1509 (message "%s is undefined" (key-description key))) |
359 | 1510 ((and (interactive-p) |
1511 (eq command 'execute-extended-command)) | |
1512 (Info-goto-emacs-command-node | |
1513 (read-command "Find documentation for command: "))) | |
1514 (t | |
1515 (Info-goto-emacs-command-node command))))) | |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1516 |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1517 (defun Info-fontify-node () |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1518 (save-excursion |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1519 (let ((buffer-read-only nil)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1520 (goto-char (point-min)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1521 (if (looking-at "^File: [^,: \t]+,?[ \t]+") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1522 (progn |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1523 (goto-char (match-end 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1524 (while |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1525 (looking-at "[ \t]*[^:, \t\n]+:[ \t]+\\([^:,\t\n]+\\),?") |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1526 (goto-char (match-end 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1527 (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
|
1528 'face 'info-xref) |
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1529 (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
|
1530 'mouse-face 'highlight)))) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1531 (goto-char (point-min)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1532 (while (re-search-forward "\\*Note[ \n\t]*\\([^:]*\\):" nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1533 (if (= (char-after (1- (match-beginning 0))) ?\") ; hack |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1534 nil |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1535 (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
|
1536 'face 'info-xref) |
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1537 (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
|
1538 'mouse-face 'highlight))) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1539 (goto-char (point-min)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1540 (if (and (search-forward "\n* Menu:" nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1541 (not (string-match "\\<Index\\>" Info-current-node)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1542 ;; Don't take time to annotate huge menus |
6624
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1543 (< (- (point-max) (point)) 30000)) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1544 (let ((n 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1545 (while (re-search-forward "^\\* \\([^:\t\n]*\\):" nil t) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1546 (setq n (1+ n)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1547 (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
|
1548 (put-text-property (match-beginning 0) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1549 (1+ (match-beginning 0)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1550 'face 'info-menu-5)) |
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1551 (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
|
1552 'face 'info-node) |
ca39bae3744d
(Info-fontify-node): Add mouse-face properties.
Richard M. Stallman <rms@gnu.org>
parents:
6566
diff
changeset
|
1553 (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
|
1554 'mouse-face 'highlight)))) |
4410
25fb71fc2643
(Info-fontify-node): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4261
diff
changeset
|
1555 (set-buffer-modified-p nil)))) |
584 | 1556 |
1557 (provide 'info) | |
1558 | |
660
08eb386dd0f3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
1559 ;;; info.el ends here |