Mercurial > emacs
annotate lisp/help-macro.el @ 11106:30ec7c9dcdb9
(FRAME_SUPPORT, MSDOS_SUPPORT): Don't list face and mouse related files here.
(FACE_SUPPORT, MOUSE_SUPPORT): New lists.
(FACE_SUPPORT): Add facemenu.elc.
(WINNT_SUPPORT): New list.
(lisp): Add format.elc, FACE_SUPPORT, MOUSE_SUPPORT, WINNT_SUPPORT.
author | Karl Heuer <kwzh@gnu.org> |
---|---|
date | Thu, 23 Mar 1995 21:33:22 +0000 |
parents | bbaf65e25807 |
children | 29493ce2d1ca |
rev | line source |
---|---|
2530
1e1a30d5d523
Name changed to fit in a 14-character limit.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2456
diff
changeset
|
1 ;;; help-macro.el --- Makes command line help such as help-for-help |
2456 | 2 |
7298 | 3 ;; Copyright (C) 1993, 1994 Free Software Foundation, Inc. |
2456 | 4 |
5 ;; Author: Lynn Slater <lrs@indetech.com> | |
6 ;; Created: : Mon Oct 1 11:42:39 1990 | |
7 ;; Adapted-By: ESR | |
8 | |
9 ;; This file is part of GNU Emacs. | |
10 | |
11 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
12 ;; it under the terms of the GNU General Public License as published by | |
13 ;; the Free Software Foundation; either version 2, or (at your option) | |
14 ;; any later version. | |
15 | |
16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 ;; GNU General Public License for more details. | |
20 | |
21 ;; You should have received a copy of the GNU General Public License | |
22 ;; along with GNU Emacs; see the file COPYING. If not, write to | |
23 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
24 | |
25 ;;; Commentary: | |
26 ;; | |
27 ;; This file supplies the macro make-help-screen which constructs | |
28 ;; single character dispatching with browsable help such as that provided | |
29 ;; by help-for-help. This can be used to make many modes easier to use; for | |
30 ;; example, the Gnu Emacs Empire Tool uses this for every "nested" mode map | |
31 ;; called from the main mode map. | |
32 | |
2530
1e1a30d5d523
Name changed to fit in a 14-character limit.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2456
diff
changeset
|
33 ;; The name of this package was changed from help-screen.el to |
1e1a30d5d523
Name changed to fit in a 14-character limit.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2456
diff
changeset
|
34 ;; help-macro.el in order to fit in a 14-character limit. |
1e1a30d5d523
Name changed to fit in a 14-character limit.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2456
diff
changeset
|
35 |
2456 | 36 ;;-> *********************** Example of use ********************************* |
37 | |
38 ;;->(make-help-screen help-for-empire-redistribute-map | |
39 ;;-> "c:civ m:mil p:population f:food ?" | |
40 ;;-> "You have discovered the GEET redistribution commands | |
41 ;;-> From here, you can use the following options: | |
42 ;;-> | |
43 ;;->c Redistribute civs from overfull sectors into connected underfull ones | |
44 ;;-> The functions typically named by empire-ideal-civ-fcn control | |
45 ;;-> based in part on empire-sector-civ-threshold | |
46 ;;->m Redistribute military using levels given by empire-ideal-mil-fcn | |
47 ;;->p Redistribute excess population to highways for max pop growth | |
48 ;;-> Excess is any sector so full babies will not be born. | |
49 ;;->f Even out food on highways to highway min and leave levels | |
50 ;;-> This is good to pump max food to all warehouses/dist pts | |
51 ;;-> | |
52 ;;-> | |
53 ;;->Use \\[help-for-empire-redistribute-map] for help on redistribution. | |
54 ;;->Use \\[help-for-empire-extract-map] for help on data extraction. | |
55 ;;->Please use \\[describe-key] to find out more about any of the other keys." | |
56 ;;-> empire-shell-redistribute-map) | |
57 | |
58 ;;-> (define-key c-mp "\C-h" 'help-for-empire-redistribute-map) | |
59 ;;-> (define-key c-mp help-character 'help-for-empire-redistribute-map) | |
60 | |
61 ;;; Change Log: | |
62 ;; | |
63 ;; 22-Jan-1991 Lynn Slater x2048 | |
64 ;; Last Modified: Mon Oct 1 11:43:52 1990 #3 (Lynn Slater) | |
65 ;; documented better | |
66 | |
67 ;;; Code: | |
68 | |
2696
479c78c63f89
Provide help-macro, not help-screen.
Richard M. Stallman <rms@gnu.org>
parents:
2530
diff
changeset
|
69 (provide 'help-macro) |
2456 | 70 (require 'backquote) |
71 | |
5679
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
72 ;;;###autoload |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
73 (defvar three-step-help nil |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
74 "*Non-nil means give more info about Help command in three steps. |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
75 The three steps are simple prompt, prompt with all options, |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
76 and window listing and describing the options. |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
77 A value of nil means skip the middle step, so that |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
78 \\[help-command] \\[help-command] gives the window that lists the options.") |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
79 |
2456 | 80 (defmacro make-help-screen (fname help-line help-text helped-map) |
5378
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
81 "Construct help-menu function name FNAME. |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
82 When invoked, FNAME shows HELP-LINE and reads a command using HELPED-MAP. |
8709 | 83 If the command is the help character, FNAME displays HELP-TEXT |
5378
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
84 and continues trying to read a command using HELPED-MAP. |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
85 When FNAME finally does get a command, it executes that command |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
86 and then returns." |
2456 | 87 (` (defun (, fname) () |
88 (, help-text) | |
89 (interactive) | |
90 (let ((line-prompt | |
5640
f0f285e628d0
(make-help-screen): Use overriding-local-map.
Richard M. Stallman <rms@gnu.org>
parents:
5378
diff
changeset
|
91 (substitute-command-keys (, help-line)))) |
5679
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
92 (if three-step-help |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
93 (message line-prompt)) |
6078
81290a55365b
(make-help-screen): Initialize help-screen before changing the keymap.
Karl Heuer <kwzh@gnu.org>
parents:
5741
diff
changeset
|
94 (let* ((help-screen (documentation (quote (, fname)))) |
8242
824eeccd8203
(make-help-screen): Bind overriding-local-map
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
95 ;; We bind overriding-local-map for very small |
824eeccd8203
(make-help-screen): Bind overriding-local-map
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
96 ;; sections, *excluding* where we switch buffers |
824eeccd8203
(make-help-screen): Bind overriding-local-map
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
97 ;; and where we execute the chosen help command. |
824eeccd8203
(make-help-screen): Bind overriding-local-map
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
98 (local-map (make-sparse-keymap)) |
5640
f0f285e628d0
(make-help-screen): Use overriding-local-map.
Richard M. Stallman <rms@gnu.org>
parents:
5378
diff
changeset
|
99 (minor-mode-map-alist nil) |
8260
1ad35b4d9128
(make-help-screen): Handle case where *Help* comes up in a separate frame.
Richard M. Stallman <rms@gnu.org>
parents:
8242
diff
changeset
|
100 (prev-frame (selected-frame)) |
1ad35b4d9128
(make-help-screen): Handle case where *Help* comes up in a separate frame.
Richard M. Stallman <rms@gnu.org>
parents:
8242
diff
changeset
|
101 config new-frame key char) |
3128
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
102 (unwind-protect |
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
103 (progn |
8242
824eeccd8203
(make-help-screen): Bind overriding-local-map
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
104 (setcdr local-map (, helped-map)) |
824eeccd8203
(make-help-screen): Bind overriding-local-map
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
105 (define-key local-map [t] 'undefined) |
5679
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
106 (if three-step-help |
8242
824eeccd8203
(make-help-screen): Bind overriding-local-map
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
107 (setq key (let ((overriding-local-map local-map)) |
824eeccd8203
(make-help-screen): Bind overriding-local-map
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
108 (read-key-sequence nil)) |
5679
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
109 char (aref key 0)) |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
110 (setq char ??)) |
3128
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
111 (if (or (eq char ??) (eq char help-char)) |
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
112 (progn |
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
113 (setq config (current-window-configuration)) |
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
114 (switch-to-buffer-other-window "*Help*") |
8661
7615ef8778de
(make-help-screen): Don't call window-frame in a non-multi-frame Emacs.
Richard M. Stallman <rms@gnu.org>
parents:
8260
diff
changeset
|
115 (and (fboundp 'make-frame) |
7615ef8778de
(make-help-screen): Don't call window-frame in a non-multi-frame Emacs.
Richard M. Stallman <rms@gnu.org>
parents:
8260
diff
changeset
|
116 (not (eq (window-frame (selected-window)) |
7615ef8778de
(make-help-screen): Don't call window-frame in a non-multi-frame Emacs.
Richard M. Stallman <rms@gnu.org>
parents:
8260
diff
changeset
|
117 prev-frame)) |
7615ef8778de
(make-help-screen): Don't call window-frame in a non-multi-frame Emacs.
Richard M. Stallman <rms@gnu.org>
parents:
8260
diff
changeset
|
118 (setq new-frame (window-frame (selected-window)) |
7615ef8778de
(make-help-screen): Don't call window-frame in a non-multi-frame Emacs.
Richard M. Stallman <rms@gnu.org>
parents:
8260
diff
changeset
|
119 config nil)) |
3128
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
120 (erase-buffer) |
5378
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
121 (insert help-screen) |
9855
9caa80b065fc
(make-help-screen): Set help-mode in *Help* buffer.
Karl Heuer <kwzh@gnu.org>
parents:
8709
diff
changeset
|
122 (help-mode) |
3128
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
123 (goto-char (point-min)) |
5679
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
124 (while (or (memq char (cons help-char '(?? ?\C-v ?\ ?\177 delete ?\M-v))) |
8260
1ad35b4d9128
(make-help-screen): Handle case where *Help* comes up in a separate frame.
Richard M. Stallman <rms@gnu.org>
parents:
8242
diff
changeset
|
125 (eq (car-safe char) 'switch-frame) |
5640
f0f285e628d0
(make-help-screen): Use overriding-local-map.
Richard M. Stallman <rms@gnu.org>
parents:
5378
diff
changeset
|
126 (equal key "\M-v")) |
5378
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
127 (condition-case nil |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
128 (progn |
8260
1ad35b4d9128
(make-help-screen): Handle case where *Help* comes up in a separate frame.
Richard M. Stallman <rms@gnu.org>
parents:
8242
diff
changeset
|
129 (if (eq (car-safe char) 'switch-frame) |
1ad35b4d9128
(make-help-screen): Handle case where *Help* comes up in a separate frame.
Richard M. Stallman <rms@gnu.org>
parents:
8242
diff
changeset
|
130 (handle-switch-frame char)) |
5378
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
131 (if (memq char '(?\C-v ?\ )) |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
132 (scroll-up)) |
5679
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
133 (if (or (memq char '(?\177 ?\M-v delete)) |
5640
f0f285e628d0
(make-help-screen): Use overriding-local-map.
Richard M. Stallman <rms@gnu.org>
parents:
5378
diff
changeset
|
134 (equal key "\M-v")) |
5378
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
135 (scroll-down))) |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
136 (error nil)) |
8242
824eeccd8203
(make-help-screen): Bind overriding-local-map
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
137 (let ((cursor-in-echo-area t) |
824eeccd8203
(make-help-screen): Bind overriding-local-map
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
138 (overriding-local-map local-map)) |
5679
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
139 (setq key (read-key-sequence |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
140 (format "Type one of the options listed%s: " |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
141 (if (pos-visible-in-window-p |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
142 (point-max)) |
90ba98c692b5
(three-step-help): New option.
Richard M. Stallman <rms@gnu.org>
parents:
5640
diff
changeset
|
143 "" " or Space to scroll"))) |
5741
ea9f55ec6ee9
(make-help-screen): Remove debugging code.
Karl Heuer <kwzh@gnu.org>
parents:
5679
diff
changeset
|
144 char (aref key 0)))))) |
5378
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
145 ;; Mouse clicks are not part of the help feature, |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
146 ;; so reexecute them in the standard environment. |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
147 (if (listp char) |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
148 (setq unread-command-events |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
149 (cons char unread-command-events) |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
150 config nil) |
10477
b0ac61aef336
(make-help-screen): Use *only* local-map to look up keys.
Richard M. Stallman <rms@gnu.org>
parents:
9855
diff
changeset
|
151 (let ((defn (lookup-key local-map key))) |
5378
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
152 (if defn |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
153 (progn |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
154 (if config |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
155 (progn |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
156 (set-window-configuration config) |
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
157 (setq config nil))) |
8260
1ad35b4d9128
(make-help-screen): Handle case where *Help* comes up in a separate frame.
Richard M. Stallman <rms@gnu.org>
parents:
8242
diff
changeset
|
158 (if new-frame |
1ad35b4d9128
(make-help-screen): Handle case where *Help* comes up in a separate frame.
Richard M. Stallman <rms@gnu.org>
parents:
8242
diff
changeset
|
159 (progn (iconify-frame new-frame) |
1ad35b4d9128
(make-help-screen): Handle case where *Help* comes up in a separate frame.
Richard M. Stallman <rms@gnu.org>
parents:
8242
diff
changeset
|
160 (setq new-frame nil))) |
5378
32a291ab0c5f
(make-help-screen): Use read-key-sequence.
Richard M. Stallman <rms@gnu.org>
parents:
3128
diff
changeset
|
161 (call-interactively defn)) |
3128
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
162 (ding))))) |
8260
1ad35b4d9128
(make-help-screen): Handle case where *Help* comes up in a separate frame.
Richard M. Stallman <rms@gnu.org>
parents:
8242
diff
changeset
|
163 (if new-frame (iconify-frame new-frame)) |
3128
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
164 (if config |
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
165 (set-window-configuration config)))))) |
2456 | 166 )) |
167 | |
2530
1e1a30d5d523
Name changed to fit in a 14-character limit.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2456
diff
changeset
|
168 ;;; help-macro.el |
2456 | 169 |