annotate lisp/echistory.el @ 110410:f2e111723c3a

Merge changes made in Gnus trunk. Reimplement nnimap, and do tweaks to the rest of the code to support that. * gnus-int.el (gnus-finish-retrieve-group-infos) (gnus-retrieve-group-data-early): New functions. * gnus-range.el (gnus-range-nconcat): New function. * gnus-start.el (gnus-get-unread-articles): Support early retrieval of data. (gnus-read-active-for-groups): Support finishing the early retrieval of data. * gnus-sum.el (gnus-summary-move-article): Pass the move-to group name if the move is internal, so that nnimap can do fast internal moves. * gnus.el (gnus-article-special-mark-lists): Add uid/active tuples, for nnimap usage. * nnimap.el: Rewritten. * nnmail.el (nnmail-inhibit-default-split-group): New internal variable to allow the mail splitting to not return a default group. This is useful for nnimap, which will leave unmatched mail in the inbox. * utf7.el (utf7-encode): Autoload. Implement shell connection. * nnimap.el (nnimap-open-shell-stream): New function. (nnimap-open-connection): Use it. Get the number of lines by using BODYSTRUCTURE. (nnimap-transform-headers): Get the number of lines in each message. (nnimap-retrieve-headers): Query for BODYSTRUCTURE so that we get the number of lines. Not all servers return UIDNEXT. Work past this problem. Remove junk from end of file. Fix typo in "bogus" section. Make capabilties be case-insensitive. Require cl when compiling. Don't bug out if the LIST command doesn't have any parameters. 2010-09-17 Knut Anders Hatlen <kahatlen@gmail.com> (tiny change) * nnimap.el (nnimap-get-groups): Don't bug out if the LIST command doesn't have any parameters. (mm-text-html-renderer): Document gnus-article-html. 2010-09-17 Julien Danjou <julien@danjou.info> (tiny fix) * mm-decode.el (mm-text-html-renderer): Document gnus-article-html. * dgnushack.el: Define netrc-credentials. If the user doesn't have a /etc/services, supply some sensible port defaults. Have `unseen-or-unread' select an unread unseen article first. (nntp-open-server): Return whether the open was successful or not. Throughout all files, replace (save-excursion (set-buffer ...)) with (with-current-buffer ... ). Save result so that it doesn't say "failed" all the time. Add ~/.authinfo to the default, since that's probably most useful for users. Don't use the "finish" method when we're reading from the agent. Add some more nnimap-relevant agent stuff to nnagent.el. * nnimap.el (nnimap-with-process-buffer): Removed. Revert one line that was changed by mistake in the last checkin. (nnimap-open-connection): Don't error out when we can't make a connection nnimap-related changes to avoid bugging out if we can't contact a server. * gnus-start.el (gnus-get-unread-articles): Don't try to scan groups from methods that are denied. * nnimap.el (nnimap-possibly-change-group): Return nil if we can't log in. (nnimap-finish-retrieve-group-infos): Make sure we're not waiting for nothing. * gnus-sum.el (gnus-select-newsgroup): Indent.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Sat, 18 Sep 2010 10:02:19 +0000
parents 1d1d5d9bd884
children 376148b31b5e
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,
106815
1d1d5d9bd884 Add 2010 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 105994
diff changeset
4 ;; 2006, 2007, 2008, 2009, 2010 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