annotate lisp/echistory.el @ 106130:a035929f0418

(file-cache-add-file): Use push and cons. (file-cache-delete-file-regexp): Use push. (file-cache-complete): Use completion-in-region.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 19 Nov 2009 22:02:53 +0000
parents 009383a57ce8
children 1d1d5d9bd884
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
662
8a533acedb77 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 258
diff changeset
1 ;;; echistory.el --- Electric Command History Mode
8a533acedb77 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 258
diff changeset
2
74439
ddcbd2c1b70d Update copyright years.
Glenn Morris <rgm@gnu.org>
parents: 68651
diff changeset
3 ;; Copyright (C) 1985, 2001, 2002, 2003, 2004, 2005,
100908
a9dc0e7c3f2b Add 2009 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 95537
diff changeset
4 ;; 2006, 2007, 2008, 2009 Free Software Foundation, Inc.
846
20674ae6bf52 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 807
diff changeset
5
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 662
diff changeset
6 ;; Author: K. Shane Hartman
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 662
diff changeset
7 ;; Maintainer: FSF
198
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 ;; This file is part of GNU Emacs.
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10
94678
ee5932bf781d Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
11 ;; GNU Emacs is free software: you can redistribute it and/or modify
198
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; it under the terms of the GNU General Public License as published by
94678
ee5932bf781d Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
13 ;; the Free Software Foundation, either version 3 of the License, or
ee5932bf781d Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
14 ;; (at your option) any later version.
198
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; GNU Emacs is distributed in the hope that it will be useful,
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; GNU General Public License for more details.
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 ;; You should have received a copy of the GNU General Public License
94678
ee5932bf781d Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
22 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
198
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23
38412
253f761ad37b Some fixes to follow coding conventions in files maintained by FSF.
Pavel Janík <Pavel@Janik.cz>
parents: 27064
diff changeset
24 ;;; Commentary:
253f761ad37b Some fixes to follow coding conventions in files maintained by FSF.
Pavel Janík <Pavel@Janik.cz>
parents: 27064
diff changeset
25
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 662
diff changeset
26 ;;; Code:
198
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 (require 'electric) ; command loop
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 (require 'chistory) ; history lister
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30
258
1e0bc00dca7a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 198
diff changeset
31 ;;;###autoload
198
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 (defun Electric-command-history-redo-expression (&optional noconfirm)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 "Edit current history line in minibuffer and execute result.
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 With prefix arg NOCONFIRM, execute current line as-is without editing."
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 (interactive "P")
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 (let (todo)
105994
009383a57ce8 * x-dnd.el (x-dnd-maybe-call-test-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 100908
diff changeset
37 (with-current-buffer "*Command History*"
198
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 (beginning-of-line)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 (setq todo (read (current-buffer)))
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 (if (boundp 'electric-history-in-progress)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 (if todo (throw 'electric-history-quit (list noconfirm todo)))))))
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42
95537
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
43 (defvar electric-history-map
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
44 (let ((map (make-sparse-keymap)))
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
45 (define-key map [t] 'Electric-history-undefined)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
46 (define-key map "\e" (make-sparse-keymap))
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
47 (define-key map [?\e t] 'Electric-history-undefined)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
48 (define-key map "\C-u" 'universal-argument)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
49 (define-key map " " 'Electric-command-history-redo-expression)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
50 (define-key map "!" 'Electric-command-history-redo-expression)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
51 (define-key map "\e\C-x" 'eval-sexp)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
52 (define-key map "\e\C-d" 'down-list)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
53 (define-key map "\e\C-u" 'backward-up-list)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
54 (define-key map "\e\C-b" 'backward-sexp)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
55 (define-key map "\e\C-f" 'forward-sexp)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
56 (define-key map "\e\C-a" 'beginning-of-defun)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
57 (define-key map "\e\C-e" 'end-of-defun)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
58 (define-key map "\e\C-n" 'forward-list)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
59 (define-key map "\e\C-p" 'backward-list)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
60 (define-key map "q" 'Electric-history-quit)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
61 (define-key map "\C-c" nil)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
62 (define-key map "\C-c\C-c" 'Electric-history-quit)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
63 (define-key map "\C-]" 'Electric-history-quit)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
64 (define-key map "\C-z" 'suspend-frame)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
65 (define-key map (char-to-string help-char) 'Helper-help)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
66 (define-key map "?" 'Helper-describe-bindings)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
67 (define-key map "\e>" 'end-of-buffer)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
68 (define-key map "\e<" 'beginning-of-buffer)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
69 (define-key map "\n" 'next-line)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
70 (define-key map "\r" 'next-line)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
71 (define-key map "\177" 'previous-line)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
72 (define-key map "\C-n" 'next-line)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
73 (define-key map "\C-p" 'previous-line)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
74 (define-key map "\ev" 'scroll-down)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
75 (define-key map "\C-v" 'scroll-up)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
76 (define-key map [home] 'beginning-of-buffer)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
77 (define-key map [down] 'next-line)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
78 (define-key map [up] 'previous-line)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
79 (define-key map [prior] 'scroll-down)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
80 (define-key map [next] 'scroll-up)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
81 (define-key map "\C-l" 'recenter)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
82 (define-key map "\e\C-v" 'scroll-other-window)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
83 map)
d5cfdf662741 (electric-history-map): Define within defvar. Add docstring.
John Paul Wallington <jpw@pobox.com>
parents: 94678
diff changeset
84 "Keymap for Electric Command History mode.")
198
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 (defvar electric-command-history-hook nil
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 "If non-nil, its value is called by `electric-command-history'.")
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 (defun electric-command-history ()
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 "\\<electric-history-map>Major mode for examining and redoing commands from `command-history'.
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 This pops up a window with the Command History listing.
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 The number of command listed is controlled by `list-command-history-max'.
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 The command history is filtered by `list-command-history-filter' if non-nil.
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 Combines typeout Command History list window with menu like selection
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 of an expression from the history for re-evaluation in the *original* buffer.
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 The history displayed is filtered by `list-command-history-filter' if non-nil.
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 Like Emacs-Lisp mode except that characters do not insert themselves and
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 Tab and Linefeed do not indent. Instead these commands are provided:
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 \\{electric-history-map}
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 Calls the value of `electric-command-history-hook' if that is non-nil.
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 The Command History listing is recomputed each time this mode is invoked."
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 (interactive)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 (let ((electric-history-in-progress t)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 (old-buffer (current-buffer))
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 (todo))
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 (unwind-protect
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 (setq todo
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 (catch 'electric-history-quit
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 (save-window-excursion
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 (save-window-excursion
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 (list-command-history)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 (set-buffer "*Command History*")
27064
9a83b898793c (electric-command-history): Call Command-history-setup
Richard M. Stallman <rms@gnu.org>
parents: 18383
diff changeset
116 (Command-history-setup)
9a83b898793c (electric-command-history): Call Command-history-setup
Richard M. Stallman <rms@gnu.org>
parents: 18383
diff changeset
117 (setq major-mode 'electric-command-history)
9a83b898793c (electric-command-history): Call Command-history-setup
Richard M. Stallman <rms@gnu.org>
parents: 18383
diff changeset
118 (setq mode-name "Electric History")
9a83b898793c (electric-command-history): Call Command-history-setup
Richard M. Stallman <rms@gnu.org>
parents: 18383
diff changeset
119 (use-local-map electric-history-map))
198
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 (Electric-pop-up-window "*Command History*")
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 (run-hooks 'electric-command-history-hook)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 (if (eobp)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 (progn (ding)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 (message "No command history.")
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 (throw 'electric-history-quit nil))
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 (let ((Helper-return-blurb "return to History"))
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 (Electric-command-loop 'electric-history-quit
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 "->" t))))))
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 (set-buffer "*Command History*")
27064
9a83b898793c (electric-command-history): Call Command-history-setup
Richard M. Stallman <rms@gnu.org>
parents: 18383
diff changeset
130 (command-history-mode)
198
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 (bury-buffer (current-buffer)))
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 (if (consp todo)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 (progn (set-buffer old-buffer)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 (if (car todo)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 (apply (car (car (cdr todo))) (cdr (car (cdr todo))))
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 (edit-and-eval-command "Redo: " (car (cdr todo))))))))
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 (defun Electric-history-undefined ()
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 (interactive)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 (ding)
65582
4d1085b02d64 Message format spec fixes (1)
Deepak Goel <deego@gnufans.org>
parents: 64762
diff changeset
141 (message "%s" (substitute-command-keys "Type \\[Helper-help] for help, ? for commands, C-c C-c to quit, Space to execute"))
198
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 (sit-for 4))
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 (defun Electric-history-quit ()
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 "Quit Electric Command History, restoring previous window configuration."
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 (interactive)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 (if (boundp 'electric-history-in-progress)
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 (progn (message "")
db1d84cdb2e2 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 (throw 'electric-history-quit nil))))
662
8a533acedb77 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 258
diff changeset
150
18383
11218164bc54 Add provide call.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
151 (provide 'echistory)
11218164bc54 Add provide call.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
152
93975
1e3a407766b9 Fix up comment convention on the arch-tag lines.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 87649
diff changeset
153 ;; arch-tag: 1e5018fe-190f-44a7-9109-a895dcac4c50
662
8a533acedb77 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 258
diff changeset
154 ;;; echistory.el ends here