annotate lisp/info.el @ 680:f99c8512cd41

*** empty log message ***
author Richard M. Stallman <rms@gnu.org>
date Wed, 03 Jun 1992 20:43:49 +0000
parents 08eb386dd0f3
children a8d94735277e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
660
08eb386dd0f3 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 584
diff changeset
1 ;;; info.el --- info package for Emacs -- could use a "create node" feature.
08eb386dd0f3 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 584
diff changeset
2
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
3 ;; Copyright (C) 1985, 1986 Free Software Foundation, Inc.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
4
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
5 ;; This file is part of GNU Emacs.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
6
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
7 ;; GNU Emacs is free software; you can redistribute it and/or modify
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
8 ;; it under the terms of the GNU General Public License as published by
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
9 ;; the Free Software Foundation; either version 1, or (at your option)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
10 ;; any later version.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
11
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
12 ;; GNU Emacs is distributed in the hope that it will be useful,
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
13 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
14 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
15 ;; GNU General Public License for more details.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
16
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
17 ;; You should have received a copy of the GNU General Public License
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
18 ;; along with GNU Emacs; see the file COPYING. If not, write to
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
19 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
20
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
21 (defvar Info-history nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
22 "List of info nodes user has visited.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
23 Each element of list is a list (FILENAME NODENAME BUFFERPOS).")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
24
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
25 (defvar Info-enable-edit nil
680
f99c8512cd41 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 660
diff changeset
26 "*Non-nil means the \\<info-mode-map>\\[Info-edit] command in Info can edit the current node.
f99c8512cd41 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 660
diff changeset
27 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
28 However, we recommend that you not do this.
f99c8512cd41 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 660
diff changeset
29 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
30 because that gives you a printed manual as well.")
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
31
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
32 (defvar Info-enable-active-nodes t
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
33 "Non-nil allows Info to execute Lisp code associated with nodes.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
34 The Lisp code is executed when the node is selected.")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
35
540
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
36 (defvar Info-default-directory-list nil
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
37 "List of default directories to search for Info documentation files.
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
38 This value is used as the default for `Info-directory-list'. It is set
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
39 in paths.el.")
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
40
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
41 (defvar Info-directory-list nil
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
42 "List of directories to search for Info documentation files.
540
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
43 nil means not yet initialized. In this case, Info uses the environment
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
44 variable INFODIR to initialize it, or `Info-default-directory-list'
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
45 if there is no INFODIR variable in the environment.")
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
46
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
47 (defvar Info-current-file nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
48 "Info file that Info is now looking at, or nil.")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
49
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
50 (defvar Info-current-subfile nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
51 "Info subfile that is actually in the *info* buffer now,
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
52 or nil if current info file is not split into subfiles.")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
53
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
54 (defvar Info-current-node nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
55 "Name of node that Info is now looking at, or nil.")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
56
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
57 (defvar Info-tag-table-marker (make-marker)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
58 "Marker pointing at beginning of current Info file's tag table.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
59 Marker points nowhere if file has no tag table.")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
60
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
61 ;;;###autoload
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
62 (defun info (&optional file)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
63 "Enter Info, the documentation browser.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
64 Optional argument FILE specifies the file to examine;
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
65 the default is the top-level directory of Info.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
66
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
67 In interactive use, a prefix argument directs this command
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
68 to read a file name from the minibuffer."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
69 (interactive (if current-prefix-arg
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
70 (list (read-file-name "Info file name: " nil nil t))))
540
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
71 (or Info-directory-list
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
72 (setq Info-directory-list
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
73 (let ((path (getenv "INFOPATH")))
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
74 (if path
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
75 (let ((list nil)
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
76 idx)
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
77 (while (> (length path) 0)
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
78 (setq idx (or (string-match ":" path) (length path))
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
79 list (cons (substring path 0 idx) list)
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
80 path (substring path (min (1+ idx)
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
81 (length path)))))
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
82 (nreverse list))
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
83 Info-default-directory-list))))
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
84 (if file
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
85 (Info-goto-node (concat "(" file ")"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
86 (if (get-buffer "*info*")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
87 (switch-to-buffer "*info*")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
88 (Info-directory))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
89
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
90 ;; Go to an info node specified as separate filename and nodename.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
91 ;; no-going-back is non-nil if recovering from an error in this function;
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
92 ;; it says do not attempt further (recursive) error recovery.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
93 (defun Info-find-node (filename nodename &optional no-going-back)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
94 ;; Convert filename to lower case if not found as specified.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
95 ;; Expand it.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
96 (if filename
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
97 (let (temp temp-downcase found)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
98 (setq filename (substitute-in-file-name filename))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
99 (let ((dirs (if (string-match "^\\./" filename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
100 ;; If specified name starts with `./'
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
101 ;; then just try current directory.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
102 '("./")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
103 Info-directory-list)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
104 ;; Search the directory list for file FILENAME.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
105 (while (and dirs (not found))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
106 (setq temp (expand-file-name filename (car dirs)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
107 (setq temp-downcase
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
108 (expand-file-name (downcase filename) (car dirs)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
109 ;; Try several variants of specified name.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
110 ;; Try downcasing, appending `.info', or both.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
111 (cond ((file-exists-p temp)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
112 (setq found temp))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
113 ((file-exists-p temp-downcase)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
114 (setq found temp-downcase))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
115 ((file-exists-p (concat temp ".info"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
116 (setq found (concat temp ".info")))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
117 ((file-exists-p (concat temp-downcase ".info"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
118 (setq found (concat temp-downcase ".info"))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
119 (setq dirs (cdr dirs))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
120 (if found
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
121 (setq filename found)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
122 (error "Info file %s does not exist" filename))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
123 ;; Record the node we are leaving.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
124 (if (and Info-current-file (not no-going-back))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
125 (setq Info-history
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
126 (cons (list Info-current-file Info-current-node (point))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
127 Info-history)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
128 ;; Go into info buffer.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
129 (switch-to-buffer "*info*")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
130 (buffer-flush-undo (current-buffer))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
131 (or (eq major-mode 'Info-mode)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
132 (Info-mode))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
133 (widen)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
134 (setq Info-current-node nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
135 (unwind-protect
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
136 (progn
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
137 ;; Switch files if necessary
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
138 (or (null filename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
139 (equal Info-current-file filename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
140 (let ((buffer-read-only nil))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
141 (setq Info-current-file nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
142 Info-current-subfile nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
143 buffer-file-name nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
144 (erase-buffer)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
145 (insert-file-contents filename t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
146 (set-buffer-modified-p nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
147 (setq default-directory (file-name-directory filename))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
148 ;; See whether file has a tag table. Record the location if yes.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
149 (set-marker Info-tag-table-marker nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
150 (goto-char (point-max))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
151 (forward-line -8)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
152 (or (equal nodename "*")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
153 (not (search-forward "\^_\nEnd tag table\n" nil t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
154 (let (pos)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
155 ;; We have a tag table. Find its beginning.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
156 ;; Is this an indirect file?
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
157 (search-backward "\nTag table:\n")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
158 (setq pos (point))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
159 (if (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
160 (forward-line 2)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
161 (looking-at "(Indirect)\n"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
162 ;; It is indirect. Copy it to another buffer
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
163 ;; and record that the tag table is in that buffer.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
164 (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
165 (let ((buf (current-buffer)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
166 (set-buffer (get-buffer-create " *info tag table*"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
167 (buffer-flush-undo (current-buffer))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
168 (setq case-fold-search t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
169 (erase-buffer)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
170 (insert-buffer-substring buf)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
171 (set-marker Info-tag-table-marker
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
172 (match-end 0))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
173 (set-marker Info-tag-table-marker pos))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
174 (setq Info-current-file
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
175 (file-name-sans-versions buffer-file-name))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
176 (if (equal nodename "*")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
177 (progn (setq Info-current-node nodename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
178 (Info-set-mode-line))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
179 ;; Search file for a suitable node.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
180 ;; First get advice from tag table if file has one.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
181 ;; Also, if this is an indirect info file,
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
182 ;; read the proper subfile into this buffer.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
183 (let ((guesspos (point-min)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
184 (if (marker-position Info-tag-table-marker)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
185 (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
186 (set-buffer (marker-buffer Info-tag-table-marker))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
187 (goto-char Info-tag-table-marker)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
188 (if (search-forward (concat "Node: " nodename "\177") nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
189 (progn
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
190 (setq guesspos (read (current-buffer)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
191 ;; If this is an indirect file,
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
192 ;; determine which file really holds this node
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
193 ;; and read it in.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
194 (if (not (eq (current-buffer) (get-buffer "*info*")))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
195 (setq guesspos
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
196 (Info-read-subfile guesspos))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
197 (error "No such node: \"%s\"" nodename))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
198 (goto-char (max (point-min) (- guesspos 1000))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
199 ;; Now search from our advised position (or from beg of buffer)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
200 ;; to find the actual node.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
201 (let ((regexp (concat "Node: *" (regexp-quote nodename) " *[,\t\n]")))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
202 (catch 'foo
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
203 (while (search-forward "\n\^_" nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
204 (forward-line 1)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
205 (let ((beg (point)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
206 (forward-line 1)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
207 (if (re-search-backward regexp beg t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
208 (throw 'foo t))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
209 (error "No such node: %s" nodename)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
210 (Info-select-node)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
211 ;; If we did not finish finding the specified node,
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
212 ;; go back to the previous one.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
213 (or Info-current-node no-going-back
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
214 (let ((hist (car Info-history)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
215 (setq Info-history (cdr Info-history))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
216 (Info-find-node (nth 0 hist) (nth 1 hist) t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
217 (goto-char (nth 2 hist)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
218 (goto-char (point-min)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
219
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
220 (defun Info-read-subfile (nodepos)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
221 (set-buffer (marker-buffer Info-tag-table-marker))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
222 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
223 (search-forward "\n\^_")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
224 (let (lastfilepos
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
225 lastfilename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
226 (forward-line 2)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
227 (catch 'foo
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
228 (while (not (looking-at "\^_"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
229 (if (not (eolp))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
230 (let ((beg (point))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
231 thisfilepos thisfilename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
232 (search-forward ": ")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
233 (setq thisfilename (buffer-substring beg (- (point) 2)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
234 (setq thisfilepos (read (current-buffer)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
235 ;; read in version 19 stops at the end of number.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
236 ;; Advance to the next line.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
237 (forward-line 1)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
238 (if (> thisfilepos nodepos)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
239 (throw 'foo t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
240 (setq lastfilename thisfilename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
241 (setq lastfilepos thisfilepos))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
242 (forward-line 1))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
243 (set-buffer (get-buffer "*info*"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
244 (or (equal Info-current-subfile lastfilename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
245 (let ((buffer-read-only nil))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
246 (setq buffer-file-name nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
247 (widen)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
248 (erase-buffer)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
249 (insert-file-contents lastfilename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
250 (set-buffer-modified-p nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
251 (setq Info-current-subfile lastfilename)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
252 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
253 (search-forward "\n\^_")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
254 (+ (- nodepos lastfilepos) (point))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
255
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
256 ;; Select the info node that point is in.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
257 (defun Info-select-node ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
258 (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
259 ;; Find beginning of node.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
260 (search-backward "\n\^_")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
261 (forward-line 2)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
262 ;; Get nodename spelled as it is in the node.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
263 (re-search-forward "Node:[ \t]*")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
264 (setq Info-current-node
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
265 (buffer-substring (point)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
266 (progn
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
267 (skip-chars-forward "^,\t\n")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
268 (point))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
269 (Info-set-mode-line)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
270 ;; Find the end of it, and narrow.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
271 (beginning-of-line)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
272 (let (active-expression)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
273 (narrow-to-region (point)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
274 (if (re-search-forward "\n[\^_\f]" nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
275 (prog1
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
276 (1- (point))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
277 (if (looking-at "[\n\^_\f]*execute: ")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
278 (progn
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
279 (goto-char (match-end 0))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
280 (setq active-expression
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
281 (read (current-buffer))))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
282 (point-max)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
283 (if Info-enable-active-nodes (eval active-expression)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
284
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
285 (defun Info-set-mode-line ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
286 (setq mode-line-buffer-identification
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
287 (concat
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
288 "Info: ("
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
289 (if Info-current-file
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
290 (file-name-nondirectory Info-current-file)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
291 "")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
292 ")"
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
293 (or Info-current-node ""))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
294
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
295 ;; Go to an info node specified with a filename-and-nodename string
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
296 ;; of the sort that is found in pointers in nodes.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
297
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
298 (defun Info-goto-node (nodename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
299 "Go to info node named NAME. Give just NODENAME or (FILENAME)NODENAME."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
300 (interactive "sGoto node: ")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
301 (let (filename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
302 (string-match "\\s *\\((\\s *\\([^\t)]*\\)\\s *)\\s *\\|\\)\\(.*\\)"
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
303 nodename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
304 (setq filename (if (= (match-beginning 1) (match-end 1))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
305 ""
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
306 (substring nodename (match-beginning 2) (match-end 2)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
307 nodename (substring nodename (match-beginning 3) (match-end 3)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
308 (let ((trim (string-match "\\s *\\'" filename)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
309 (if trim (setq filename (substring filename 0 trim))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
310 (let ((trim (string-match "\\s *\\'" nodename)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
311 (if trim (setq nodename (substring nodename 0 trim))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
312 (Info-find-node (if (equal filename "") nil filename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
313 (if (equal nodename "") "Top" nodename))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
314
540
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
315 (defun Info-restore-point (hl)
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
316 "If this node has been visited, restore the point value when we left."
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
317 (if hl
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
318 (if (and (equal (nth 0 (car hl)) Info-current-file)
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
319 (equal (nth 1 (car hl)) Info-current-node))
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
320 (goto-char (nth 2 (car hl)))
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
321 (Info-restore-point (cdr hl)))))
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
322
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
323 (defvar Info-last-search nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
324 "Default regexp for \\<info-mode-map>\\[Info-search] command to search for.")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
326 (defun Info-search (regexp)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
327 "Search for REGEXP, starting from point, and select node it's found in."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
328 (interactive "sSearch (regexp): ")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
329 (if (equal regexp "")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
330 (setq regexp Info-last-search)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
331 (setq Info-last-search regexp))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
332 (let ((found ()) current
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
333 (onode Info-current-node)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
334 (ofile Info-current-file)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
335 (opoint (point))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
336 (osubfile Info-current-subfile))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
337 (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
338 (save-restriction
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
339 (widen)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
340 (if (null Info-current-subfile)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
341 (progn (re-search-forward regexp) (setq found (point)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
342 (condition-case err
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
343 (progn (re-search-forward regexp) (setq found (point)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
344 (search-failed nil)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
345 (if (not found) ;can only happen in subfile case -- else would have erred
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
346 (unwind-protect
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
347 (let ((list ()))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
348 (set-buffer (marker-buffer Info-tag-table-marker))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
349 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
350 (search-forward "\n\^_\nIndirect:")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
351 (save-restriction
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
352 (narrow-to-region (point)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
353 (progn (search-forward "\n\^_")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
354 (1- (point))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
355 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
356 (search-forward (concat "\n" osubfile ": "))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
357 (beginning-of-line)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
358 (while (not (eobp))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
359 (re-search-forward "\\(^.*\\): [0-9]+$")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
360 (goto-char (+ (match-end 1) 2))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
361 (setq list (cons (cons (read (current-buffer))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
362 (buffer-substring (match-beginning 1)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
363 (match-end 1)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
364 list))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
365 (goto-char (1+ (match-end 0))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
366 (setq list (nreverse list)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
367 current (car (car list))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
368 list (cdr list)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
369 (while list
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
370 (message "Searching subfile %s..." (cdr (car list)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
371 (Info-read-subfile (car (car list)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
372 (setq list (cdr list))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
373 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
374 (if (re-search-forward regexp nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
375 (setq found (point) list ())))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
376 (if found
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
377 (message "")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
378 (signal 'search-failed (list regexp))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
379 (if (not found)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
380 (progn (Info-read-subfile opoint)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
381 (goto-char opoint)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
382 (Info-select-node)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
383 (widen)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
384 (goto-char found)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
385 (Info-select-node)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
386 (or (and (equal onode Info-current-node)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
387 (equal ofile Info-current-file))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
388 (setq Info-history (cons (list ofile onode opoint)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
389 Info-history)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
390
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
391 ;; Extract the value of the node-pointer named NAME.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
392 ;; If there is none, use ERRORNAME in the error message;
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
393 ;; if ERRORNAME is nil, just return nil.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
394 (defun Info-extract-pointer (name &optional errorname)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
395 (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
396 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
397 (forward-line 1)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
398 (if (re-search-backward (concat name ":") nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
399 (progn
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
400 (goto-char (match-end 0))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
401 (Info-following-node-name))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
402 (if (eq errorname t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
403 nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
404 (error (concat "Node has no " (capitalize (or errorname name))))))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
405
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
406 (defun Info-following-node-name (&optional allowedchars)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
407 (skip-chars-forward " \t")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
408 (buffer-substring
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
409 (point)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
410 (progn
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
411 (while (looking-at (concat "[" (or allowedchars "^,\t\n") "]"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
412 (skip-chars-forward (concat (or allowedchars "^,\t\n") "("))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
413 (if (looking-at "(")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
414 (skip-chars-forward "^)")))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
415 (skip-chars-backward " ")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
416 (point))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
417
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
418 (defun Info-next ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
419 "Go to the next node of this node."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
420 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
421 (Info-goto-node (Info-extract-pointer "next")))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
422
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
423 (defun Info-prev ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
424 "Go to the previous node of this node."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
425 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
426 (Info-goto-node (Info-extract-pointer "prev[ious]*" "previous")))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
427
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
428 (defun Info-up ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
429 "Go to the superior node of this node."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
430 (interactive)
540
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
431 (Info-goto-node (Info-extract-pointer "up"))
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
432 (Info-restore-point Info-history))
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
433
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
434 (defun Info-last ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
435 "Go back to the last node visited."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
436 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
437 (or Info-history
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
438 (error "This is the first Info node you looked at"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
439 (let (filename nodename opoint)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
440 (setq filename (car (car Info-history)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
441 (setq nodename (car (cdr (car Info-history))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
442 (setq opoint (car (cdr (cdr (car Info-history)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
443 (setq Info-history (cdr Info-history))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
444 (Info-find-node filename nodename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
445 (setq Info-history (cdr Info-history))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
446 (goto-char opoint)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
447
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
448 (defun Info-directory ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
449 "Go to the Info directory node."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
450 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
451 (Info-find-node "dir" "top"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
452
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
453 (defun Info-follow-reference (footnotename)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
454 "Follow cross reference named NAME to the node it refers to.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
455 NAME may be an abbreviation of the reference name."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
456 (interactive
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
457 (let ((completion-ignore-case t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
458 completions default (start-point (point)) str i)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
459 (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
460 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
461 (while (re-search-forward "\\*note[ \n\t]*\\([^:]*\\):" nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
462 (setq str (buffer-substring
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
463 (match-beginning 1)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
464 (1- (point))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
465 ;; See if this one should be the default.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
466 (and (null default)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
467 (< (match-beginning 0) start-point)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
468 (<= start-point (point))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
469 (setq default t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
470 (setq i 0)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
471 (while (setq i (string-match "[ \n\t]+" str i))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
472 (setq str (concat (substring str 0 i) " "
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
473 (substring str (match-end 0))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
474 (setq i (1+ i)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
475 ;; Record as a completion and perhaps as default.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
476 (if (eq default t) (setq default str))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
477 (setq completions
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
478 (cons (cons str nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
479 completions))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
480 (if completions
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
481 (list (completing-read (if default
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
482 (concat "Follow reference named: ("
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
483 default ") ")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
484 "Follow reference named: ")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
485 completions default t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
486 (error "No cross-references in this node"))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
487 (let (target beg i (str (concat "\\*note " footnotename)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
488 (while (setq i (string-match " " str i))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
489 (setq str (concat (substring str 0 i) "[ \t\n]+" (substring str (1+ i))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
490 (setq i (+ i 6)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
491 (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
492 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
493 (or (re-search-forward str nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
494 (error "No cross-reference named %s" footnotename))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
495 (goto-char (+ (match-beginning 0) 5))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
496 (setq target
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
497 (Info-extract-menu-node-name "Bad format cross reference" t)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
498 (while (setq i (string-match "[ \t\n]+" target i))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
499 (setq target (concat (substring target 0 i) " "
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
500 (substring target (match-end 0))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
501 (setq i (+ i 1)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
502 (Info-goto-node target)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
503
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
504 (defun Info-extract-menu-node-name (&optional errmessage multi-line)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
505 (skip-chars-forward " \t\n")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
506 (let ((beg (point))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
507 str i)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
508 (skip-chars-forward "^:")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
509 (forward-char 1)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
510 (setq str
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
511 (if (looking-at ":")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
512 (buffer-substring beg (1- (point)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
513 (skip-chars-forward " \t\n")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
514 (Info-following-node-name (if multi-line "^.,\t" "^.,\t\n"))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
515 (while (setq i (string-match "\n" str i))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
516 (aset str i ?\ ))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
517 str))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
518
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
519 (defun Info-menu-item-sequence (list)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
520 (while list
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
521 (Info-menu-item (car list))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
522 (setq list (cdr list))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
523
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
524 (defun Info-menu (menu-item)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
525 "Go to node for menu item named (or abbreviated) NAME.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
526 Completion is allowed, and the menu item point is on is the default."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
527 (interactive
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
528 (let ((completions '())
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
529 ;; If point is within a menu item, use that item as the default
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
530 (default nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
531 (p (point))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
532 (last nil))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
533 (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
534 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
535 (if (not (search-forward "\n* menu:" nil t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
536 (error "No menu in this node"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
537 (while (re-search-forward
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
538 "\n\\* \\([^:\t\n]*\\):" nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
539 (if (and (null default)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
540 (prog1 (if last (< last p) nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
541 (setq last (match-beginning 0)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
542 (<= p last))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
543 (setq default (car (car completions))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
544 (setq completions (cons (cons (buffer-substring
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
545 (match-beginning 1)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
546 (match-end 1))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
547 (match-beginning 1))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
548 completions)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
549 (if (and (null default) last
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
550 (< last p)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
551 (<= p (progn (end-of-line) (point))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
552 (setq default (car (car completions)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
553 (let ((item nil))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
554 (while (null item)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
555 (setq item (let ((completion-ignore-case t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
556 (completing-read (if default
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
557 (format "Menu item (default %s): "
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
558 default)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
559 "Menu item: ")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
560 completions nil t)))
540
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
561 ;; we rely on the fact that completing-read accepts an input
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
562 ;; of "" even when the require-match argument is true and ""
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
563 ;; is not a valid possibility
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
564 (if (string= item "")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
565 (if default
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
566 (setq item default)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
567 ;; ask again
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
568 (setq item nil))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
569 (list item))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
570 ;; there is a problem here in that if several menu items have the same
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
571 ;; name you can only go to the node of the first with this command.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
572 (Info-goto-node (Info-extract-menu-item menu-item)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
573
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
574 (defun Info-extract-menu-item (menu-item)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
575 (setq menu-item (regexp-quote menu-item))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
576 (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
577 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
578 (or (search-forward "\n* menu:" nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
579 (error "No menu in this node"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
580 (or (re-search-forward (concat "\n* " menu-item ":") nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
581 (re-search-forward (concat "\n* " menu-item) nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
582 (error "No such item in menu"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
583 (beginning-of-line)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
584 (forward-char 2)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
585 (Info-extract-menu-node-name)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
586
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
587 ;; If COUNT is nil, use the last item in the menu.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
588 (defun Info-extract-menu-counting (count)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
589 (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
590 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
591 (or (search-forward "\n* menu:" nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
592 (error "No menu in this node"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
593 (if count
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
594 (or (search-forward "\n* " nil t count)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
595 (error "Too few items in menu"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
596 (while (search-forward "\n* " nil t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
597 nil))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
598 (Info-extract-menu-node-name)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
599
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
600 (defun Info-first-menu-item ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
601 "Go to the node of the first menu item."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
602 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
603 (Info-goto-node (Info-extract-menu-counting 1)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
604
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
605 (defun Info-second-menu-item ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
606 "Go to the node of the second menu item."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
607 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
608 (Info-goto-node (Info-extract-menu-counting 2)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
609
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
610 (defun Info-third-menu-item ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
611 "Go to the node of the third menu item."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
612 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
613 (Info-goto-node (Info-extract-menu-counting 3)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
614
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
615 (defun Info-fourth-menu-item ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
616 "Go to the node of the fourth menu item."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
617 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
618 (Info-goto-node (Info-extract-menu-counting 4)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
619
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
620 (defun Info-fifth-menu-item ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
621 "Go to the node of the fifth menu item."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
622 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
623 (Info-goto-node (Info-extract-menu-counting 5)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
624
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
625 (defun Info-top-node ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
626 "Go to the Top node of this file."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
627 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
628 (Info-goto-node "Top"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
629
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
630 (defun Info-final-node ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
631 "Go to the final node in this file."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
632 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
633 (Info-goto-node "Top")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
634 (let (Info-history)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
635 ;; Go to the last node in the menu of Top.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
636 (Info-goto-node (Info-extract-menu-counting nil))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
637 ;; If the last node in the menu is not last in pointer structure,
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
638 ;; move forward until we can't go any farther.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
639 (while (Info-forward-node t t) nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
640 ;; Then keep moving down to last subnode, unless we reach an index.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
641 (while (and (not (string-match "\\<index\\>" Info-current-node))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
642 (save-excursion (search-forward "\n* Menu:" nil t)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
643 (Info-goto-node (Info-extract-menu-counting nil)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
644
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
645 (defun Info-forward-node (&optional not-down no-error)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
646 "Go forward one node, considering all nodes as forming one sequence."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
647 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
648 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
649 (forward-line 1)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
650 ;; three possibilities, in order of priority:
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
651 ;; 1. next node is in a menu in this node (but not in an index)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
652 ;; 2. next node is next at same level
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
653 ;; 3. next node is up and next
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
654 (cond ((and (not not-down)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
655 (save-excursion (search-forward "\n* menu:" nil t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
656 (not (string-match "\\<index\\>" Info-current-node)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
657 (Info-first-menu-item)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
658 t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
659 ((save-excursion (search-backward "next:" nil t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
660 (Info-next)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
661 t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
662 ((and (save-excursion (search-backward "up:" nil t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
663 (not (equal (downcase (Info-extract-pointer "up")) "top")))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
664 (let ((old-node Info-current-node))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
665 (Info-up)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
666 (let (Info-history success)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
667 (unwind-protect
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
668 (setq success (Info-forward-node t no-error))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
669 (or success (Info-goto-node old-node))))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
670 (no-error nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
671 (t (error "No pointer forward from this node"))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
672
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
673 (defun Info-backward-node ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
674 "Go backward one node, considering all nodes as forming one sequence."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
675 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
676 (let ((prevnode (Info-extract-pointer "prev[ious]*" t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
677 (upnode (Info-extract-pointer "up" t)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
678 (cond ((and upnode (string-match "(" upnode))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
679 (error "First node in file"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
680 ((and upnode (or (null prevnode)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
681 (equal (downcase prevnode) (downcase upnode))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
682 (Info-up))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
683 (prevnode
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
684 ;; If we move back at the same level,
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
685 ;; go down to find the last subnode*.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
686 (Info-prev)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
687 (let (Info-history)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
688 (while (and (not (string-match "\\<index\\>" Info-current-node))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
689 (save-excursion (search-forward "\n* Menu:" nil t)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
690 (Info-goto-node (Info-extract-menu-counting nil)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
691 (t
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
692 (error "No pointer backward from this node")))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
693
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
694 (defun Info-exit ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
695 "Exit Info by selecting some other buffer."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
696 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
697 (switch-to-buffer (prog1 (other-buffer (current-buffer))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
698 (bury-buffer (current-buffer)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
699
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
700 (defun Info-undefined ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
701 "Make command be undefined in Info."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
702 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
703 (ding))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
704
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
705 (defun Info-help ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
706 "Enter the Info tutorial."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
707 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
708 (delete-other-windows)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
709 (Info-find-node "info"
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
710 (if (< (window-height) 23)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
711 "Help-Small-Screen"
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
712 "Help")))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
713
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
714 (defun Info-summary ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
715 "Display a brief summary of all Info commands."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
716 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
717 (save-window-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
718 (switch-to-buffer "*Help*")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
719 (erase-buffer)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
720 (insert (documentation 'Info-mode))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
721 (goto-char (point-min))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
722 (let (ch flag)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
723 (while (progn (setq flag (not (pos-visible-in-window-p (point-max))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
724 (message (if flag "Type Space to see more"
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
725 "Type Space to return to Info"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
726 (if (/= ?\ (setq ch (read-char)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
727 (progn (setq unread-command-char ch) nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
728 flag))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
729 (scroll-up)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
730
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
731 (defun Info-get-token (pos start all &optional errorstring)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
732 "Return the token around POS,
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
733 POS must be somewhere inside the token
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
734 START is a regular expression which will match the
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
735 beginning of the tokens delimited string
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
736 ALL is a regular expression with a single
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
737 parenthized subpattern which is the token to be
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
738 returned. E.g. '{\(.*\)}' would return any string
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
739 enclosed in braces around POS.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
740 SIG optional fourth argument, controls action on no match
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
741 nil: return nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
742 t: beep
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
743 a string: signal an error, using that string."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
744 (save-excursion
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
745 (goto-char pos)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
746 (re-search-backward start (max (point-min) (- pos 200)) 'yes)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
747 (while (and (re-search-forward all (min (point-max) (+ pos 200)) 'yes)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
748 (not (and (<= (match-beginning 0) pos)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
749 (> (match-end 0) pos)))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
750 (if (and (<= (match-beginning 0) pos)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
751 (> (match-end 0) pos))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
752 (buffer-substring (match-beginning 1) (match-end 1))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
753 (cond ((null errorstring)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
754 nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
755 ((eq errorstring t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
756 (beep)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
757 nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
758 (t
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
759 (error "No %s around position %d" errorstring pos))))))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
760
540
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
761 (defun Info-follow-nearest-node (click)
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
762 "\\<Info-mode-map>Follow a node reference near point. Like \\[Info-menu], \\Info-follow-reference], \\[Info-next], \\[Info-previous] or \\Info-up] command.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
763 At end of the node's text, moves to the next node."
540
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
764 (interactive "K")
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
765 (let* ((relative-coordinates (coordinates-in-window-p (mouse-coords click)
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
766 (selected-window)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
767 (rel-x (car relative-coordinates))
540
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
768 (rel-y (cdr relative-coordinates)))
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
769 (move-to-window-line rel-y)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
770 (move-to-column rel-x))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
771 (let (node)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
772 (cond
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
773 ((setq node (Info-get-token (point) "\\*note " "\\*note \\([^:]*\\):" t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
774 (Info-follow-reference node))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
775 ((setq node (Info-get-token (point) "\\* " "\\* \\([^:]*\\)::" t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
776 (Info-goto-node node))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
777 ((setq node (Info-get-token (point) "\\* " "\\* \\([^:]*\\):" t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
778 (Info-menu node))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
779 ((setq node (Info-get-token (point) "Up: " "Up: \\([^,\n\t]*\\)" t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
780 (Info-goto-node node))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
781 ((setq node (Info-get-token (point) "Next: " "Next: \\([^,\n\t]*\\)" t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
782 (Info-goto-node node))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
783 ((setq node (Info-get-token (point) "File: " "File: \\([^,\n\t]*\\)" t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
784 (Info-goto-node "Top"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
785 ((setq node (Info-get-token (point) "Prev: " "Prev: \\([^,\n\t]*\\)" t))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
786 (Info-goto-node node))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
787 ((save-excursion (forward-line 1) (eobp))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
788 (Info-next)))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
789 ))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
790
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
791 (defvar Info-mode-map nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
792 "Keymap containing Info commands.")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
793 (if Info-mode-map
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
794 nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
795 (setq Info-mode-map (make-keymap))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
796 (suppress-keymap Info-mode-map)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
797 (define-key Info-mode-map "." 'beginning-of-buffer)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
798 (define-key Info-mode-map " " 'scroll-up)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
799 (define-key Info-mode-map "1" 'Info-first-menu-item)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
800 (define-key Info-mode-map "2" 'Info-second-menu-item)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
801 (define-key Info-mode-map "3" 'Info-third-menu-item)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
802 (define-key Info-mode-map "4" 'Info-fourth-menu-item)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
803 (define-key Info-mode-map "5" 'Info-fifth-menu-item)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
804 (define-key Info-mode-map "6" 'undefined)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
805 (define-key Info-mode-map "7" 'undefined)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
806 (define-key Info-mode-map "8" 'undefined)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
807 (define-key Info-mode-map "9" 'undefined)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
808 (define-key Info-mode-map "0" 'undefined)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
809 (define-key Info-mode-map "?" 'Info-summary)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
810 (define-key Info-mode-map "]" 'Info-forward-node)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
811 (define-key Info-mode-map "[" 'Info-backward-node)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
812 (define-key Info-mode-map "<" 'Info-top-node)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
813 (define-key Info-mode-map ">" 'Info-final-node)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
814 (define-key Info-mode-map "b" 'beginning-of-buffer)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
815 (define-key Info-mode-map "d" 'Info-directory)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
816 (define-key Info-mode-map "e" 'Info-edit)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
817 (define-key Info-mode-map "f" 'Info-follow-reference)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
818 (define-key Info-mode-map "g" 'Info-goto-node)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
819 (define-key Info-mode-map "h" 'Info-help)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
820 (define-key Info-mode-map "l" 'Info-last)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
821 (define-key Info-mode-map "m" 'Info-menu)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
822 (define-key Info-mode-map "n" 'Info-next)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
823 (define-key Info-mode-map "p" 'Info-prev)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
824 (define-key Info-mode-map "q" 'Info-exit)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
825 (define-key Info-mode-map "s" 'Info-search)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
826 (define-key Info-mode-map "u" 'Info-up)
540
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
827 (define-key Info-mode-map "\177" 'scroll-down)
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
828 )
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
829
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
830 ;; Info mode is suitable only for specially formatted data.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
831 (put 'info-mode 'mode-class 'special)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
832
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
833 (defun Info-mode ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
834 "\\<Info-mode-map>
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
835 Info mode provides commands for browsing through the Info documentation tree.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
836 Documentation in Info is divided into \"nodes\", each of which discusses
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
837 one topic and contains references to other nodes which discuss related
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
838 topics. Info has commands to follow the references and show you other nodes.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
839
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
840 \\[Info-help] Invoke the Info tutorial.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
841
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
842 Selecting other nodes:
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
843 \\[Info-next] Move to the \"next\" node of this node.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
844 \\[Info-previous] Move to the \"previous\" node of this node.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
845 \\[Info-up] Move \"up\" from this node.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
846 \\[Info-menu] Pick menu item specified by name (or abbreviation).
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
847 Picking a menu item causes another node to be selected.
540
0840eff2ecd5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 359
diff changeset
848 \\[Info-directory] Go to the Info directory node.
325
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
849 \\[Info-follow-reference] Follow a cross reference. Reads name of reference.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
850 \\[Info-last] Move to the last node you were at.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
851
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
852 Moving within a node:
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
853 \\[scroll-up] scroll forward a full screen. \\[scroll-down] scroll backward.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
854 \\[beginning-of-buffer] Go to beginning of node.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
855
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
856 Advanced commands:
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
857 \\[Info-exit] Quit Info: reselect previously selected buffer.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
858 \\[Info-edit] Edit contents of selected node.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
859 1 Pick first item in node's menu.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
860 2, 3, 4, 5 Pick second ... fifth item in node's menu.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
861 \\[Info-goto-node] Move to node specified by name.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
862 You may include a filename as well, as (FILENAME)NODENAME.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
863 \\[Info-search] Search through this Info file for specified regexp,
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
864 and select the node in which the next occurrence is found."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
865 (kill-all-local-variables)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
866 (setq major-mode 'Info-mode)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
867 (setq mode-name "Info")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
868 (use-local-map Info-mode-map)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
869 (set-syntax-table text-mode-syntax-table)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
870 (setq local-abbrev-table text-mode-abbrev-table)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
871 (setq case-fold-search t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
872 (setq buffer-read-only t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
873 (make-local-variable 'Info-current-file)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
874 (make-local-variable 'Info-current-subfile)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
875 (make-local-variable 'Info-current-node)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
876 (make-local-variable 'Info-tag-table-marker)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
877 (make-local-variable 'Info-history)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
878 (Info-set-mode-line)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
879 (run-hooks 'Info-mode-hook))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
880
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
881 (defvar Info-edit-map nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
882 "Local keymap used within `e' command of Info.")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
883 (if Info-edit-map
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
884 nil
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
885 (setq Info-edit-map (nconc (make-sparse-keymap) text-mode-map))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
886 (define-key Info-edit-map "\C-c\C-c" 'Info-cease-edit))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
887
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
888 ;; Info-edit mode is suitable only for specially formatted data.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
889 (put 'info-edit-mode 'mode-class 'special)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
890
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
891 (defun Info-edit-mode ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
892 "Major mode for editing the contents of an Info node.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
893 Like text mode with the addition of Info-cease-edit
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
894 which returns to Info mode for browsing.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
895 \\{Info-edit-map}"
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
896 )
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
897
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
898 (defun Info-edit ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
899 "Edit the contents of this Info node.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
900 Allowed only if variable `Info-enable-edit' is non-nil."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
901 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
902 (or Info-enable-edit
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
903 (error "Editing info nodes is not enabled"))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
904 (use-local-map Info-edit-map)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
905 (setq major-mode 'Info-edit-mode)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
906 (setq mode-name "Info Edit")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
907 (kill-local-variable 'mode-line-buffer-identification)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
908 (setq buffer-read-only nil)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
909 ;; Make mode line update.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
910 (set-buffer-modified-p (buffer-modified-p))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
911 (message (substitute-command-keys
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
912 "Editing: Type \\<info-mode-map>\\[Info-cease-edit] to return to info")))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
913
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
914 (defun Info-cease-edit ()
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
915 "Finish editing Info node; switch back to Info proper."
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
916 (interactive)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
917 ;; Do this first, so nothing has changed if user C-g's at query.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
918 (and (buffer-modified-p)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
919 (y-or-n-p "Save the file? ")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
920 (save-buffer))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
921 (use-local-map Info-mode-map)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
922 (setq major-mode 'Info-mode)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
923 (setq mode-name "Info")
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
924 (Info-set-mode-line)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
925 (setq buffer-read-only t)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
926 ;; Make mode line update.
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
927 (set-buffer-modified-p (buffer-modified-p))
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
928 (and (marker-position Info-tag-table-marker)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
929 (buffer-modified-p)
3f3710052f22 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
930 (message "Tags may have changed. Use Info-tagify if necessary")))
359
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
931
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
932 (defun Info-find-emacs-command-nodes (command)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
933 "Return a list of locations documenting COMMAND in the Emacs Info manual.
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
934 The locations are of the format used in Info-history, i.e.
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
935 \(FILENAME NODENAME BUFFERPOS\)."
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
936 (require 'info)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
937 (let ((where '())
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
938 (cmd-desc (concat "^\\* " (regexp-quote (symbol-name command))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
939 ":\\s *\\(.*\\)\\.$")))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
940 (save-excursion
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
941 (Info-find-node "emacs" "Command Index")
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
942 ;; Take the index node off the Info history.
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
943 (setq Info-history (cdr Info-history))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
944 (goto-char (point-max))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
945 (while (re-search-backward cmd-desc nil t)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
946 (setq where (cons (list Info-current-file
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
947 (buffer-substring
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
948 (match-beginning 1)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
949 (match-end 1))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
950 0)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
951 where)))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
952 where)))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
953
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
954 ;;;###autoload
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
955 (defun Info-goto-emacs-command-node (command)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
956 "Go to the Info node in the Emacs manual for command COMMAND."
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
957 (interactive "CFind documentation for command: ")
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
958 (or (commandp command)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
959 (signal 'wrong-type-argument (list 'commandp command)))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
960 (let ((where (Info-find-emacs-command-nodes command)))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
961 (if where
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
962 (let ((num-matches (length where)))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
963 ;; Get Info running, and pop to it in another window.
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
964 (save-window-excursion
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
965 (info))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
966 (pop-to-buffer "*info*")
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
967 (Info-find-node (car (car where))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
968 (car (cdr (car where))))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
969 (if (> num-matches 1)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
970 (progn
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
971 ;; Info-find-node already pushed (car where) onto
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
972 ;; Info-history. Put the other nodes that were found on
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
973 ;; the history.
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
974 (setq Info-history (nconc (cdr where) Info-history))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
975 (message (substitute-command-keys
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
976 "Found %d other entr%. Use \\[Info-last] to see %s."
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
977 (1- num-matches)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
978 (if (> num-matches 2) "ies" "y")
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
979 (if (> num-matches 2) "them" "it"))))))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
980 (error "Couldn't find documentation for %s." command))))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
981 ;;;###autoload
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
982 (define-key help-map "\C-f" 'Info-goto-emacs-command-node)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
983
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
984 ;;;###autoload
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
985 (defun Info-goto-emacs-key-command-node (key)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
986 "Go to the Info node in the Emacs manual the command bound to KEY, a string.
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
987 Interactively, if the binding is execute-extended-command, a command is read."
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
988 (interactive "kFind documentation for key:")
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
989 (let ((command (key-binding key)))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
990 (cond ((null command)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
991 (message "%s is undefined" (key-description keys)))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
992 ((and (interactive-p)
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
993 (eq command 'execute-extended-command))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
994 (Info-goto-emacs-command-node
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
995 (read-command "Find documentation for command: ")))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
996 (t
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
997 (Info-goto-emacs-command-node command)))))
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
998 ;;;###autoload
da45fa7bc8d1 *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 325
diff changeset
999 (define-key help-map "\C-k" 'Info-goto-emacs-key-command-node)
584
4cd7543be581 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 540
diff changeset
1000
4cd7543be581 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 540
diff changeset
1001 (provide 'info)
4cd7543be581 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 540
diff changeset
1002
660
08eb386dd0f3 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 584
diff changeset
1003 ;;; info.el ends here