Mercurial > emacs
annotate lisp/help-macro.el @ 5020:94de08fd8a7c
(Fnext_single_property_change): Fix missing \n\.
| author | Richard M. Stallman <rms@gnu.org> |
|---|---|
| date | Mon, 15 Nov 1993 06:41:45 +0000 |
| parents | 2417a8dc0f14 |
| children | 32a291ab0c5f |
| 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 |
| 3 ;; Copyright (C) 1993 Free Software Foundation, Inc. | |
| 4 | |
| 5 ;; Author: Lynn Slater <lrs@indetech.com> | |
| 6 ;; Created: : Mon Oct 1 11:42:39 1990 | |
| 7 ;; Adapted-By: ESR | |
| 8 ;; Last Modified By: Lynn Slater x2048 | |
| 9 ;; Last Modified On: Mon Sep 23 14:40:19 1991 | |
| 10 | |
| 11 ;; This file is part of GNU Emacs. | |
| 12 | |
| 13 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
| 14 ;; it under the terms of the GNU General Public License as published by | |
| 15 ;; the Free Software Foundation; either version 2, or (at your option) | |
| 16 ;; any later version. | |
| 17 | |
| 18 ;; GNU Emacs is distributed in the hope that it will be useful, | |
| 19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 21 ;; GNU General Public License for more details. | |
| 22 | |
| 23 ;; You should have received a copy of the GNU General Public License | |
| 24 ;; along with GNU Emacs; see the file COPYING. If not, write to | |
| 25 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
| 26 | |
| 27 ;;; Commentary: | |
| 28 ;; | |
| 29 ;; This file supplies the macro make-help-screen which constructs | |
| 30 ;; single character dispatching with browsable help such as that provided | |
| 31 ;; by help-for-help. This can be used to make many modes easier to use; for | |
| 32 ;; example, the Gnu Emacs Empire Tool uses this for every "nested" mode map | |
| 33 ;; called from the main mode map. | |
| 34 | |
|
2530
1e1a30d5d523
Name changed to fit in a 14-character limit.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2456
diff
changeset
|
35 ;; 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
|
36 ;; 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
|
37 |
| 2456 | 38 ;;-> *********************** Example of use ********************************* |
| 39 | |
| 40 ;;->(make-help-screen help-for-empire-redistribute-map | |
| 41 ;;-> "c:civ m:mil p:population f:food ?" | |
| 42 ;;-> "You have discovered the GEET redistribution commands | |
| 43 ;;-> From here, you can use the following options: | |
| 44 ;;-> | |
| 45 ;;->c Redistribute civs from overfull sectors into connected underfull ones | |
| 46 ;;-> The functions typically named by empire-ideal-civ-fcn control | |
| 47 ;;-> based in part on empire-sector-civ-threshold | |
| 48 ;;->m Redistribute military using levels given by empire-ideal-mil-fcn | |
| 49 ;;->p Redistribute excess population to highways for max pop growth | |
| 50 ;;-> Excess is any sector so full babies will not be born. | |
| 51 ;;->f Even out food on highways to highway min and leave levels | |
| 52 ;;-> This is good to pump max food to all warehouses/dist pts | |
| 53 ;;-> | |
| 54 ;;-> | |
| 55 ;;->Use \\[help-for-empire-redistribute-map] for help on redistribution. | |
| 56 ;;->Use \\[help-for-empire-extract-map] for help on data extraction. | |
| 57 ;;->Please use \\[describe-key] to find out more about any of the other keys." | |
| 58 ;;-> empire-shell-redistribute-map) | |
| 59 | |
| 60 ;;-> (define-key c-mp "\C-h" 'help-for-empire-redistribute-map) | |
| 61 ;;-> (define-key c-mp help-character 'help-for-empire-redistribute-map) | |
| 62 | |
| 63 ;;; Change Log: | |
| 64 ;; | |
| 65 ;; 22-Jan-1991 Lynn Slater x2048 | |
| 66 ;; Last Modified: Mon Oct 1 11:43:52 1990 #3 (Lynn Slater) | |
| 67 ;; documented better | |
| 68 | |
| 69 ;;; Code: | |
| 70 | |
|
2696
479c78c63f89
Provide help-macro, not help-screen.
Richard M. Stallman <rms@gnu.org>
parents:
2530
diff
changeset
|
71 (provide 'help-macro) |
| 2456 | 72 (require 'backquote) |
| 73 | |
| 74 (defmacro make-help-screen (fname help-line help-text helped-map) | |
| 75 "Constructs function FNAME that when invoked shows HELP-LINE and if a help | |
| 76 character is requested, shows HELP-TEXT. The user is prompted for a character | |
| 77 from the HELPED-MAP and the corresponding interactive function is executed." | |
| 78 (` (defun (, fname) () | |
| 79 (, help-text) | |
| 80 (interactive) | |
| 81 (let ((line-prompt | |
| 82 (substitute-command-keys (, help-line)))) | |
| 83 (message line-prompt) | |
|
3128
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
84 (let ((char (read-event)) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
85 config) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
86 (unwind-protect |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
87 (progn |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
88 (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
|
89 (progn |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
90 (setq config (current-window-configuration)) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
91 (switch-to-buffer-other-window "*Help*") |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
92 (erase-buffer) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
93 (insert (documentation (quote (, fname)))) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
94 (goto-char (point-min)) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
95 (while (memq char (cons help-char '(?? ?\C-v ?\ ?\177 ?\M-v))) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
96 (if (memq char '(?\C-v ?\ )) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
97 (scroll-up)) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
98 (if (memq char '(?\177 ?\M-v)) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
99 (scroll-down)) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
100 (message "%s%s: " |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
101 line-prompt |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
102 (if (pos-visible-in-window-p (point-max)) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
103 "" " or Space to scroll")) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
104 (let ((cursor-in-echo-area t)) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
105 (setq char (read-event)))))) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
106 |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
107 (let ((defn (cdr (assq (if (integerp char) (downcase char) char) (, helped-map))))) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
108 (if defn |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
109 (if (keymapp defn) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
110 (error "sorry, this command cannot be run from the help screen. Start over.") |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
111 (if config |
|
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 (set-window-configuration config) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
114 (setq config nil))) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
115 (call-interactively defn)) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
116 (if (listp char) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
117 (setq unread-command-events |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
118 (cons char unread-command-events) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
119 config nil) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
120 (ding))))) |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
121 (if config |
|
2417a8dc0f14
(make-help-screen): Handle mouse events.
Richard M. Stallman <rms@gnu.org>
parents:
2696
diff
changeset
|
122 (set-window-configuration config)))))) |
| 2456 | 123 )) |
| 124 | |
|
2530
1e1a30d5d523
Name changed to fit in a 14-character limit.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2456
diff
changeset
|
125 ;;; help-macro.el |
| 2456 | 126 |
