Mercurial > emacs
annotate lisp/repeat.el @ 107249:c7093188c806
Document :otf font-spec property.
* display.texi (Low-Level Font): Document :otf font-spec property.
author | Chong Yidong <cyd@stupidchicken.com> |
---|---|
date | Sat, 27 Feb 2010 10:18:07 -0500 |
parents | 1d1d5d9bd884 |
children | 280c8ae2476d b4971a8966f0 |
rev | line source |
---|---|
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
1 ;;; repeat.el --- convenient way to repeat the previous command |
22131 | 2 |
74442 | 3 ;; Copyright (C) 1998, 2001, 2002, 2003, 2004, 2005, |
106815 | 4 ;; 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc. |
22131 | 5 |
6 ;; Author: Will Mengarini <seldon@eskimo.com> | |
7 ;; Created: Mo 02 Mar 98 | |
8 ;; Version: 0.51, We 13 May 98 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
9 ;; Keywords: convenience, vi, repeat |
22131 | 10 |
11 ;; This file is part of GNU Emacs. | |
12 | |
94678
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
13 ;; GNU Emacs is free software: you can redistribute it and/or modify |
22131 | 14 ;; 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
|
15 ;; 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
|
16 ;; (at your option) any later version. |
22131 | 17 |
38401 | 18 ;; GNU Emacs is distributed in the hope that it will be useful, |
22131 | 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 | |
94678
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
24 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
22131 | 25 |
26 ;;; Commentary: | |
27 | |
28 ;; Sometimes the fastest way to get something done is just to lean on a key; | |
29 ;; moving forward through a series of words by leaning on M-f is an example. | |
30 ;; But 'forward-page is orthodoxily bound to C-x ], so moving forward through | |
31 ;; several pages requires | |
32 ;; Loop until desired page is reached: | |
33 ;; Hold down control key with left pinkie. | |
34 ;; Tap <x>. | |
35 ;; Lift left pinkie off control key. | |
36 ;; Tap <]>. | |
37 ;; This is a pain in the ass. | |
38 | |
39 ;; This package defines a command that repeats the preceding command, | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
40 ;; whatever that was, including its arguments, whatever they were. |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
41 ;; This command is connected to the key C-x z. |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
42 ;; To repeat the previous command once, type C-x z. |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
43 ;; To repeat it a second time immediately after, type just z. |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
44 ;; By typing z again and again, you can repeat the command over and over. |
22131 | 45 |
46 ;; This works correctly inside a keyboard macro as far as recording and | |
47 ;; playback go, but `edit-kbd-macro' gets it wrong. That shouldn't really | |
48 ;; matter; if you need to edit something like | |
49 ;; C-x ] ;; forward-page | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
50 ;; C-x z ;; repeat |
22131 | 51 ;; zz ;; self-insert-command * 2 |
52 ;; C-x ;; Control-X-prefix | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
53 ;; you can just kill the bogus final 2 lines, then duplicate the repeat line |
22131 | 54 ;; as many times as it's really needed. Also, `edit-kbd-macro' works |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
55 ;; correctly if `repeat' is invoked through a rebinding to a single keystroke |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
56 ;; and the global variable repeat-on-final-keystroke is set to a value |
22131 | 57 ;; that doesn't include that keystroke. For example, the lines |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
58 ;; (global-set-key "\C-z" 'repeat) |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
59 ;; (setq repeat-on-final-keystroke "z") |
22131 | 60 ;; in your .emacs would allow `edit-kbd-macro' to work correctly when C-z was |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
61 ;; used in a keyboard macro to invoke `repeat', but would still allow C-x z |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
62 ;; to be used for `repeat' elsewhere. The real reason for documenting this |
22131 | 63 ;; isn't that anybody would need it for the `edit-kbd-macro' problem, but |
64 ;; that there might be other unexpected ramifications of re-executing on | |
65 ;; repetitions of the final keystroke, and this shows how to do workarounds. | |
66 | |
67 ;; If the preceding command had a prefix argument, that argument is applied | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
68 ;; to the repeat command, unless the repeat command is given a new prefix |
22131 | 69 ;; argument, in which case it applies that new prefix argument to the |
70 ;; preceding command. This means a key sequence like C-u - C-x C-t can be | |
71 ;; repeated. (It shoves the preceding line upward in the buffer.) | |
72 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
73 ;; Here are some other key sequences with which repeat might be useful: |
22131 | 74 ;; C-u - C-t [shove preceding character backward in line] |
75 ;; C-u - M-t [shove preceding word backward in sentence] | |
76 ;; C-x ^ enlarge-window [one line] (assuming frame has > 1 window) | |
77 ;; C-u - C-x ^ [shrink window one line] | |
78 ;; C-x ` next-error | |
79 ;; C-u - C-x ` [previous error] | |
80 ;; C-x DEL backward-kill-sentence | |
81 ;; C-x e call-last-kbd-macro | |
82 ;; C-x r i insert-register | |
83 ;; C-x r t string-rectangle | |
84 ;; C-x TAB indent-rigidly [one character] | |
85 ;; C-u - C-x TAB [outdent rigidly one character] | |
86 ;; C-x { shrink-window-horizontally | |
87 ;; C-x } enlarge-window-horizontally | |
88 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
89 ;; This command was first called `vi-dot', because |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
90 ;; it was inspired by the `.' command in the vi editor, |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
91 ;; but it was renamed to make its name more meaningful. |
22131 | 92 |
93 ;;; Code: | |
94 | |
95 ;;;;; ************************* USER OPTIONS ************************** ;;;;; | |
96 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
97 (defcustom repeat-too-dangerous '(kill-this-buffer) |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
98 "Commands too dangerous to repeat with \\[repeat]." |
22132 | 99 :group 'convenience |
100 :type '(repeat function)) | |
22131 | 101 |
102 ;; If the last command was self-insert-command, the char to be inserted was | |
101010
4efc7ca085ce
Replace last-command-char with last-command-event.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
103 ;; obtained by that command from last-command-event, which has now been |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
104 ;; clobbered by the command sequence that invoked `repeat'. We could get it |
101010
4efc7ca085ce
Replace last-command-char with last-command-event.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
105 ;; from (recent-keys) & set last-command-event to that, "unclobbering" it, but |
22131 | 106 ;; this has the disadvantage that if the user types a sequence of different |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
107 ;; chars then invokes repeat, only the final char will be inserted. In vi, |
22131 | 108 ;; the dot command can reinsert the entire most-recently-inserted sequence. |
109 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
110 (defvar repeat-message-function nil |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
111 "If non-nil, function used by `repeat' command to say what it's doing. |
22131 | 112 Message is something like \"Repeating command glorp\". |
22132 | 113 To disable such messages, set this variable to `ignore'. To customize |
22131 | 114 display, assign a function that takes one string as an arg and displays |
115 it however you want.") | |
116 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
117 (defcustom repeat-on-final-keystroke t |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
118 "Allow `repeat' to re-execute for repeating lastchar of a key sequence. |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
119 If this variable is t, `repeat' determines what key sequence |
22131 | 120 it was invoked by, extracts the final character of that sequence, and |
121 re-executes as many times as that final character is hit; so for example | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
122 if `repeat' is bound to C-x z, typing C-x z z z repeats the previous command |
22131 | 123 3 times. If this variable is a sequence of characters, then re-execution |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
124 only occurs if the final character by which `repeat' was invoked is a |
22132 | 125 member of that sequence. If this variable is nil, no re-execution occurs." |
126 :group 'convenience | |
127 :type 'boolean) | |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
38401
diff
changeset
|
128 |
22131 | 129 ;;;;; ****************** HACKS TO THE REST OF EMACS ******************* ;;;;; |
130 | |
131 ;; The basic strategy is to use last-command, a variable built in to Emacs. | |
132 ;; There are 2 issues that complicate this strategy. The first is that | |
133 ;; last-command is given a bogus value when any kill command is executed; | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
134 ;; this is done to make it easy for `yank-pop' to know that it's being invoked |
22131 | 135 ;; after a kill command. The second is that the meaning of the command is |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
136 ;; often altered by the prefix arg, but although Emacs (19.34) has a |
22131 | 137 ;; builtin prefix-arg specifying the arg for the next command, as well as a |
138 ;; builtin current-prefix-arg, it has no builtin last-prefix-arg. | |
139 | |
140 ;; There's a builtin (this-command-keys), the return value of which could be | |
141 ;; executed with (command-execute), but there's no (last-command-keys). | |
142 ;; Using (last-command-keys) if it existed wouldn't be optimal, however, | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
143 ;; since it would complicate checking membership in repeat-too-dangerous. |
22131 | 144 |
145 ;; It would of course be trivial to implement last-prefix-arg & | |
146 ;; true-last-command by putting something in post-command-hook, but that | |
147 ;; entails a performance hit; the approach taken below avoids that. | |
148 | |
149 ;; Coping with strings of self-insert commands gets hairy when they interact | |
150 ;; with auto-filling. Most problems are eliminated by remembering what we're | |
151 ;; self-inserting, so we only need to get it from the undo information once. | |
152 | |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
153 ;; With Emacs 22.2 the variable `last-repeatable-command' stores the |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
154 ;; most recently executed command that was not bound to an input event. |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
155 ;; `repeat' now repeats that command instead of `real-last-command' to |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
156 ;; avoid a "... must be bound to an event with parameters" error. |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
157 |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
158 (defvar repeat-last-self-insert nil |
22131 | 159 "If last repeated command was `self-insert-command', it inserted this.") |
160 | |
161 ;; That'll require another keystroke count so we know we're in a string of | |
162 ;; repetitions of self-insert commands: | |
163 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
164 (defvar repeat-num-input-keys-at-self-insert -1 |
22131 | 165 "# key sequences read in Emacs session when `self-insert-command' repeated.") |
166 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
167 ;;;;; *************** ANALOGOUS HACKS TO `repeat' ITSELF **************** ;;;;; |
22131 | 168 |
169 ;; That mechanism of checking num-input-keys to figure out what's really | |
170 ;; going on can be useful to other commands that need to fine-tune their | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
171 ;; interaction with repeat. Instead of requiring them to advise repeat, we |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
172 ;; can just defvar the value they need here, & setq it in the repeat command: |
22131 | 173 |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
174 (defvar repeat-num-input-keys-at-repeat -1 |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
175 "# key sequences read in Emacs session when `repeat' last invoked.") |
22131 | 176 |
177 ;; Also, we can assign a name to the test for which that variable is | |
178 ;; intended, which thereby documents here how to use it, & makes code that | |
179 ;; uses it self-documenting: | |
180 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
181 (defsubst repeat-is-really-this-command () |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
182 "Return t if this command is happening because user invoked `repeat'. |
22131 | 183 Usually, when a command is executing, the Emacs builtin variable |
184 `this-command' identifies the command the user invoked. Some commands modify | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
185 that variable on the theory they're doing more good than harm; `repeat' does |
22131 | 186 that, and usually does do more good than harm. However, like all do-gooders, |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
187 sometimes `repeat' gets surprising results from its altruism. The value of |
22131 | 188 this function is always whether the value of `this-command' would've been |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
189 'repeat if `repeat' hadn't modified it." |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
190 (= repeat-num-input-keys-at-repeat num-input-keys)) |
22131 | 191 |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
192 ;; An example of the use of (repeat-is-really-this-command) may still be |
22131 | 193 ;; available in <http://www.eskimo.com/~seldon/dotemacs.el>; search for |
194 ;; "defun wm-switch-buffer". | |
195 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
196 ;;;;; ******************* THE REPEAT COMMAND ITSELF ******************* ;;;;; |
22131 | 197 |
23098 | 198 (defvar repeat-previous-repeated-command nil |
199 "The previous repeated command.") | |
200 | |
87862
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
201 ;; The following variable counts repeated self-insertions. The idea is |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
202 ;; that repeating a self-insertion command and subsequently undoing it |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
203 ;; should have almost the same effect as if the characters were inserted |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
204 ;; manually. The basic difference is that we leave in one undo-boundary |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
205 ;; between the original insertion and its first repetition. |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
206 (defvar repeat-undo-count nil |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
207 "Number of self-insertions since last `undo-boundary'.") |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
208 |
22131 | 209 ;;;###autoload |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
210 (defun repeat (repeat-arg) |
22131 | 211 "Repeat most recently executed command. |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
212 With prefix arg, apply new prefix arg to that command; otherwise, |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
213 use the prefix arg that was used before (if any). |
23098 | 214 This command is like the `.' command in the vi editor. |
22131 | 215 |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
216 If this command is invoked by a multi-character key sequence, it |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
217 can then be repeated by repeating the final character of that |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
218 sequence. This behavior can be modified by the global variable |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
219 `repeat-on-final-keystroke'. |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
220 |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
221 `repeat' ignores commands bound to input events. Hence the term |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
222 \"most recently executed command\" shall be read as \"most |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
223 recently executed command not bound to an input event\"." |
22131 | 224 ;; The most recently executed command could be anything, so surprises could |
225 ;; result if it were re-executed in a context where new dynamically | |
226 ;; localized variables were shadowing global variables in a `let' clause in | |
227 ;; here. (Remember that GNU Emacs 19 is dynamically localized.) | |
228 ;; To avoid that, I tried the `lexical-let' of the Common Lisp extensions, | |
229 ;; but that entails a very noticeable performance hit, so instead I use the | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
230 ;; "repeat-" prefix, reserved by this package, for *local* variables that |
22131 | 231 ;; might be visible to re-executed commands, including this function's arg. |
232 (interactive "P") | |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
233 (when (eq last-repeatable-command 'repeat) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
234 (setq last-repeatable-command repeat-previous-repeated-command)) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
235 (cond |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
236 ((null last-repeatable-command) |
23098 | 237 (error "There is nothing to repeat")) |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
238 ((eq last-repeatable-command 'mode-exit) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
239 (error "last-repeatable-command is mode-exit & can't be repeated")) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
240 ((memq last-repeatable-command repeat-too-dangerous) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
241 (error "Command %S too dangerous to repeat automatically" |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
242 last-repeatable-command))) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
243 (setq this-command last-repeatable-command |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
244 repeat-previous-repeated-command last-repeatable-command |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
245 repeat-num-input-keys-at-repeat num-input-keys) |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
246 (when (null repeat-arg) |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
247 (setq repeat-arg last-prefix-arg)) |
22131 | 248 ;; Now determine whether to loop on repeated taps of the final character |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
249 ;; of the key sequence that invoked repeat. The Emacs global |
101010
4efc7ca085ce
Replace last-command-char with last-command-event.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
250 ;; last-command-event contains the final character now, but may not still |
22131 | 251 ;; contain it after the previous command is repeated, so the character |
252 ;; needs to be saved. | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
253 (let ((repeat-repeat-char |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
254 (if (eq repeat-on-final-keystroke t) |
101010
4efc7ca085ce
Replace last-command-char with last-command-event.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
255 last-command-event |
22131 | 256 ;; allow only specified final keystrokes |
101010
4efc7ca085ce
Replace last-command-char with last-command-event.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
257 (car (memq last-command-event |
22131 | 258 (listify-key-sequence |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
259 repeat-on-final-keystroke)))))) |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
260 (if (memq last-repeatable-command '(exit-minibuffer |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
261 minibuffer-complete-and-exit |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
262 self-insert-and-exit)) |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
263 (let ((repeat-command (car command-history))) |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
264 (repeat-message "Repeating %S" repeat-command) |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
265 (eval repeat-command)) |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
266 (if (null repeat-arg) |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
267 (repeat-message "Repeating command %S" last-repeatable-command) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
268 (setq current-prefix-arg repeat-arg) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
269 (repeat-message |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
270 "Repeating command %S %S" repeat-arg last-repeatable-command)) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
271 (if (eq last-repeatable-command 'self-insert-command) |
22131 | 272 (let ((insertion |
273 (if (<= (- num-input-keys | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
274 repeat-num-input-keys-at-self-insert) |
22131 | 275 1) |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
276 repeat-last-self-insert |
22131 | 277 (let ((range (nth 1 buffer-undo-list))) |
278 (condition-case nil | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
279 (setq repeat-last-self-insert |
22131 | 280 (buffer-substring (car range) |
281 (cdr range))) | |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
38401
diff
changeset
|
282 (error (error "%s %s %s" ;Danger, Will Robinson! |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
283 "repeat can't intuit what you" |
22131 | 284 "inserted before auto-fill" |
285 "clobbered it, sorry"))))))) | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
286 (setq repeat-num-input-keys-at-self-insert num-input-keys) |
23474
242836a572c4
(repeat): Handle keyboard macros properly.
Richard M. Stallman <rms@gnu.org>
parents:
23109
diff
changeset
|
287 ;; If the self-insert had a repeat count, INSERTION |
242836a572c4
(repeat): Handle keyboard macros properly.
Richard M. Stallman <rms@gnu.org>
parents:
23109
diff
changeset
|
288 ;; includes that many copies of the same character. |
242836a572c4
(repeat): Handle keyboard macros properly.
Richard M. Stallman <rms@gnu.org>
parents:
23109
diff
changeset
|
289 ;; So use just the first character |
242836a572c4
(repeat): Handle keyboard macros properly.
Richard M. Stallman <rms@gnu.org>
parents:
23109
diff
changeset
|
290 ;; and repeat it the right number of times. |
24531 | 291 (setq insertion (substring insertion -1)) |
23474
242836a572c4
(repeat): Handle keyboard macros properly.
Richard M. Stallman <rms@gnu.org>
parents:
23109
diff
changeset
|
292 (let ((count (prefix-numeric-value repeat-arg)) |
242836a572c4
(repeat): Handle keyboard macros properly.
Richard M. Stallman <rms@gnu.org>
parents:
23109
diff
changeset
|
293 (i 0)) |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
294 ;; Run pre- and post-command hooks for self-insertion too. |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
295 (run-hooks 'pre-command-hook) |
87862
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
296 (cond |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
297 ((not repeat-undo-count)) |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
298 ((< repeat-undo-count 20) |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
299 ;; Don't make an undo-boundary here. |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
300 (setq repeat-undo-count (1+ repeat-undo-count))) |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
301 (t |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
302 ;; Make an undo-boundary after 20 repetitions only. |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
303 (undo-boundary) |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
304 (setq repeat-undo-count 1))) |
23474
242836a572c4
(repeat): Handle keyboard macros properly.
Richard M. Stallman <rms@gnu.org>
parents:
23109
diff
changeset
|
305 (while (< i count) |
242836a572c4
(repeat): Handle keyboard macros properly.
Richard M. Stallman <rms@gnu.org>
parents:
23109
diff
changeset
|
306 (repeat-self-insert insertion) |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
307 (setq i (1+ i))) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
308 (run-hooks 'post-command-hook))) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
309 (let ((indirect (indirect-function last-repeatable-command))) |
87862
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
310 ;; Make each repetition undo separately. |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
311 (undo-boundary) |
24531 | 312 (if (or (stringp indirect) |
313 (vectorp indirect)) | |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
314 ;; Bind real-last-command so that executing the macro does |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
315 ;; not alter it. Do the same for last-repeatable-command. |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
316 (let ((real-last-command real-last-command) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
317 (last-repeatable-command last-repeatable-command)) |
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
318 (execute-kbd-macro last-repeatable-command)) |
61585
d5d321d5c34f
(repeat): Invoke pre-command-hook and post-command-hook.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
319 (run-hooks 'pre-command-hook) |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
320 (call-interactively last-repeatable-command) |
61585
d5d321d5c34f
(repeat): Invoke pre-command-hook and post-command-hook.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
321 (run-hooks 'post-command-hook))))) |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
322 (when repeat-repeat-char |
22131 | 323 ;; A simple recursion here gets into trouble with max-lisp-eval-depth |
324 ;; on long sequences of repetitions of a command like `forward-word' | |
325 ;; (only 32 repetitions are possible given the default value of 200 for | |
326 ;; max-lisp-eval-depth), but if I now locally disable the repeat char I | |
327 ;; can iterate indefinitely here around a single level of recursion. | |
87862
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
328 (let (repeat-on-final-keystroke |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
329 ;; Bind `undo-inhibit-record-point' to t in order to avoid |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
330 ;; recording point in `buffer-undo-list' here. We have to |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
331 ;; do this since the command loop does not set the last |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
332 ;; position of point thus confusing the point recording |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
333 ;; mechanism when inserting or deleting text. |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
334 (undo-inhibit-record-point t)) |
78698
3260c437ca82
(repeat): Use last-repeatable-command instead of
Martin Rudalics <rudalics@gmx.at>
parents:
78236
diff
changeset
|
335 (setq real-last-command 'repeat) |
87862
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
336 (setq repeat-undo-count 1) |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
337 (unwind-protect |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
338 (while (eq (read-event) repeat-repeat-char) |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
339 (repeat repeat-arg)) |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
340 ;; Make sure `repeat-undo-count' is reset. |
b151c81bfd6e
(repeat-undo-count): New variable.
Martin Rudalics <rudalics@gmx.at>
parents:
79721
diff
changeset
|
341 (setq repeat-undo-count nil)) |
22131 | 342 (setq unread-command-events (list last-input-event)))))) |
343 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
344 (defun repeat-self-insert (string) |
22132 | 345 (let ((i 0)) |
346 (while (< i (length string)) | |
101010
4efc7ca085ce
Replace last-command-char with last-command-event.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
347 (let ((last-command-event (aref string i))) |
22132 | 348 (self-insert-command 1)) |
349 (setq i (1+ i))))) | |
350 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
351 (defun repeat-message (format &rest args) |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
352 "Like `message' but displays with `repeat-message-function' if non-nil." |
22131 | 353 (let ((message (apply 'format format args))) |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
354 (if repeat-message-function |
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
355 (funcall repeat-message-function message) |
22131 | 356 (message "%s" message)))) |
357 | |
358 ;; OK, there's one situation left where that doesn't work correctly: when the | |
359 ;; most recent self-insertion provoked an auto-fill. The problem is that | |
360 ;; unravelling the undo information after an auto-fill is too hard, since all | |
361 ;; kinds of stuff can get in there as a result of comment prefixes etc. It'd | |
362 ;; be possible to advise do-auto-fill to record the most recent | |
363 ;; self-insertion before it does its thing, but that's a performance hit on | |
364 ;; auto-fill, which already has performance problems; so it's better to just | |
365 ;; leave it like this. If text didn't provoke an auto-fill when the user | |
366 ;; typed it, this'll correctly repeat its self-insertion, even if the | |
367 ;; repetition does cause auto-fill. | |
368 | |
369 ;; If you wanted perfection, probably it'd be necessary to hack do-auto-fill | |
370 ;; into 2 functions, maybe-do-auto-fill & really-do-auto-fill, because only | |
371 ;; really-do-auto-fill should be advised. As things are, either the undo | |
372 ;; information would need to be scanned on every do-auto-fill invocation, or | |
373 ;; the code at the top of do-auto-fill deciding whether filling is necessary | |
374 ;; would need to be duplicated in the advice, wasting execution time when | |
375 ;; filling does turn out to be necessary. | |
376 | |
377 ;; I thought maybe this story had a moral, something about functional | |
378 ;; decomposition; but now I'm not even sure of that, since a function | |
379 ;; call per se is a performance hit, & even the code that would | |
380 ;; correspond to really-do-auto-fill has performance problems that | |
381 ;; can make it necessary to stop typing while Emacs catches up. | |
382 ;; Maybe the real moral is that perfection is a chimera. | |
383 | |
384 ;; Ah, hell, it's all going to fall into a black hole someday anyway. | |
385 | |
386 ;;;;; ************************* EMACS CONTROL ************************* ;;;;; | |
387 | |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
388 (provide 'repeat) |
22131 | 389 |
93975
1e3a407766b9
Fix up comment convention on the arch-tag lines.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87862
diff
changeset
|
390 ;; arch-tag: cd569600-a1ad-4fa7-9062-bb91dfeaf1db |
22439
3dc0b9f57ff6
Renamed from vi-dot.el.
Richard M. Stallman <rms@gnu.org>
parents:
22132
diff
changeset
|
391 ;;; repeat.el ends here |