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