Commit | Line | Data |
---|---|---|
8db970a4 RS |
1 | @c -*-texinfo-*- |
2 | @c This is part of the GNU Emacs Lisp Reference Manual. | |
f9f59935 | 3 | @c Copyright (C) 1990, 1991, 1992, 1993, 1994, 1995, 1998 Free Software Foundation, Inc. |
8db970a4 RS |
4 | @c See the file elisp.texi for copying conditions. |
5 | @setfilename ../info/commands | |
6 | @node Command Loop, Keymaps, Minibuffers, Top | |
7 | @chapter Command Loop | |
8 | @cindex editor command loop | |
9 | @cindex command loop | |
10 | ||
11 | When you run Emacs, it enters the @dfn{editor command loop} almost | |
12 | immediately. This loop reads key sequences, executes their definitions, | |
13 | and displays the results. In this chapter, we describe how these things | |
14 | are done, and the subroutines that allow Lisp programs to do them. | |
15 | ||
16 | @menu | |
17 | * Command Overview:: How the command loop reads commands. | |
18 | * Defining Commands:: Specifying how a function should read arguments. | |
19 | * Interactive Call:: Calling a command, so that it will read arguments. | |
20 | * Command Loop Info:: Variables set by the command loop for you to examine. | |
21 | * Input Events:: What input looks like when you read it. | |
22 | * Reading Input:: How to read input events from the keyboard or mouse. | |
f9f59935 | 23 | * Special Events:: Events processed immediately and individually. |
8db970a4 RS |
24 | * Waiting:: Waiting for user input or elapsed time. |
25 | * Quitting:: How @kbd{C-g} works. How to catch or defer quitting. | |
26 | * Prefix Command Arguments:: How the commands to set prefix args work. | |
27 | * Recursive Editing:: Entering a recursive edit, | |
28 | and why you usually shouldn't. | |
29 | * Disabling Commands:: How the command loop handles disabled commands. | |
30 | * Command History:: How the command history is set up, and how accessed. | |
31 | * Keyboard Macros:: How keyboard macros are implemented. | |
32 | @end menu | |
33 | ||
34 | @node Command Overview | |
35 | @section Command Loop Overview | |
36 | ||
37 | The first thing the command loop must do is read a key sequence, which | |
38 | is a sequence of events that translates into a command. It does this by | |
39 | calling the function @code{read-key-sequence}. Your Lisp code can also | |
40 | call this function (@pxref{Key Sequence Input}). Lisp programs can also | |
41 | do input at a lower level with @code{read-event} (@pxref{Reading One | |
42 | Event}) or discard pending input with @code{discard-input} | |
f142f62a | 43 | (@pxref{Event Input Misc}). |
8db970a4 RS |
44 | |
45 | The key sequence is translated into a command through the currently | |
46 | active keymaps. @xref{Key Lookup}, for information on how this is done. | |
47 | The result should be a keyboard macro or an interactively callable | |
48 | function. If the key is @kbd{M-x}, then it reads the name of another | |
f142f62a | 49 | command, which it then calls. This is done by the command |
8db970a4 RS |
50 | @code{execute-extended-command} (@pxref{Interactive Call}). |
51 | ||
f142f62a RS |
52 | To execute a command requires first reading the arguments for it. |
53 | This is done by calling @code{command-execute} (@pxref{Interactive | |
54 | Call}). For commands written in Lisp, the @code{interactive} | |
55 | specification says how to read the arguments. This may use the prefix | |
56 | argument (@pxref{Prefix Command Arguments}) or may read with prompting | |
57 | in the minibuffer (@pxref{Minibuffers}). For example, the command | |
58 | @code{find-file} has an @code{interactive} specification which says to | |
59 | read a file name using the minibuffer. The command's function body does | |
60 | not use the minibuffer; if you call this command from Lisp code as a | |
61 | function, you must supply the file name string as an ordinary Lisp | |
62 | function argument. | |
8db970a4 RS |
63 | |
64 | If the command is a string or vector (i.e., a keyboard macro) then | |
65 | @code{execute-kbd-macro} is used to execute it. You can call this | |
66 | function yourself (@pxref{Keyboard Macros}). | |
67 | ||
f142f62a RS |
68 | To terminate the execution of a running command, type @kbd{C-g}. This |
69 | character causes @dfn{quitting} (@pxref{Quitting}). | |
8db970a4 RS |
70 | |
71 | @defvar pre-command-hook | |
f142f62a RS |
72 | The editor command loop runs this normal hook before each command. At |
73 | that time, @code{this-command} contains the command that is about to | |
74 | run, and @code{last-command} describes the previous command. | |
b22f3a19 | 75 | @xref{Hooks}. |
8db970a4 RS |
76 | @end defvar |
77 | ||
78 | @defvar post-command-hook | |
f142f62a RS |
79 | The editor command loop runs this normal hook after each command |
80 | (including commands terminated prematurely by quitting or by errors), | |
81 | and also when the command loop is first entered. At that time, | |
82 | @code{this-command} describes the command that just ran, and | |
b22f3a19 | 83 | @code{last-command} describes the command before that. @xref{Hooks}. |
8db970a4 RS |
84 | @end defvar |
85 | ||
b22f3a19 | 86 | Quitting is suppressed while running @code{pre-command-hook} and |
bfe721d1 | 87 | @code{post-command-hook}. If an error happens while executing one of |
f9f59935 RS |
88 | these hooks, it terminates execution of the hook, and clears the hook |
89 | variable to @code{nil} so as to prevent an infinite loop of errors. | |
b22f3a19 | 90 | |
8db970a4 RS |
91 | @node Defining Commands |
92 | @section Defining Commands | |
93 | @cindex defining commands | |
94 | @cindex commands, defining | |
95 | @cindex functions, making them interactive | |
96 | @cindex interactive function | |
97 | ||
98 | A Lisp function becomes a command when its body contains, at top | |
b22f3a19 | 99 | level, a form that calls the special form @code{interactive}. This |
8db970a4 RS |
100 | form does nothing when actually executed, but its presence serves as a |
101 | flag to indicate that interactive calling is permitted. Its argument | |
102 | controls the reading of arguments for an interactive call. | |
103 | ||
104 | @menu | |
105 | * Using Interactive:: General rules for @code{interactive}. | |
106 | * Interactive Codes:: The standard letter-codes for reading arguments | |
107 | in various ways. | |
108 | * Interactive Examples:: Examples of how to read interactive arguments. | |
109 | @end menu | |
110 | ||
111 | @node Using Interactive | |
112 | @subsection Using @code{interactive} | |
113 | ||
114 | This section describes how to write the @code{interactive} form that | |
115 | makes a Lisp function an interactively-callable command. | |
116 | ||
117 | @defspec interactive arg-descriptor | |
118 | @cindex argument descriptors | |
119 | This special form declares that the function in which it appears is a | |
120 | command, and that it may therefore be called interactively (via | |
121 | @kbd{M-x} or by entering a key sequence bound to it). The argument | |
f142f62a RS |
122 | @var{arg-descriptor} declares how to compute the arguments to the |
123 | command when the command is called interactively. | |
8db970a4 RS |
124 | |
125 | A command may be called from Lisp programs like any other function, but | |
f142f62a RS |
126 | then the caller supplies the arguments and @var{arg-descriptor} has no |
127 | effect. | |
8db970a4 RS |
128 | |
129 | The @code{interactive} form has its effect because the command loop | |
130 | (actually, its subroutine @code{call-interactively}) scans through the | |
131 | function definition looking for it, before calling the function. Once | |
132 | the function is called, all its body forms including the | |
133 | @code{interactive} form are executed, but at this time | |
134 | @code{interactive} simply returns @code{nil} without even evaluating its | |
135 | argument. | |
136 | @end defspec | |
137 | ||
138 | There are three possibilities for the argument @var{arg-descriptor}: | |
139 | ||
140 | @itemize @bullet | |
141 | @item | |
142 | It may be omitted or @code{nil}; then the command is called with no | |
143 | arguments. This leads quickly to an error if the command requires one | |
144 | or more arguments. | |
145 | ||
146 | @item | |
147 | It may be a Lisp expression that is not a string; then it should be a | |
148 | form that is evaluated to get a list of arguments to pass to the | |
149 | command. | |
150 | @cindex argument evaluation form | |
151 | ||
3a2485be RS |
152 | If this expression reads keyboard input (this includes using the |
153 | minibuffer), keep in mind that the integer value of point or the mark | |
154 | before reading input may be incorrect after reading input. This is | |
155 | because the current buffer may be receiving subprocess output; | |
156 | if subprocess output arrives while the command is waiting for input, | |
157 | it could relocate point and the mark. | |
158 | ||
159 | Here's an example of what @emph{not} to do: | |
160 | ||
161 | @smallexample | |
162 | (interactive | |
163 | (list (region-beginning) (region-end) | |
164 | (read-string "Foo: " nil 'my-history))) | |
165 | @end smallexample | |
166 | ||
167 | @noindent | |
168 | Here's how to avoid the problem, by examining point and the mark only | |
169 | after reading the keyboard input: | |
170 | ||
171 | @smallexample | |
172 | (interactive | |
173 | (let ((string (read-string "Foo: " nil 'my-history))) | |
174 | (list (region-beginning) (region-end) string))) | |
175 | @end smallexample | |
176 | ||
8db970a4 RS |
177 | @item |
178 | @cindex argument prompt | |
179 | It may be a string; then its contents should consist of a code character | |
180 | followed by a prompt (which some code characters use and some ignore). | |
181 | The prompt ends either with the end of the string or with a newline. | |
182 | Here is a simple example: | |
183 | ||
184 | @smallexample | |
185 | (interactive "bFrobnicate buffer: ") | |
186 | @end smallexample | |
187 | ||
188 | @noindent | |
189 | The code letter @samp{b} says to read the name of an existing buffer, | |
190 | with completion. The buffer name is the sole argument passed to the | |
191 | command. The rest of the string is a prompt. | |
192 | ||
193 | If there is a newline character in the string, it terminates the prompt. | |
194 | If the string does not end there, then the rest of the string should | |
195 | contain another code character and prompt, specifying another argument. | |
196 | You can specify any number of arguments in this way. | |
197 | ||
198 | @c Emacs 19 feature | |
199 | The prompt string can use @samp{%} to include previous argument values | |
b22f3a19 RS |
200 | (starting with the first argument) in the prompt. This is done using |
201 | @code{format} (@pxref{Formatting Strings}). For example, here is how | |
202 | you could read the name of an existing buffer followed by a new name to | |
203 | give to that buffer: | |
8db970a4 RS |
204 | |
205 | @smallexample | |
206 | @group | |
207 | (interactive "bBuffer to rename: \nsRename buffer %s to: ") | |
208 | @end group | |
209 | @end smallexample | |
210 | ||
211 | @cindex @samp{*} in interactive | |
f142f62a | 212 | @cindex read-only buffers in interactive |
8db970a4 RS |
213 | If the first character in the string is @samp{*}, then an error is |
214 | signaled if the buffer is read-only. | |
215 | ||
216 | @cindex @samp{@@} in interactive | |
217 | @c Emacs 19 feature | |
218 | If the first character in the string is @samp{@@}, and if the key | |
219 | sequence used to invoke the command includes any mouse events, then | |
220 | the window associated with the first of those events is selected | |
221 | before the command is run. | |
222 | ||
223 | You can use @samp{*} and @samp{@@} together; the order does not matter. | |
224 | Actual reading of arguments is controlled by the rest of the prompt | |
225 | string (starting with the first character that is not @samp{*} or | |
226 | @samp{@@}). | |
227 | @end itemize | |
228 | ||
229 | @node Interactive Codes | |
230 | @comment node-name, next, previous, up | |
231 | @subsection Code Characters for @code{interactive} | |
232 | @cindex interactive code description | |
233 | @cindex description for interactive codes | |
234 | @cindex codes, interactive, description of | |
235 | @cindex characters for interactive codes | |
236 | ||
237 | The code character descriptions below contain a number of key words, | |
238 | defined here as follows: | |
239 | ||
240 | @table @b | |
241 | @item Completion | |
242 | @cindex interactive completion | |
243 | Provide completion. @key{TAB}, @key{SPC}, and @key{RET} perform name | |
244 | completion because the argument is read using @code{completing-read} | |
245 | (@pxref{Completion}). @kbd{?} displays a list of possible completions. | |
246 | ||
247 | @item Existing | |
248 | Require the name of an existing object. An invalid name is not | |
249 | accepted; the commands to exit the minibuffer do not exit if the current | |
250 | input is not valid. | |
251 | ||
252 | @item Default | |
253 | @cindex default argument string | |
254 | A default value of some sort is used if the user enters no text in the | |
255 | minibuffer. The default depends on the code character. | |
256 | ||
257 | @item No I/O | |
258 | This code letter computes an argument without reading any input. | |
259 | Therefore, it does not use a prompt string, and any prompt string you | |
260 | supply is ignored. | |
261 | ||
f142f62a RS |
262 | Even though the code letter doesn't use a prompt string, you must follow |
263 | it with a newline if it is not the last code character in the string. | |
264 | ||
8db970a4 RS |
265 | @item Prompt |
266 | A prompt immediately follows the code character. The prompt ends either | |
267 | with the end of the string or with a newline. | |
268 | ||
269 | @item Special | |
270 | This code character is meaningful only at the beginning of the | |
271 | interactive string, and it does not look for a prompt or a newline. | |
272 | It is a single, isolated character. | |
273 | @end table | |
274 | ||
275 | @cindex reading interactive arguments | |
276 | Here are the code character descriptions for use with @code{interactive}: | |
277 | ||
278 | @table @samp | |
279 | @item * | |
280 | Signal an error if the current buffer is read-only. Special. | |
281 | ||
282 | @item @@ | |
283 | Select the window mentioned in the first mouse event in the key | |
284 | sequence that invoked this command. Special. | |
285 | ||
286 | @item a | |
b22f3a19 | 287 | A function name (i.e., a symbol satisfying @code{fboundp}). Existing, |
8db970a4 RS |
288 | Completion, Prompt. |
289 | ||
290 | @item b | |
291 | The name of an existing buffer. By default, uses the name of the | |
292 | current buffer (@pxref{Buffers}). Existing, Completion, Default, | |
293 | Prompt. | |
294 | ||
295 | @item B | |
296 | A buffer name. The buffer need not exist. By default, uses the name of | |
297 | a recently used buffer other than the current buffer. Completion, | |
b22f3a19 | 298 | Default, Prompt. |
8db970a4 RS |
299 | |
300 | @item c | |
301 | A character. The cursor does not move into the echo area. Prompt. | |
302 | ||
303 | @item C | |
304 | A command name (i.e., a symbol satisfying @code{commandp}). Existing, | |
305 | Completion, Prompt. | |
306 | ||
307 | @item d | |
308 | @cindex position argument | |
f142f62a | 309 | The position of point, as an integer (@pxref{Point}). No I/O. |
8db970a4 RS |
310 | |
311 | @item D | |
312 | A directory name. The default is the current default directory of the | |
313 | current buffer, @code{default-directory} (@pxref{System Environment}). | |
314 | Existing, Completion, Default, Prompt. | |
315 | ||
316 | @item e | |
317 | The first or next mouse event in the key sequence that invoked the command. | |
b22f3a19 | 318 | More precisely, @samp{e} gets events that are lists, so you can look at |
8db970a4 RS |
319 | the data in the lists. @xref{Input Events}. No I/O. |
320 | ||
321 | You can use @samp{e} more than once in a single command's interactive | |
b22f3a19 | 322 | specification. If the key sequence that invoked the command has |
f142f62a | 323 | @var{n} events that are lists, the @var{n}th @samp{e} provides the |
b22f3a19 | 324 | @var{n}th such event. Events that are not lists, such as function keys |
8241495d | 325 | and @sc{ascii} characters, do not count where @samp{e} is concerned. |
8db970a4 | 326 | |
8db970a4 RS |
327 | @item f |
328 | A file name of an existing file (@pxref{File Names}). The default | |
329 | directory is @code{default-directory}. Existing, Completion, Default, | |
330 | Prompt. | |
331 | ||
332 | @item F | |
333 | A file name. The file need not exist. Completion, Default, Prompt. | |
334 | ||
a9f0a989 RS |
335 | @item i |
336 | An irrelevant argument. This code always supplies @code{nil} as | |
337 | the argument's value. No I/O. | |
338 | ||
8db970a4 RS |
339 | @item k |
340 | A key sequence (@pxref{Keymap Terminology}). This keeps reading events | |
341 | until a command (or undefined command) is found in the current key | |
342 | maps. The key sequence argument is represented as a string or vector. | |
343 | The cursor does not move into the echo area. Prompt. | |
344 | ||
345 | This kind of input is used by commands such as @code{describe-key} and | |
346 | @code{global-set-key}. | |
347 | ||
22697dac KH |
348 | @item K |
349 | A key sequence, whose definition you intend to change. This works like | |
350 | @samp{k}, except that it suppresses, for the last input event in the key | |
351 | sequence, the conversions that are normally used (when necessary) to | |
352 | convert an undefined key into a defined one. | |
353 | ||
8db970a4 RS |
354 | @item m |
355 | @cindex marker argument | |
f142f62a | 356 | The position of the mark, as an integer. No I/O. |
8db970a4 | 357 | |
f9f59935 RS |
358 | @item M |
359 | Arbitrary text, read in the minibuffer using the current buffer's input | |
360 | method, and returned as a string (@pxref{Input Methods,,, emacs, The GNU | |
361 | Emacs Manual}). Prompt. | |
362 | ||
8db970a4 RS |
363 | @item n |
364 | A number read with the minibuffer. If the input is not a number, the | |
365 | user is asked to try again. The prefix argument, if any, is not used. | |
366 | Prompt. | |
367 | ||
368 | @item N | |
369 | @cindex raw prefix argument usage | |
b39da8b1 RS |
370 | The numeric prefix argument; but if there is no prefix argument, read a |
371 | number as with @kbd{n}. Requires a number. @xref{Prefix Command | |
b22f3a19 | 372 | Arguments}. Prompt. |
8db970a4 RS |
373 | |
374 | @item p | |
375 | @cindex numeric prefix argument usage | |
376 | The numeric prefix argument. (Note that this @samp{p} is lower case.) | |
b22f3a19 | 377 | No I/O. |
8db970a4 RS |
378 | |
379 | @item P | |
b22f3a19 RS |
380 | The raw prefix argument. (Note that this @samp{P} is upper case.) No |
381 | I/O. | |
8db970a4 RS |
382 | |
383 | @item r | |
384 | @cindex region argument | |
385 | Point and the mark, as two numeric arguments, smallest first. This is | |
386 | the only code letter that specifies two successive arguments rather than | |
387 | one. No I/O. | |
388 | ||
389 | @item s | |
390 | Arbitrary text, read in the minibuffer and returned as a string | |
391 | (@pxref{Text from Minibuffer}). Terminate the input with either | |
969fe9b5 | 392 | @kbd{C-j} or @key{RET}. (@kbd{C-q} may be used to include either of |
8db970a4 RS |
393 | these characters in the input.) Prompt. |
394 | ||
395 | @item S | |
396 | An interned symbol whose name is read in the minibuffer. Any whitespace | |
397 | character terminates the input. (Use @kbd{C-q} to include whitespace in | |
398 | the string.) Other characters that normally terminate a symbol (e.g., | |
399 | parentheses and brackets) do not do so here. Prompt. | |
400 | ||
401 | @item v | |
402 | A variable declared to be a user option (i.e., satisfying the predicate | |
403 | @code{user-variable-p}). @xref{High-Level Completion}. Existing, | |
404 | Completion, Prompt. | |
405 | ||
406 | @item x | |
b22f3a19 | 407 | A Lisp object, specified with its read syntax, terminated with a |
969fe9b5 | 408 | @kbd{C-j} or @key{RET}. The object is not evaluated. @xref{Object from |
8db970a4 RS |
409 | Minibuffer}. Prompt. |
410 | ||
411 | @item X | |
412 | @cindex evaluated expression argument | |
413 | A Lisp form is read as with @kbd{x}, but then evaluated so that its | |
414 | value becomes the argument for the command. Prompt. | |
a9f0a989 RS |
415 | |
416 | @item z | |
417 | A coding system name (a symbol). If the user enters null input, the | |
418 | argument value is @code{nil}. @xref{Coding Systems}. Completion, | |
419 | Existing, Prompt. | |
420 | ||
421 | @item Z | |
422 | A coding system name (a symbol)---but only if this command has a prefix | |
423 | argument. With no prefix argument, @samp{Z} provides @code{nil} as the | |
424 | argument value. Completion, Existing, Prompt. | |
8db970a4 RS |
425 | @end table |
426 | ||
427 | @node Interactive Examples | |
428 | @comment node-name, next, previous, up | |
429 | @subsection Examples of Using @code{interactive} | |
430 | @cindex examples of using @code{interactive} | |
431 | @cindex @code{interactive}, examples of using | |
432 | ||
433 | Here are some examples of @code{interactive}: | |
434 | ||
435 | @example | |
436 | @group | |
437 | (defun foo1 () ; @r{@code{foo1} takes no arguments,} | |
438 | (interactive) ; @r{just moves forward two words.} | |
439 | (forward-word 2)) | |
440 | @result{} foo1 | |
441 | @end group | |
442 | ||
443 | @group | |
444 | (defun foo2 (n) ; @r{@code{foo2} takes one argument,} | |
445 | (interactive "p") ; @r{which is the numeric prefix.} | |
446 | (forward-word (* 2 n))) | |
447 | @result{} foo2 | |
448 | @end group | |
449 | ||
450 | @group | |
451 | (defun foo3 (n) ; @r{@code{foo3} takes one argument,} | |
452 | (interactive "nCount:") ; @r{which is read with the Minibuffer.} | |
453 | (forward-word (* 2 n))) | |
454 | @result{} foo3 | |
455 | @end group | |
456 | ||
457 | @group | |
458 | (defun three-b (b1 b2 b3) | |
459 | "Select three existing buffers. | |
460 | Put them into three windows, selecting the last one." | |
461 | @end group | |
462 | (interactive "bBuffer1:\nbBuffer2:\nbBuffer3:") | |
463 | (delete-other-windows) | |
464 | (split-window (selected-window) 8) | |
465 | (switch-to-buffer b1) | |
466 | (other-window 1) | |
467 | (split-window (selected-window) 8) | |
468 | (switch-to-buffer b2) | |
469 | (other-window 1) | |
470 | (switch-to-buffer b3)) | |
471 | @result{} three-b | |
472 | @group | |
473 | (three-b "*scratch*" "declarations.texi" "*mail*") | |
474 | @result{} nil | |
475 | @end group | |
476 | @end example | |
477 | ||
478 | @node Interactive Call | |
479 | @section Interactive Call | |
480 | @cindex interactive call | |
481 | ||
f9f59935 RS |
482 | After the command loop has translated a key sequence into a command it |
483 | invokes that command using the function @code{command-execute}. If the | |
484 | command is a function, @code{command-execute} calls | |
485 | @code{call-interactively}, which reads the arguments and calls the | |
486 | command. You can also call these functions yourself. | |
8db970a4 RS |
487 | |
488 | @defun commandp object | |
489 | Returns @code{t} if @var{object} is suitable for calling interactively; | |
490 | that is, if @var{object} is a command. Otherwise, returns @code{nil}. | |
491 | ||
492 | The interactively callable objects include strings and vectors (treated | |
493 | as keyboard macros), lambda expressions that contain a top-level call to | |
bfe721d1 | 494 | @code{interactive}, byte-code function objects made from such lambda |
f142f62a RS |
495 | expressions, autoload objects that are declared as interactive |
496 | (non-@code{nil} fourth argument to @code{autoload}), and some of the | |
497 | primitive functions. | |
8db970a4 | 498 | |
969fe9b5 | 499 | A symbol satisfies @code{commandp} if its function definition satisfies |
8db970a4 RS |
500 | @code{commandp}. |
501 | ||
502 | Keys and keymaps are not commands. Rather, they are used to look up | |
503 | commands (@pxref{Keymaps}). | |
504 | ||
505 | See @code{documentation} in @ref{Accessing Documentation}, for a | |
506 | realistic example of using @code{commandp}. | |
507 | @end defun | |
508 | ||
f9f59935 | 509 | @defun call-interactively command &optional record-flag keys |
8db970a4 RS |
510 | This function calls the interactively callable function @var{command}, |
511 | reading arguments according to its interactive calling specifications. | |
b22f3a19 RS |
512 | An error is signaled if @var{command} is not a function or if it cannot |
513 | be called interactively (i.e., is not a command). Note that keyboard | |
514 | macros (strings and vectors) are not accepted, even though they are | |
515 | considered commands, because they are not functions. | |
8db970a4 RS |
516 | |
517 | @cindex record command history | |
518 | If @var{record-flag} is non-@code{nil}, then this command and its | |
519 | arguments are unconditionally added to the list @code{command-history}. | |
520 | Otherwise, the command is added only if it uses the minibuffer to read | |
521 | an argument. @xref{Command History}. | |
f9f59935 RS |
522 | |
523 | The argument @var{keys}, if given, specifies the sequence of events to | |
969fe9b5 | 524 | supply if the command inquires which events were used to invoke it. |
8db970a4 RS |
525 | @end defun |
526 | ||
f9f59935 | 527 | @defun command-execute command &optional record-flag keys |
8db970a4 | 528 | @cindex keyboard macro execution |
f9f59935 RS |
529 | This function executes @var{command}. The argument @var{command} must |
530 | satisfy the @code{commandp} predicate; i.e., it must be an interactively | |
531 | callable function or a keyboard macro. | |
8db970a4 RS |
532 | |
533 | A string or vector as @var{command} is executed with | |
534 | @code{execute-kbd-macro}. A function is passed to | |
535 | @code{call-interactively}, along with the optional @var{record-flag}. | |
536 | ||
537 | A symbol is handled by using its function definition in its place. A | |
538 | symbol with an @code{autoload} definition counts as a command if it was | |
539 | declared to stand for an interactively callable function. Such a | |
540 | definition is handled by loading the specified library and then | |
541 | rechecking the definition of the symbol. | |
f9f59935 RS |
542 | |
543 | The argument @var{keys}, if given, specifies the sequence of events to | |
969fe9b5 | 544 | supply if the command inquires which events were used to invoke it. |
8db970a4 RS |
545 | @end defun |
546 | ||
547 | @deffn Command execute-extended-command prefix-argument | |
548 | @cindex read command name | |
549 | This function reads a command name from the minibuffer using | |
550 | @code{completing-read} (@pxref{Completion}). Then it uses | |
551 | @code{command-execute} to call the specified command. Whatever that | |
552 | command returns becomes the value of @code{execute-extended-command}. | |
553 | ||
554 | @cindex execute with prefix argument | |
f142f62a RS |
555 | If the command asks for a prefix argument, it receives the value |
556 | @var{prefix-argument}. If @code{execute-extended-command} is called | |
557 | interactively, the current raw prefix argument is used for | |
8db970a4 RS |
558 | @var{prefix-argument}, and thus passed on to whatever command is run. |
559 | ||
560 | @c !!! Should this be @kindex? | |
561 | @cindex @kbd{M-x} | |
562 | @code{execute-extended-command} is the normal definition of @kbd{M-x}, | |
563 | so it uses the string @w{@samp{M-x }} as a prompt. (It would be better | |
564 | to take the prompt from the events used to invoke | |
565 | @code{execute-extended-command}, but that is painful to implement.) A | |
566 | description of the value of the prefix argument, if any, also becomes | |
567 | part of the prompt. | |
568 | ||
569 | @example | |
570 | @group | |
571 | (execute-extended-command 1) | |
572 | ---------- Buffer: Minibuffer ---------- | |
b22f3a19 | 573 | 1 M-x forward-word RET |
8db970a4 RS |
574 | ---------- Buffer: Minibuffer ---------- |
575 | @result{} t | |
576 | @end group | |
577 | @end example | |
578 | @end deffn | |
579 | ||
580 | @defun interactive-p | |
9e2b495b RS |
581 | This function returns @code{t} if the containing function (the one whose |
582 | code includes the call to @code{interactive-p}) was called | |
583 | interactively, with the function @code{call-interactively}. (It makes | |
584 | no difference whether @code{call-interactively} was called from Lisp or | |
585 | directly from the editor command loop.) If the containing function was | |
586 | called by Lisp evaluation (or with @code{apply} or @code{funcall}), then | |
587 | it was not called interactively. | |
969fe9b5 | 588 | @end defun |
8db970a4 | 589 | |
969fe9b5 | 590 | The most common use of @code{interactive-p} is for deciding whether to |
8db970a4 RS |
591 | print an informative message. As a special exception, |
592 | @code{interactive-p} returns @code{nil} whenever a keyboard macro is | |
593 | being run. This is to suppress the informative messages and speed | |
594 | execution of the macro. | |
595 | ||
969fe9b5 | 596 | For example: |
8db970a4 RS |
597 | |
598 | @example | |
599 | @group | |
600 | (defun foo () | |
601 | (interactive) | |
969fe9b5 RS |
602 | (when (interactive-p) |
603 | (message "foo"))) | |
8db970a4 RS |
604 | @result{} foo |
605 | @end group | |
606 | ||
607 | @group | |
608 | (defun bar () | |
609 | (interactive) | |
610 | (setq foobar (list (foo) (interactive-p)))) | |
611 | @result{} bar | |
612 | @end group | |
613 | ||
614 | @group | |
615 | ;; @r{Type @kbd{M-x foo}.} | |
616 | @print{} foo | |
617 | @end group | |
618 | ||
619 | @group | |
620 | ;; @r{Type @kbd{M-x bar}.} | |
621 | ;; @r{This does not print anything.} | |
622 | @end group | |
623 | ||
624 | @group | |
625 | foobar | |
626 | @result{} (nil t) | |
627 | @end group | |
628 | @end example | |
969fe9b5 RS |
629 | |
630 | The other way to do this sort of job is to make the command take an | |
631 | argument @code{print-message} which should be non-@code{nil} in an | |
632 | interactive call, and use the @code{interactive} spec to make sure it is | |
633 | non-@code{nil}. Here's how: | |
634 | ||
635 | @example | |
636 | (defun foo (&optional print-message) | |
637 | (interactive "p") | |
638 | (when print-message | |
639 | (message "foo"))) | |
640 | @end example | |
641 | ||
642 | The numeric prefix argument, provided by @samp{p}, is never @code{nil}. | |
8db970a4 RS |
643 | |
644 | @node Command Loop Info | |
645 | @comment node-name, next, previous, up | |
646 | @section Information from the Command Loop | |
647 | ||
648 | The editor command loop sets several Lisp variables to keep status | |
649 | records for itself and for commands that are run. | |
650 | ||
651 | @defvar last-command | |
652 | This variable records the name of the previous command executed by the | |
653 | command loop (the one before the current command). Normally the value | |
654 | is a symbol with a function definition, but this is not guaranteed. | |
655 | ||
f142f62a | 656 | The value is copied from @code{this-command} when a command returns to |
f9f59935 RS |
657 | the command loop, except when the command has specified a prefix |
658 | argument for the following command. | |
bfe721d1 KH |
659 | |
660 | This variable is always local to the current terminal and cannot be | |
661 | buffer-local. @xref{Multiple Displays}. | |
8db970a4 RS |
662 | @end defvar |
663 | ||
03c6b7f6 RS |
664 | @tindex real-last-command |
665 | @defvar real-last-command | |
666 | This variable is set up by Emacs just like @code{last-command}, | |
667 | but never altered by Lisp programs. | |
668 | @end defvar | |
669 | ||
8db970a4 RS |
670 | @defvar this-command |
671 | @cindex current command | |
672 | This variable records the name of the command now being executed by | |
673 | the editor command loop. Like @code{last-command}, it is normally a symbol | |
674 | with a function definition. | |
675 | ||
f142f62a RS |
676 | The command loop sets this variable just before running a command, and |
677 | copies its value into @code{last-command} when the command finishes | |
f9f59935 | 678 | (unless the command specified a prefix argument for the following |
f142f62a | 679 | command). |
8db970a4 RS |
680 | |
681 | @cindex kill command repetition | |
f142f62a | 682 | Some commands set this variable during their execution, as a flag for |
bfe721d1 | 683 | whatever command runs next. In particular, the functions for killing text |
f142f62a RS |
684 | set @code{this-command} to @code{kill-region} so that any kill commands |
685 | immediately following will know to append the killed text to the | |
686 | previous kill. | |
8db970a4 RS |
687 | @end defvar |
688 | ||
689 | If you do not want a particular command to be recognized as the previous | |
690 | command in the case where it got an error, you must code that command to | |
691 | prevent this. One way is to set @code{this-command} to @code{t} at the | |
692 | beginning of the command, and set @code{this-command} back to its proper | |
693 | value at the end, like this: | |
694 | ||
695 | @example | |
696 | (defun foo (args@dots{}) | |
697 | (interactive @dots{}) | |
698 | (let ((old-this-command this-command)) | |
699 | (setq this-command t) | |
700 | @r{@dots{}do the work@dots{}} | |
701 | (setq this-command old-this-command))) | |
702 | @end example | |
703 | ||
f9f59935 RS |
704 | @noindent |
705 | We do not bind @code{this-command} with @code{let} because that would | |
706 | restore the old value in case of error---a feature of @code{let} which | |
707 | in this case does precisely what we want to avoid. | |
708 | ||
8db970a4 RS |
709 | @defun this-command-keys |
710 | This function returns a string or vector containing the key sequence | |
711 | that invoked the present command, plus any previous commands that | |
712 | generated the prefix argument for this command. The value is a string | |
713 | if all those events were characters. @xref{Input Events}. | |
714 | ||
715 | @example | |
716 | @group | |
717 | (this-command-keys) | |
b22f3a19 | 718 | ;; @r{Now use @kbd{C-u C-x C-e} to evaluate that.} |
8db970a4 RS |
719 | @result{} "^U^X^E" |
720 | @end group | |
721 | @end example | |
722 | @end defun | |
723 | ||
969fe9b5 RS |
724 | @defun this-command-keys-vector |
725 | Like @code{this-command-keys}, except that it always returns | |
726 | the events in a vector, so you do never need to deal with the complexities | |
727 | of storing input events in a string (@pxref{Strings of Events}). | |
728 | @end defun | |
729 | ||
b6954afd RS |
730 | @tindex clear-this-command-keys |
731 | @defun clear-this-command-keys | |
732 | This function empties out the table of events for | |
733 | @code{this-command-keys} to return. This is useful after reading a | |
734 | password, to prevent the password from echoing inadvertently as part of | |
735 | the next command in certain cases. | |
736 | @end defun | |
737 | ||
8db970a4 | 738 | @defvar last-nonmenu-event |
969fe9b5 RS |
739 | This variable holds the last input event read as part of a key sequence, |
740 | not counting events resulting from mouse menus. | |
8db970a4 | 741 | |
f9f59935 | 742 | One use of this variable is for telling @code{x-popup-menu} where to pop |
969fe9b5 RS |
743 | up a menu. It is also used internally by @code{y-or-n-p} |
744 | (@pxref{Yes-or-No Queries}). | |
8db970a4 RS |
745 | @end defvar |
746 | ||
747 | @defvar last-command-event | |
748 | @defvarx last-command-char | |
749 | This variable is set to the last input event that was read by the | |
750 | command loop as part of a command. The principal use of this variable | |
751 | is in @code{self-insert-command}, which uses it to decide which | |
752 | character to insert. | |
753 | ||
754 | @example | |
755 | @group | |
f142f62a | 756 | last-command-event |
b22f3a19 | 757 | ;; @r{Now use @kbd{C-u C-x C-e} to evaluate that.} |
8db970a4 RS |
758 | @result{} 5 |
759 | @end group | |
760 | @end example | |
761 | ||
762 | @noindent | |
8241495d | 763 | The value is 5 because that is the @sc{ascii} code for @kbd{C-e}. |
8db970a4 RS |
764 | |
765 | The alias @code{last-command-char} exists for compatibility with | |
766 | Emacs version 18. | |
767 | @end defvar | |
768 | ||
769 | @c Emacs 19 feature | |
770 | @defvar last-event-frame | |
771 | This variable records which frame the last input event was directed to. | |
772 | Usually this is the frame that was selected when the event was | |
773 | generated, but if that frame has redirected input focus to another | |
774 | frame, the value is the frame to which the event was redirected. | |
775 | @xref{Input Focus}. | |
776 | @end defvar | |
777 | ||
8db970a4 RS |
778 | @node Input Events |
779 | @section Input Events | |
780 | @cindex events | |
781 | @cindex input events | |
782 | ||
783 | The Emacs command loop reads a sequence of @dfn{input events} that | |
784 | represent keyboard or mouse activity. The events for keyboard activity | |
785 | are characters or symbols; mouse events are always lists. This section | |
786 | describes the representation and meaning of input events in detail. | |
787 | ||
8db970a4 | 788 | @defun eventp object |
a9f0a989 RS |
789 | This function returns non-@code{nil} if @var{object} is an input event |
790 | or event type. | |
791 | ||
792 | Note that any symbol might be used as an event or an event type. | |
793 | @code{eventp} cannot distinguish whether a symbol is intended by Lisp | |
794 | code to be used as an event. Instead, it distinguishes whether the | |
795 | symbol has actually been used in an event that has been read as input in | |
796 | the current Emacs session. If a symbol has not yet been so used, | |
797 | @code{eventp} returns @code{nil}. | |
8db970a4 RS |
798 | @end defun |
799 | ||
800 | @menu | |
801 | * Keyboard Events:: Ordinary characters--keys with symbols on them. | |
802 | * Function Keys:: Function keys--keys with names, not symbols. | |
f142f62a | 803 | * Mouse Events:: Overview of mouse events. |
8db970a4 RS |
804 | * Click Events:: Pushing and releasing a mouse button. |
805 | * Drag Events:: Moving the mouse before releasing the button. | |
806 | * Button-Down Events:: A button was pushed and not yet released. | |
807 | * Repeat Events:: Double and triple click (or drag, or down). | |
808 | * Motion Events:: Just moving the mouse, not pushing a button. | |
809 | * Focus Events:: Moving the mouse between frames. | |
22697dac | 810 | * Misc Events:: Other events window systems can generate. |
8db970a4 RS |
811 | * Event Examples:: Examples of the lists for mouse events. |
812 | * Classifying Events:: Finding the modifier keys in an event symbol. | |
813 | Event types. | |
814 | * Accessing Events:: Functions to extract info from events. | |
815 | * Strings of Events:: Special considerations for putting | |
816 | keyboard character events in a string. | |
817 | @end menu | |
818 | ||
819 | @node Keyboard Events | |
820 | @subsection Keyboard Events | |
821 | ||
822 | There are two kinds of input you can get from the keyboard: ordinary | |
823 | keys, and function keys. Ordinary keys correspond to characters; the | |
969fe9b5 RS |
824 | events they generate are represented in Lisp as characters. The event |
825 | type of a character event is the character itself (an integer); see | |
826 | @ref{Classifying Events}. | |
8db970a4 RS |
827 | |
828 | @cindex modifier bits (of input character) | |
829 | @cindex basic code (of input character) | |
830 | An input character event consists of a @dfn{basic code} between 0 and | |
f9f59935 | 831 | 524287, plus any or all of these @dfn{modifier bits}: |
8db970a4 RS |
832 | |
833 | @table @asis | |
834 | @item meta | |
bfe721d1 | 835 | The |
969fe9b5 | 836 | @tex |
8241495d | 837 | @math{2^{27}} |
969fe9b5 | 838 | @end tex |
bfe721d1 KH |
839 | @ifinfo |
840 | 2**27 | |
841 | @end ifinfo | |
842 | bit in the character code indicates a character | |
8db970a4 RS |
843 | typed with the meta key held down. |
844 | ||
845 | @item control | |
bfe721d1 | 846 | The |
969fe9b5 | 847 | @tex |
8241495d | 848 | @math{2^{26}} |
969fe9b5 | 849 | @end tex |
bfe721d1 KH |
850 | @ifinfo |
851 | 2**26 | |
852 | @end ifinfo | |
8241495d | 853 | bit in the character code indicates a non-@sc{ascii} |
8db970a4 RS |
854 | control character. |
855 | ||
8241495d | 856 | @sc{ascii} control characters such as @kbd{C-a} have special basic |
8db970a4 RS |
857 | codes of their own, so Emacs needs no special bit to indicate them. |
858 | Thus, the code for @kbd{C-a} is just 1. | |
859 | ||
8241495d | 860 | But if you type a control combination not in @sc{ascii}, such as |
8db970a4 | 861 | @kbd{%} with the control key, the numeric value you get is the code |
bfe721d1 | 862 | for @kbd{%} plus |
969fe9b5 | 863 | @tex |
8241495d | 864 | @math{2^{26}} |
969fe9b5 | 865 | @end tex |
bfe721d1 KH |
866 | @ifinfo |
867 | 2**26 | |
868 | @end ifinfo | |
8241495d | 869 | (assuming the terminal supports non-@sc{ascii} |
8db970a4 RS |
870 | control characters). |
871 | ||
872 | @item shift | |
bfe721d1 | 873 | The |
969fe9b5 | 874 | @tex |
8241495d | 875 | @math{2^{25}} |
969fe9b5 | 876 | @end tex |
bfe721d1 KH |
877 | @ifinfo |
878 | 2**25 | |
879 | @end ifinfo | |
8241495d | 880 | bit in the character code indicates an @sc{ascii} control |
8db970a4 RS |
881 | character typed with the shift key held down. |
882 | ||
f9f59935 RS |
883 | For letters, the basic code itself indicates upper versus lower case; |
884 | for digits and punctuation, the shift key selects an entirely different | |
885 | character with a different basic code. In order to keep within the | |
8241495d | 886 | @sc{ascii} character set whenever possible, Emacs avoids using the |
969fe9b5 | 887 | @tex |
8241495d | 888 | @math{2^{25}} |
969fe9b5 | 889 | @end tex |
bfe721d1 KH |
890 | @ifinfo |
891 | 2**25 | |
892 | @end ifinfo | |
893 | bit for those characters. | |
8db970a4 | 894 | |
8241495d | 895 | However, @sc{ascii} provides no way to distinguish @kbd{C-A} from |
bfe721d1 | 896 | @kbd{C-a}, so Emacs uses the |
969fe9b5 | 897 | @tex |
8241495d | 898 | @math{2^{25}} |
969fe9b5 | 899 | @end tex |
bfe721d1 KH |
900 | @ifinfo |
901 | 2**25 | |
902 | @end ifinfo | |
903 | bit in @kbd{C-A} and not in | |
8db970a4 RS |
904 | @kbd{C-a}. |
905 | ||
906 | @item hyper | |
bfe721d1 | 907 | The |
969fe9b5 | 908 | @tex |
8241495d | 909 | @math{2^{24}} |
969fe9b5 | 910 | @end tex |
bfe721d1 KH |
911 | @ifinfo |
912 | 2**24 | |
913 | @end ifinfo | |
914 | bit in the character code indicates a character | |
8db970a4 RS |
915 | typed with the hyper key held down. |
916 | ||
917 | @item super | |
bfe721d1 | 918 | The |
969fe9b5 | 919 | @tex |
8241495d | 920 | @math{2^{23}} |
969fe9b5 | 921 | @end tex |
bfe721d1 KH |
922 | @ifinfo |
923 | 2**23 | |
924 | @end ifinfo | |
925 | bit in the character code indicates a character | |
8db970a4 RS |
926 | typed with the super key held down. |
927 | ||
928 | @item alt | |
bfe721d1 | 929 | The |
969fe9b5 | 930 | @tex |
8241495d | 931 | @math{2^{22}} |
969fe9b5 | 932 | @end tex |
bfe721d1 KH |
933 | @ifinfo |
934 | 2**22 | |
935 | @end ifinfo | |
936 | bit in the character code indicates a character typed with | |
8db970a4 RS |
937 | the alt key held down. (On some terminals, the key labeled @key{ALT} |
938 | is actually the meta key.) | |
939 | @end table | |
940 | ||
bfe721d1 KH |
941 | It is best to avoid mentioning specific bit numbers in your program. |
942 | To test the modifier bits of a character, use the function | |
943 | @code{event-modifiers} (@pxref{Classifying Events}). When making key | |
944 | bindings, you can use the read syntax for characters with modifier bits | |
945 | (@samp{\C-}, @samp{\M-}, and so on). For making key bindings with | |
946 | @code{define-key}, you can use lists such as @code{(control hyper ?x)} to | |
947 | specify the characters (@pxref{Changing Key Bindings}). The function | |
948 | @code{event-convert-list} converts such a list into an event type | |
949 | (@pxref{Classifying Events}). | |
8db970a4 RS |
950 | |
951 | @node Function Keys | |
952 | @subsection Function Keys | |
953 | ||
954 | @cindex function keys | |
b22f3a19 | 955 | Most keyboards also have @dfn{function keys}---keys that have names or |
f9f59935 RS |
956 | symbols that are not characters. Function keys are represented in Emacs |
957 | Lisp as symbols; the symbol's name is the function key's label, in lower | |
f142f62a RS |
958 | case. For example, pressing a key labeled @key{F1} places the symbol |
959 | @code{f1} in the input stream. | |
8db970a4 | 960 | |
f142f62a RS |
961 | The event type of a function key event is the event symbol itself. |
962 | @xref{Classifying Events}. | |
8db970a4 | 963 | |
b22f3a19 | 964 | Here are a few special cases in the symbol-naming convention for |
8db970a4 RS |
965 | function keys: |
966 | ||
967 | @table @asis | |
968 | @item @code{backspace}, @code{tab}, @code{newline}, @code{return}, @code{delete} | |
8241495d | 969 | These keys correspond to common @sc{ascii} control characters that have |
8db970a4 RS |
970 | special keys on most keyboards. |
971 | ||
8241495d | 972 | In @sc{ascii}, @kbd{C-i} and @key{TAB} are the same character. If the |
f142f62a RS |
973 | terminal can distinguish between them, Emacs conveys the distinction to |
974 | Lisp programs by representing the former as the integer 9, and the | |
975 | latter as the symbol @code{tab}. | |
8db970a4 RS |
976 | |
977 | Most of the time, it's not useful to distinguish the two. So normally | |
4324b7ab RS |
978 | @code{function-key-map} (@pxref{Translating Input}) is set up to map |
979 | @code{tab} into 9. Thus, a key binding for character code 9 (the | |
980 | character @kbd{C-i}) also applies to @code{tab}. Likewise for the other | |
981 | symbols in this group. The function @code{read-char} likewise converts | |
982 | these events into characters. | |
8db970a4 | 983 | |
8241495d | 984 | In @sc{ascii}, @key{BS} is really @kbd{C-h}. But @code{backspace} |
8db970a4 RS |
985 | converts into the character code 127 (@key{DEL}), not into code 8 |
986 | (@key{BS}). This is what most users prefer. | |
987 | ||
b22f3a19 RS |
988 | @item @code{left}, @code{up}, @code{right}, @code{down} |
989 | Cursor arrow keys | |
8db970a4 RS |
990 | @item @code{kp-add}, @code{kp-decimal}, @code{kp-divide}, @dots{} |
991 | Keypad keys (to the right of the regular keyboard). | |
992 | @item @code{kp-0}, @code{kp-1}, @dots{} | |
993 | Keypad keys with digits. | |
994 | @item @code{kp-f1}, @code{kp-f2}, @code{kp-f3}, @code{kp-f4} | |
995 | Keypad PF keys. | |
b22f3a19 | 996 | @item @code{kp-home}, @code{kp-left}, @code{kp-up}, @code{kp-right}, @code{kp-down} |
f9f59935 RS |
997 | Keypad arrow keys. Emacs normally translates these into the |
998 | corresponding non-keypad keys @code{home}, @code{left}, @dots{} | |
b22f3a19 RS |
999 | @item @code{kp-prior}, @code{kp-next}, @code{kp-end}, @code{kp-begin}, @code{kp-insert}, @code{kp-delete} |
1000 | Additional keypad duplicates of keys ordinarily found elsewhere. Emacs | |
1001 | normally translates these into the like-named non-keypad keys. | |
8db970a4 RS |
1002 | @end table |
1003 | ||
b22f3a19 RS |
1004 | You can use the modifier keys @key{ALT}, @key{CTRL}, @key{HYPER}, |
1005 | @key{META}, @key{SHIFT}, and @key{SUPER} with function keys. The way to | |
1006 | represent them is with prefixes in the symbol name: | |
8db970a4 RS |
1007 | |
1008 | @table @samp | |
1009 | @item A- | |
1010 | The alt modifier. | |
1011 | @item C- | |
1012 | The control modifier. | |
1013 | @item H- | |
1014 | The hyper modifier. | |
1015 | @item M- | |
1016 | The meta modifier. | |
1017 | @item S- | |
1018 | The shift modifier. | |
1019 | @item s- | |
1020 | The super modifier. | |
1021 | @end table | |
1022 | ||
1023 | Thus, the symbol for the key @key{F3} with @key{META} held down is | |
8609b2e2 | 1024 | @code{M-f3}. When you use more than one prefix, we recommend you |
f142f62a RS |
1025 | write them in alphabetical order; but the order does not matter in |
1026 | arguments to the key-binding lookup and modification functions. | |
1027 | ||
1028 | @node Mouse Events | |
1029 | @subsection Mouse Events | |
1030 | ||
1031 | Emacs supports four kinds of mouse events: click events, drag events, | |
1032 | button-down events, and motion events. All mouse events are represented | |
1033 | as lists. The @sc{car} of the list is the event type; this says which | |
1034 | mouse button was involved, and which modifier keys were used with it. | |
1035 | The event type can also distinguish double or triple button presses | |
1036 | (@pxref{Repeat Events}). The rest of the list elements give position | |
1037 | and time information. | |
1038 | ||
1039 | For key lookup, only the event type matters: two events of the same type | |
1040 | necessarily run the same command. The command can access the full | |
1041 | values of these events using the @samp{e} interactive code. | |
1042 | @xref{Interactive Codes}. | |
1043 | ||
1044 | A key sequence that starts with a mouse event is read using the keymaps | |
1045 | of the buffer in the window that the mouse was in, not the current | |
1046 | buffer. This does not imply that clicking in a window selects that | |
1047 | window or its buffer---that is entirely under the control of the command | |
1048 | binding of the key sequence. | |
8db970a4 RS |
1049 | |
1050 | @node Click Events | |
1051 | @subsection Click Events | |
1052 | @cindex click event | |
1053 | @cindex mouse click event | |
1054 | ||
1055 | When the user presses a mouse button and releases it at the same | |
1056 | location, that generates a @dfn{click} event. Mouse click events have | |
1057 | this form: | |
1058 | ||
1059 | @example | |
1060 | (@var{event-type} | |
f142f62a | 1061 | (@var{window} @var{buffer-pos} (@var{x} . @var{y}) @var{timestamp}) |
8db970a4 RS |
1062 | @var{click-count}) |
1063 | @end example | |
1064 | ||
1065 | Here is what the elements normally mean: | |
1066 | ||
f142f62a RS |
1067 | @table @asis |
1068 | @item @var{event-type} | |
8db970a4 RS |
1069 | This is a symbol that indicates which mouse button was used. It is |
1070 | one of the symbols @code{mouse-1}, @code{mouse-2}, @dots{}, where the | |
f142f62a | 1071 | buttons are numbered left to right. |
8db970a4 RS |
1072 | |
1073 | You can also use prefixes @samp{A-}, @samp{C-}, @samp{H-}, @samp{M-}, | |
1074 | @samp{S-} and @samp{s-} for modifiers alt, control, hyper, meta, shift | |
1075 | and super, just as you would with function keys. | |
1076 | ||
1077 | This symbol also serves as the event type of the event. Key bindings | |
1078 | describe events by their types; thus, if there is a key binding for | |
1079 | @code{mouse-1}, that binding would apply to all events whose | |
1080 | @var{event-type} is @code{mouse-1}. | |
1081 | ||
f142f62a | 1082 | @item @var{window} |
8db970a4 RS |
1083 | This is the window in which the click occurred. |
1084 | ||
f142f62a | 1085 | @item @var{x}, @var{y} |
b22f3a19 RS |
1086 | These are the pixel-denominated coordinates of the click, relative to |
1087 | the top left corner of @var{window}, which is @code{(0 . 0)}. | |
8db970a4 | 1088 | |
f142f62a | 1089 | @item @var{buffer-pos} |
8db970a4 RS |
1090 | This is the buffer position of the character clicked on. |
1091 | ||
f142f62a | 1092 | @item @var{timestamp} |
8db970a4 RS |
1093 | This is the time at which the event occurred, in milliseconds. (Since |
1094 | this value wraps around the entire range of Emacs Lisp integers in about | |
1095 | five hours, it is useful only for relating the times of nearby events.) | |
1096 | ||
f142f62a | 1097 | @item @var{click-count} |
8db970a4 RS |
1098 | This is the number of rapid repeated presses so far of the same mouse |
1099 | button. @xref{Repeat Events}. | |
1100 | @end table | |
1101 | ||
f142f62a RS |
1102 | The meanings of @var{buffer-pos}, @var{x} and @var{y} are somewhat |
1103 | different when the event location is in a special part of the screen, | |
1104 | such as the mode line or a scroll bar. | |
8db970a4 RS |
1105 | |
1106 | If the location is in a scroll bar, then @var{buffer-pos} is the symbol | |
1107 | @code{vertical-scroll-bar} or @code{horizontal-scroll-bar}, and the pair | |
1108 | @code{(@var{x} . @var{y})} is replaced with a pair @code{(@var{portion} | |
1109 | . @var{whole})}, where @var{portion} is the distance of the click from | |
1110 | the top or left end of the scroll bar, and @var{whole} is the length of | |
1111 | the entire scroll bar. | |
1112 | ||
1113 | If the position is on a mode line or the vertical line separating | |
1114 | @var{window} from its neighbor to the right, then @var{buffer-pos} is | |
1115 | the symbol @code{mode-line} or @code{vertical-line}. For the mode line, | |
f142f62a RS |
1116 | @var{y} does not have meaningful data. For the vertical line, @var{x} |
1117 | does not have meaningful data. | |
8db970a4 | 1118 | |
b22f3a19 RS |
1119 | In one special case, @var{buffer-pos} is a list containing a symbol (one |
1120 | of the symbols listed above) instead of just the symbol. This happens | |
1121 | after the imaginary prefix keys for the event are inserted into the | |
1122 | input stream. @xref{Key Sequence Input}. | |
8db970a4 RS |
1123 | |
1124 | @node Drag Events | |
1125 | @subsection Drag Events | |
1126 | @cindex drag event | |
1127 | @cindex mouse drag event | |
1128 | ||
1129 | With Emacs, you can have a drag event without even changing your | |
1130 | clothes. A @dfn{drag event} happens every time the user presses a mouse | |
1131 | button and then moves the mouse to a different character position before | |
1132 | releasing the button. Like all mouse events, drag events are | |
1133 | represented in Lisp as lists. The lists record both the starting mouse | |
1134 | position and the final position, like this: | |
1135 | ||
1136 | @example | |
1137 | (@var{event-type} | |
f142f62a RS |
1138 | (@var{window1} @var{buffer-pos1} (@var{x1} . @var{y1}) @var{timestamp1}) |
1139 | (@var{window2} @var{buffer-pos2} (@var{x2} . @var{y2}) @var{timestamp2}) | |
8db970a4 RS |
1140 | @var{click-count}) |
1141 | @end example | |
1142 | ||
1143 | For a drag event, the name of the symbol @var{event-type} contains the | |
f9f59935 RS |
1144 | prefix @samp{drag-}. For example, dragging the mouse with button 2 held |
1145 | down generates a @code{drag-mouse-2} event. The second and third | |
1146 | elements of the event give the starting and ending position of the drag. | |
1147 | Aside from that, the data have the same meanings as in a click event | |
1148 | (@pxref{Click Events}). You can access the second element of any mouse | |
1149 | event in the same way, with no need to distinguish drag events from | |
1150 | others. | |
8db970a4 RS |
1151 | |
1152 | The @samp{drag-} prefix follows the modifier key prefixes such as | |
1153 | @samp{C-} and @samp{M-}. | |
1154 | ||
b22f3a19 | 1155 | If @code{read-key-sequence} receives a drag event that has no key |
8db970a4 RS |
1156 | binding, and the corresponding click event does have a binding, it |
1157 | changes the drag event into a click event at the drag's starting | |
1158 | position. This means that you don't have to distinguish between click | |
1159 | and drag events unless you want to. | |
1160 | ||
1161 | @node Button-Down Events | |
1162 | @subsection Button-Down Events | |
1163 | @cindex button-down event | |
1164 | ||
1165 | Click and drag events happen when the user releases a mouse button. | |
1166 | They cannot happen earlier, because there is no way to distinguish a | |
1167 | click from a drag until the button is released. | |
1168 | ||
1169 | If you want to take action as soon as a button is pressed, you need to | |
1170 | handle @dfn{button-down} events.@footnote{Button-down is the | |
f142f62a | 1171 | conservative antithesis of drag.} These occur as soon as a button is |
b22f3a19 | 1172 | pressed. They are represented by lists that look exactly like click |
f142f62a RS |
1173 | events (@pxref{Click Events}), except that the @var{event-type} symbol |
1174 | name contains the prefix @samp{down-}. The @samp{down-} prefix follows | |
8db970a4 RS |
1175 | modifier key prefixes such as @samp{C-} and @samp{M-}. |
1176 | ||
969fe9b5 RS |
1177 | The function @code{read-key-sequence} ignores any button-down events |
1178 | that don't have command bindings; therefore, the Emacs command loop | |
1179 | ignores them too. This means that you need not worry about defining | |
1180 | button-down events unless you want them to do something. The usual | |
1181 | reason to define a button-down event is so that you can track mouse | |
1182 | motion (by reading motion events) until the button is released. | |
1183 | @xref{Motion Events}. | |
8db970a4 RS |
1184 | |
1185 | @node Repeat Events | |
1186 | @subsection Repeat Events | |
1187 | @cindex repeat events | |
1188 | @cindex double-click events | |
1189 | @cindex triple-click events | |
1190 | ||
1191 | If you press the same mouse button more than once in quick succession | |
f142f62a RS |
1192 | without moving the mouse, Emacs generates special @dfn{repeat} mouse |
1193 | events for the second and subsequent presses. | |
8db970a4 RS |
1194 | |
1195 | The most common repeat events are @dfn{double-click} events. Emacs | |
1196 | generates a double-click event when you click a button twice; the event | |
1197 | happens when you release the button (as is normal for all click | |
1198 | events). | |
1199 | ||
1200 | The event type of a double-click event contains the prefix | |
f142f62a | 1201 | @samp{double-}. Thus, a double click on the second mouse button with |
8db970a4 RS |
1202 | @key{meta} held down comes to the Lisp program as |
1203 | @code{M-double-mouse-2}. If a double-click event has no binding, the | |
1204 | binding of the corresponding ordinary click event is used to execute | |
1205 | it. Thus, you need not pay attention to the double click feature | |
1206 | unless you really want to. | |
1207 | ||
1208 | When the user performs a double click, Emacs generates first an ordinary | |
f142f62a RS |
1209 | click event, and then a double-click event. Therefore, you must design |
1210 | the command binding of the double click event to assume that the | |
8db970a4 RS |
1211 | single-click command has already run. It must produce the desired |
1212 | results of a double click, starting from the results of a single click. | |
1213 | ||
f142f62a RS |
1214 | This is convenient, if the meaning of a double click somehow ``builds |
1215 | on'' the meaning of a single click---which is recommended user interface | |
1216 | design practice for double clicks. | |
8db970a4 RS |
1217 | |
1218 | If you click a button, then press it down again and start moving the | |
1219 | mouse with the button held down, then you get a @dfn{double-drag} event | |
1220 | when you ultimately release the button. Its event type contains | |
1221 | @samp{double-drag} instead of just @samp{drag}. If a double-drag event | |
1222 | has no binding, Emacs looks for an alternate binding as if the event | |
b22f3a19 | 1223 | were an ordinary drag. |
8db970a4 RS |
1224 | |
1225 | Before the double-click or double-drag event, Emacs generates a | |
f142f62a RS |
1226 | @dfn{double-down} event when the user presses the button down for the |
1227 | second time. Its event type contains @samp{double-down} instead of just | |
8db970a4 RS |
1228 | @samp{down}. If a double-down event has no binding, Emacs looks for an |
1229 | alternate binding as if the event were an ordinary button-down event. | |
f142f62a RS |
1230 | If it finds no binding that way either, the double-down event is |
1231 | ignored. | |
8db970a4 RS |
1232 | |
1233 | To summarize, when you click a button and then press it again right | |
b22f3a19 RS |
1234 | away, Emacs generates a down event and a click event for the first |
1235 | click, a double-down event when you press the button again, and finally | |
1236 | either a double-click or a double-drag event. | |
8db970a4 RS |
1237 | |
1238 | If you click a button twice and then press it again, all in quick | |
1239 | succession, Emacs generates a @dfn{triple-down} event, followed by | |
1240 | either a @dfn{triple-click} or a @dfn{triple-drag}. The event types of | |
1241 | these events contain @samp{triple} instead of @samp{double}. If any | |
1242 | triple event has no binding, Emacs uses the binding that it would use | |
1243 | for the corresponding double event. | |
1244 | ||
f142f62a RS |
1245 | If you click a button three or more times and then press it again, the |
1246 | events for the presses beyond the third are all triple events. Emacs | |
1247 | does not have separate event types for quadruple, quintuple, etc.@: | |
1248 | events. However, you can look at the event list to find out precisely | |
1249 | how many times the button was pressed. | |
8db970a4 RS |
1250 | |
1251 | @defun event-click-count event | |
1252 | This function returns the number of consecutive button presses that led | |
1253 | up to @var{event}. If @var{event} is a double-down, double-click or | |
1254 | double-drag event, the value is 2. If @var{event} is a triple event, | |
1255 | the value is 3 or greater. If @var{event} is an ordinary mouse event | |
1256 | (not a repeat event), the value is 1. | |
1257 | @end defun | |
1258 | ||
1259 | @defvar double-click-time | |
f142f62a RS |
1260 | To generate repeat events, successive mouse button presses must be at |
1261 | the same screen position, and the number of milliseconds between | |
1262 | successive button presses must be less than the value of | |
8db970a4 RS |
1263 | @code{double-click-time}. Setting @code{double-click-time} to |
1264 | @code{nil} disables multi-click detection entirely. Setting it to | |
1265 | @code{t} removes the time limit; Emacs then detects multi-clicks by | |
1266 | position only. | |
1267 | @end defvar | |
1268 | ||
1269 | @node Motion Events | |
1270 | @subsection Motion Events | |
1271 | @cindex motion event | |
1272 | @cindex mouse motion events | |
1273 | ||
1274 | Emacs sometimes generates @dfn{mouse motion} events to describe motion | |
1275 | of the mouse without any button activity. Mouse motion events are | |
1276 | represented by lists that look like this: | |
1277 | ||
1278 | @example | |
969fe9b5 | 1279 | (mouse-movement (@var{window} @var{buffer-pos} (@var{x} . @var{y}) @var{timestamp})) |
8db970a4 RS |
1280 | @end example |
1281 | ||
1282 | The second element of the list describes the current position of the | |
1283 | mouse, just as in a click event (@pxref{Click Events}). | |
1284 | ||
1285 | The special form @code{track-mouse} enables generation of motion events | |
1286 | within its body. Outside of @code{track-mouse} forms, Emacs does not | |
1287 | generate events for mere motion of the mouse, and these events do not | |
969fe9b5 | 1288 | appear. @xref{Mouse Tracking}. |
8db970a4 RS |
1289 | |
1290 | @node Focus Events | |
1291 | @subsection Focus Events | |
1292 | @cindex focus event | |
1293 | ||
1294 | Window systems provide general ways for the user to control which window | |
1295 | gets keyboard input. This choice of window is called the @dfn{focus}. | |
1296 | When the user does something to switch between Emacs frames, that | |
1297 | generates a @dfn{focus event}. The normal definition of a focus event, | |
1298 | in the global keymap, is to select a new frame within Emacs, as the user | |
1299 | would expect. @xref{Input Focus}. | |
1300 | ||
1301 | Focus events are represented in Lisp as lists that look like this: | |
1302 | ||
1303 | @example | |
1304 | (switch-frame @var{new-frame}) | |
1305 | @end example | |
1306 | ||
1307 | @noindent | |
1308 | where @var{new-frame} is the frame switched to. | |
1309 | ||
b22f3a19 RS |
1310 | Most X window managers are set up so that just moving the mouse into a |
1311 | window is enough to set the focus there. Emacs appears to do this, | |
1312 | because it changes the cursor to solid in the new frame. However, there | |
1313 | is no need for the Lisp program to know about the focus change until | |
1314 | some other kind of input arrives. So Emacs generates a focus event only | |
1315 | when the user actually types a keyboard key or presses a mouse button in | |
1316 | the new frame; just moving the mouse between frames does not generate a | |
1317 | focus event. | |
8db970a4 RS |
1318 | |
1319 | A focus event in the middle of a key sequence would garble the | |
1320 | sequence. So Emacs never generates a focus event in the middle of a key | |
1321 | sequence. If the user changes focus in the middle of a key | |
1322 | sequence---that is, after a prefix key---then Emacs reorders the events | |
1323 | so that the focus event comes either before or after the multi-event key | |
1324 | sequence, and not within it. | |
1325 | ||
22697dac KH |
1326 | @node Misc Events |
1327 | @subsection Miscellaneous Window System Events | |
1328 | ||
1329 | A few other event types represent occurrences within the window system. | |
1330 | ||
1331 | @table @code | |
1332 | @cindex @code{delete-frame} event | |
1333 | @item (delete-frame (@var{frame})) | |
1334 | This kind of event indicates that the user gave the window manager | |
1335 | a command to delete a particular window, which happens to be an Emacs frame. | |
1336 | ||
1337 | The standard definition of the @code{delete-frame} event is to delete @var{frame}. | |
1338 | ||
1339 | @cindex @code{iconify-frame} event | |
1340 | @item (iconify-frame (@var{frame})) | |
1341 | This kind of event indicates that the user iconified @var{frame} using | |
d473987a RS |
1342 | the window manager. Its standard definition is @code{ignore}; since the |
1343 | frame has already been iconified, Emacs has no work to do. The purpose | |
1344 | of this event type is so that you can keep track of such events if you | |
1345 | want to. | |
22697dac | 1346 | |
1774d17e RS |
1347 | @cindex @code{make-frame-visible} event |
1348 | @item (make-frame-visible (@var{frame})) | |
22697dac KH |
1349 | This kind of event indicates that the user deiconified @var{frame} using |
1350 | the window manager. Its standard definition is @code{ignore}; since the | |
d473987a | 1351 | frame has already been made visible, Emacs has no work to do. |
a9f0a989 RS |
1352 | |
1353 | @cindex @code{mouse-wheel} event | |
1354 | @item (mouse-wheel @var{position} @var{delta}) | |
1355 | This kind of event is generated by moving a wheel on a mouse (such as | |
1356 | the MS Intellimouse). Its effect is typically a kind of scroll or zoom. | |
1357 | ||
1358 | The element @var{delta} describes the amount and direction of the wheel | |
1359 | rotation. Its absolute value is the number of increments by which the | |
1360 | wheel was rotated. A negative @var{delta} indicates that the wheel was | |
1361 | rotated backwards, towards the user, and a positive @var{delta} | |
1362 | indicates that the wheel was rotated forward, away from the user. | |
1363 | ||
1364 | The element @var{position} is a list describing the position of the | |
1365 | event, in the same format as used in a mouse-click event. | |
1366 | ||
1367 | This kind of event is generated only on some kinds of systems. | |
1368 | ||
1369 | @cindex @code{drag-n-drop} event | |
1370 | @item (drag-n-drop @var{position} @var{files}) | |
1371 | This kind of event is generated when a group of files is | |
1372 | selected in an application outside of Emacs, and then dragged and | |
1373 | dropped onto an Emacs frame. | |
1374 | ||
1375 | The element @var{position} is a list describing the position of the | |
1376 | event, in the same format as used in a mouse-click event, and | |
1377 | @var{files} is the list of file names that were dragged and dropped. | |
1378 | The usual way to handle this event is by visiting these files. | |
1379 | ||
1380 | This kind of event is generated, at present, only on some kinds of | |
1381 | systems. | |
22697dac KH |
1382 | @end table |
1383 | ||
bfe721d1 KH |
1384 | If one of these events arrives in the middle of a key sequence---that |
1385 | is, after a prefix key---then Emacs reorders the events so that this | |
1386 | event comes either before or after the multi-event key sequence, not | |
1387 | within it. | |
1388 | ||
8db970a4 RS |
1389 | @node Event Examples |
1390 | @subsection Event Examples | |
1391 | ||
1392 | If the user presses and releases the left mouse button over the same | |
1393 | location, that generates a sequence of events like this: | |
1394 | ||
1395 | @smallexample | |
1396 | (down-mouse-1 (#<window 18 on NEWS> 2613 (0 . 38) -864320)) | |
1397 | (mouse-1 (#<window 18 on NEWS> 2613 (0 . 38) -864180)) | |
1398 | @end smallexample | |
1399 | ||
f142f62a | 1400 | While holding the control key down, the user might hold down the |
8db970a4 RS |
1401 | second mouse button, and drag the mouse from one line to the next. |
1402 | That produces two events, as shown here: | |
1403 | ||
1404 | @smallexample | |
1405 | (C-down-mouse-2 (#<window 18 on NEWS> 3440 (0 . 27) -731219)) | |
1406 | (C-drag-mouse-2 (#<window 18 on NEWS> 3440 (0 . 27) -731219) | |
1407 | (#<window 18 on NEWS> 3510 (0 . 28) -729648)) | |
1408 | @end smallexample | |
1409 | ||
f142f62a | 1410 | While holding down the meta and shift keys, the user might press the |
8db970a4 | 1411 | second mouse button on the window's mode line, and then drag the mouse |
f142f62a | 1412 | into another window. That produces a pair of events like these: |
8db970a4 RS |
1413 | |
1414 | @smallexample | |
1415 | (M-S-down-mouse-2 (#<window 18 on NEWS> mode-line (33 . 31) -457844)) | |
1416 | (M-S-drag-mouse-2 (#<window 18 on NEWS> mode-line (33 . 31) -457844) | |
1417 | (#<window 20 on carlton-sanskrit.tex> 161 (33 . 3) | |
1418 | -453816)) | |
1419 | @end smallexample | |
1420 | ||
1421 | @node Classifying Events | |
1422 | @subsection Classifying Events | |
1423 | @cindex event type | |
1424 | ||
b22f3a19 RS |
1425 | Every event has an @dfn{event type}, which classifies the event for |
1426 | key binding purposes. For a keyboard event, the event type equals the | |
1427 | event value; thus, the event type for a character is the character, and | |
1428 | the event type for a function key symbol is the symbol itself. For | |
1429 | events that are lists, the event type is the symbol in the @sc{car} of | |
1430 | the list. Thus, the event type is always a symbol or a character. | |
8db970a4 RS |
1431 | |
1432 | Two events of the same type are equivalent where key bindings are | |
1433 | concerned; thus, they always run the same command. That does not | |
1434 | necessarily mean they do the same things, however, as some commands look | |
1435 | at the whole event to decide what to do. For example, some commands use | |
f142f62a | 1436 | the location of a mouse event to decide where in the buffer to act. |
8db970a4 RS |
1437 | |
1438 | Sometimes broader classifications of events are useful. For example, | |
1439 | you might want to ask whether an event involved the @key{META} key, | |
1440 | regardless of which other key or mouse button was used. | |
1441 | ||
1442 | The functions @code{event-modifiers} and @code{event-basic-type} are | |
1443 | provided to get such information conveniently. | |
1444 | ||
1445 | @defun event-modifiers event | |
f142f62a RS |
1446 | This function returns a list of the modifiers that @var{event} has. The |
1447 | modifiers are symbols; they include @code{shift}, @code{control}, | |
8db970a4 | 1448 | @code{meta}, @code{alt}, @code{hyper} and @code{super}. In addition, |
f142f62a RS |
1449 | the modifiers list of a mouse event symbol always contains one of |
1450 | @code{click}, @code{drag}, and @code{down}. | |
1451 | ||
1452 | The argument @var{event} may be an entire event object, or just an event | |
1453 | type. | |
1454 | ||
1455 | Here are some examples: | |
8db970a4 RS |
1456 | |
1457 | @example | |
1458 | (event-modifiers ?a) | |
1459 | @result{} nil | |
1460 | (event-modifiers ?\C-a) | |
1461 | @result{} (control) | |
1462 | (event-modifiers ?\C-%) | |
1463 | @result{} (control) | |
1464 | (event-modifiers ?\C-\S-a) | |
1465 | @result{} (control shift) | |
1466 | (event-modifiers 'f5) | |
1467 | @result{} nil | |
1468 | (event-modifiers 's-f5) | |
1469 | @result{} (super) | |
1470 | (event-modifiers 'M-S-f5) | |
1471 | @result{} (meta shift) | |
1472 | (event-modifiers 'mouse-1) | |
1473 | @result{} (click) | |
1474 | (event-modifiers 'down-mouse-1) | |
1475 | @result{} (down) | |
1476 | @end example | |
1477 | ||
1478 | The modifiers list for a click event explicitly contains @code{click}, | |
1479 | but the event symbol name itself does not contain @samp{click}. | |
1480 | @end defun | |
1481 | ||
1482 | @defun event-basic-type event | |
1483 | This function returns the key or mouse button that @var{event} | |
1484 | describes, with all modifiers removed. For example: | |
1485 | ||
1486 | @example | |
1487 | (event-basic-type ?a) | |
1488 | @result{} 97 | |
1489 | (event-basic-type ?A) | |
1490 | @result{} 97 | |
1491 | (event-basic-type ?\C-a) | |
1492 | @result{} 97 | |
1493 | (event-basic-type ?\C-\S-a) | |
1494 | @result{} 97 | |
1495 | (event-basic-type 'f5) | |
1496 | @result{} f5 | |
1497 | (event-basic-type 's-f5) | |
1498 | @result{} f5 | |
1499 | (event-basic-type 'M-S-f5) | |
1500 | @result{} f5 | |
1501 | (event-basic-type 'down-mouse-1) | |
1502 | @result{} mouse-1 | |
1503 | @end example | |
1504 | @end defun | |
1505 | ||
1506 | @defun mouse-movement-p object | |
1507 | This function returns non-@code{nil} if @var{object} is a mouse movement | |
1508 | event. | |
1509 | @end defun | |
1510 | ||
bfe721d1 KH |
1511 | @defun event-convert-list list |
1512 | This function converts a list of modifier names and a basic event type | |
1513 | to an event type which specifies all of them. For example, | |
1514 | ||
1515 | @example | |
1516 | (event-convert-list '(control ?a)) | |
1517 | @result{} 1 | |
1518 | (event-convert-list '(control meta ?a)) | |
1519 | @result{} -134217727 | |
1520 | (event-convert-list '(control super f1)) | |
1521 | @result{} C-s-f1 | |
1522 | @end example | |
1523 | @end defun | |
1524 | ||
8db970a4 RS |
1525 | @node Accessing Events |
1526 | @subsection Accessing Events | |
1527 | ||
1528 | This section describes convenient functions for accessing the data in | |
f142f62a | 1529 | a mouse button or motion event. |
8db970a4 | 1530 | |
f142f62a | 1531 | These two functions return the starting or ending position of a |
969fe9b5 | 1532 | mouse-button event, as a list of this form: |
8db970a4 | 1533 | |
f142f62a | 1534 | @example |
b22f3a19 | 1535 | (@var{window} @var{buffer-position} (@var{x} . @var{y}) @var{timestamp}) |
f142f62a | 1536 | @end example |
8db970a4 RS |
1537 | |
1538 | @defun event-start event | |
1539 | This returns the starting position of @var{event}. | |
1540 | ||
1541 | If @var{event} is a click or button-down event, this returns the | |
1542 | location of the event. If @var{event} is a drag event, this returns the | |
1543 | drag's starting position. | |
1544 | @end defun | |
1545 | ||
1546 | @defun event-end event | |
1547 | This returns the ending position of @var{event}. | |
1548 | ||
1549 | If @var{event} is a drag event, this returns the position where the user | |
1550 | released the mouse button. If @var{event} is a click or button-down | |
1551 | event, the value is actually the starting position, which is the only | |
1552 | position such events have. | |
1553 | @end defun | |
1554 | ||
969fe9b5 RS |
1555 | These five functions take a position list as described above, and |
1556 | return various parts of it. | |
8db970a4 RS |
1557 | |
1558 | @defun posn-window position | |
1559 | Return the window that @var{position} is in. | |
1560 | @end defun | |
1561 | ||
1562 | @defun posn-point position | |
f142f62a | 1563 | Return the buffer position in @var{position}. This is an integer. |
8db970a4 RS |
1564 | @end defun |
1565 | ||
1566 | @defun posn-x-y position | |
b22f3a19 RS |
1567 | Return the pixel-based x and y coordinates in @var{position}, as a cons |
1568 | cell @code{(@var{x} . @var{y})}. | |
8db970a4 RS |
1569 | @end defun |
1570 | ||
1571 | @defun posn-col-row position | |
f142f62a | 1572 | Return the row and column (in units of characters) of @var{position}, as |
8db970a4 RS |
1573 | a cons cell @code{(@var{col} . @var{row})}. These are computed from the |
1574 | @var{x} and @var{y} values actually found in @var{position}. | |
1575 | @end defun | |
1576 | ||
1577 | @defun posn-timestamp position | |
f142f62a | 1578 | Return the timestamp in @var{position}. |
8db970a4 RS |
1579 | @end defun |
1580 | ||
969fe9b5 RS |
1581 | These functions are useful for decoding scroll bar events. |
1582 | ||
b22f3a19 RS |
1583 | @defun scroll-bar-event-ratio event |
1584 | This function returns the fractional vertical position of a scroll bar | |
1585 | event within the scroll bar. The value is a cons cell | |
1586 | @code{(@var{portion} . @var{whole})} containing two integers whose ratio | |
1587 | is the fractional position. | |
1588 | @end defun | |
1589 | ||
8db970a4 | 1590 | @defun scroll-bar-scale ratio total |
b22f3a19 RS |
1591 | This function multiplies (in effect) @var{ratio} by @var{total}, |
1592 | rounding the result to an integer. The argument @var{ratio} is not a | |
1593 | number, but rather a pair @code{(@var{num} . @var{denom})}---typically a | |
1594 | value returned by @code{scroll-bar-event-ratio}. | |
8db970a4 | 1595 | |
f142f62a RS |
1596 | This function is handy for scaling a position on a scroll bar into a |
1597 | buffer position. Here's how to do that: | |
8db970a4 RS |
1598 | |
1599 | @example | |
1600 | (+ (point-min) | |
1601 | (scroll-bar-scale | |
b22f3a19 | 1602 | (posn-x-y (event-start event)) |
8db970a4 RS |
1603 | (- (point-max) (point-min)))) |
1604 | @end example | |
b22f3a19 | 1605 | |
1911e6e5 | 1606 | Recall that scroll bar events have two integers forming a ratio, in place |
b22f3a19 | 1607 | of a pair of x and y coordinates. |
8db970a4 RS |
1608 | @end defun |
1609 | ||
1610 | @node Strings of Events | |
1611 | @subsection Putting Keyboard Events in Strings | |
1612 | ||
1613 | In most of the places where strings are used, we conceptualize the | |
1614 | string as containing text characters---the same kind of characters found | |
b22f3a19 | 1615 | in buffers or files. Occasionally Lisp programs use strings that |
8db970a4 | 1616 | conceptually contain keyboard characters; for example, they may be key |
969fe9b5 RS |
1617 | sequences or keyboard macro definitions. However, storing keyboard |
1618 | characters in a string is a complex matter, for reasons of historical | |
1619 | compatibility, and it is not always possible. | |
1620 | ||
1621 | We recommend that new programs avoid dealing with these complexities | |
1622 | by not storing keyboard events in strings. Here is how to do that: | |
1623 | ||
1624 | @itemize @bullet | |
1625 | @item | |
1626 | Use vectors instead of strings for key sequences, when you plan to use | |
a9f0a989 | 1627 | them for anything other than as arguments to @code{lookup-key} and |
969fe9b5 RS |
1628 | @code{define-key}. For example, you can use |
1629 | @code{read-key-sequence-vector} instead of @code{read-key-sequence}, and | |
1630 | @code{this-command-keys-vector} instead of @code{this-command-keys}. | |
1631 | ||
1632 | @item | |
1633 | Use vectors to write key sequence constants containing meta characters, | |
1634 | even when passing them directly to @code{define-key}. | |
1635 | ||
1636 | @item | |
1637 | When you have to look at the contents of a key sequence that might be a | |
1638 | string, use @code{listify-key-sequence} (@pxref{Event Input Misc}) | |
1639 | first, to convert it to a list. | |
1640 | @end itemize | |
8db970a4 | 1641 | |
969fe9b5 RS |
1642 | The complexities stem from the modifier bits that keyboard input |
1643 | characters can include. Aside from the Meta modifier, none of these | |
1644 | modifier bits can be included in a string, and the Meta modifier is | |
1645 | allowed only in special cases. | |
1646 | ||
1647 | The earliest GNU Emacs versions represented meta characters as codes | |
1648 | in the range of 128 to 255. At that time, the basic character codes | |
1649 | ranged from 0 to 127, so all keyboard character codes did fit in a | |
1650 | string. Many Lisp programs used @samp{\M-} in string constants to stand | |
1651 | for meta characters, especially in arguments to @code{define-key} and | |
1652 | similar functions, and key sequences and sequences of events were always | |
1653 | represented as strings. | |
1654 | ||
1655 | When we added support for larger basic character codes beyond 127, and | |
1656 | additional modifier bits, we had to change the representation of meta | |
1657 | characters. Now the flag that represents the Meta modifier in a | |
1658 | character is | |
1659 | @tex | |
8241495d | 1660 | @math{2^{27}} |
969fe9b5 | 1661 | @end tex |
bfe721d1 KH |
1662 | @ifinfo |
1663 | 2**27 | |
1664 | @end ifinfo | |
969fe9b5 | 1665 | and such numbers cannot be included in a string. |
8db970a4 | 1666 | |
969fe9b5 RS |
1667 | To support programs with @samp{\M-} in string constants, there are |
1668 | special rules for including certain meta characters in a string. | |
1911e6e5 RS |
1669 | Here are the rules for interpreting a string as a sequence of input |
1670 | characters: | |
8db970a4 RS |
1671 | |
1672 | @itemize @bullet | |
1673 | @item | |
f142f62a RS |
1674 | If the keyboard character value is in the range of 0 to 127, it can go |
1675 | in the string unchanged. | |
8db970a4 RS |
1676 | |
1677 | @item | |
bfe721d1 | 1678 | The meta variants of those characters, with codes in the range of |
969fe9b5 | 1679 | @tex |
8241495d | 1680 | @math{2^{27}} |
969fe9b5 | 1681 | @end tex |
bfe721d1 KH |
1682 | @ifinfo |
1683 | 2**27 | |
1684 | @end ifinfo | |
1685 | to | |
969fe9b5 | 1686 | @tex |
8241495d | 1687 | @math{2^{27} + 127}, |
969fe9b5 | 1688 | @end tex |
bfe721d1 KH |
1689 | @ifinfo |
1690 | 2**27+127, | |
1691 | @end ifinfo | |
1692 | can also go in the string, but you must change their | |
1693 | numeric values. You must set the | |
969fe9b5 | 1694 | @tex |
8241495d | 1695 | @math{2^{7}} |
969fe9b5 | 1696 | @end tex |
bfe721d1 KH |
1697 | @ifinfo |
1698 | 2**7 | |
1699 | @end ifinfo | |
1700 | bit instead of the | |
969fe9b5 | 1701 | @tex |
8241495d | 1702 | @math{2^{27}} |
969fe9b5 | 1703 | @end tex |
bfe721d1 KH |
1704 | @ifinfo |
1705 | 2**27 | |
1706 | @end ifinfo | |
969fe9b5 RS |
1707 | bit, resulting in a value between 128 and 255. Only a unibyte string |
1708 | can include these codes. | |
1709 | ||
1710 | @item | |
8241495d | 1711 | Non-@sc{ascii} characters above 256 can be included in a multibyte string. |
8db970a4 RS |
1712 | |
1713 | @item | |
1714 | Other keyboard character events cannot fit in a string. This includes | |
1715 | keyboard events in the range of 128 to 255. | |
1716 | @end itemize | |
1717 | ||
f9f59935 RS |
1718 | Functions such as @code{read-key-sequence} that construct strings of |
1719 | keyboard input characters follow these rules: they construct vectors | |
f142f62a | 1720 | instead of strings, when the events won't fit in a string. |
8db970a4 RS |
1721 | |
1722 | When you use the read syntax @samp{\M-} in a string, it produces a | |
1723 | code in the range of 128 to 255---the same code that you get if you | |
1724 | modify the corresponding keyboard event to put it in the string. Thus, | |
1725 | meta events in strings work consistently regardless of how they get into | |
1726 | the strings. | |
1727 | ||
969fe9b5 RS |
1728 | However, most programs would do well to avoid these issues by |
1729 | following the recommendations at the beginning of this section. | |
f142f62a | 1730 | |
8db970a4 RS |
1731 | @node Reading Input |
1732 | @section Reading Input | |
1733 | ||
969fe9b5 | 1734 | The editor command loop reads key sequences using the function |
8db970a4 | 1735 | @code{read-key-sequence}, which uses @code{read-event}. These and other |
969fe9b5 RS |
1736 | functions for event input are also available for use in Lisp programs. |
1737 | See also @code{momentary-string-display} in @ref{Temporary Displays}, | |
1738 | and @code{sit-for} in @ref{Waiting}. @xref{Terminal Input}, for | |
1739 | functions and variables for controlling terminal input modes and | |
4324b7ab RS |
1740 | debugging terminal input. @xref{Translating Input}, for features you |
1741 | can use for translating or modifying input events while reading them. | |
8db970a4 RS |
1742 | |
1743 | For higher-level input facilities, see @ref{Minibuffers}. | |
1744 | ||
1745 | @menu | |
1746 | * Key Sequence Input:: How to read one key sequence. | |
1747 | * Reading One Event:: How to read just one event. | |
b6954afd | 1748 | * Invoking the Input Method:: How reading an event uses the input method. |
8db970a4 | 1749 | * Quoted Character Input:: Asking the user to specify a character. |
f142f62a | 1750 | * Event Input Misc:: How to reread or throw away input events. |
8db970a4 RS |
1751 | @end menu |
1752 | ||
1753 | @node Key Sequence Input | |
1754 | @subsection Key Sequence Input | |
1755 | @cindex key sequence input | |
1756 | ||
1757 | The command loop reads input a key sequence at a time, by calling | |
1758 | @code{read-key-sequence}. Lisp programs can also call this function; | |
1759 | for example, @code{describe-key} uses it to read the key to describe. | |
1760 | ||
1761 | @defun read-key-sequence prompt | |
1762 | @cindex key sequence | |
1763 | This function reads a key sequence and returns it as a string or | |
f9f59935 | 1764 | vector. It keeps reading events until it has accumulated a complete key |
8db970a4 RS |
1765 | sequence; that is, enough to specify a non-prefix command using the |
1766 | currently active keymaps. | |
1767 | ||
1768 | If the events are all characters and all can fit in a string, then | |
1769 | @code{read-key-sequence} returns a string (@pxref{Strings of Events}). | |
1770 | Otherwise, it returns a vector, since a vector can hold all kinds of | |
1771 | events---characters, symbols, and lists. The elements of the string or | |
1772 | vector are the events in the key sequence. | |
1773 | ||
8db970a4 RS |
1774 | The argument @var{prompt} is either a string to be displayed in the echo |
1775 | area as a prompt, or @code{nil}, meaning not to display a prompt. | |
1776 | ||
1777 | In the example below, the prompt @samp{?} is displayed in the echo area, | |
1778 | and the user types @kbd{C-x C-f}. | |
1779 | ||
1780 | @example | |
1781 | (read-key-sequence "?") | |
1782 | ||
1783 | @group | |
1784 | ---------- Echo Area ---------- | |
1785 | ?@kbd{C-x C-f} | |
1786 | ---------- Echo Area ---------- | |
1787 | ||
1788 | @result{} "^X^F" | |
1789 | @end group | |
1790 | @end example | |
969fe9b5 RS |
1791 | |
1792 | The function @code{read-key-sequence} suppresses quitting: @kbd{C-g} | |
1793 | typed while reading with this function works like any other character, | |
1794 | and does not set @code{quit-flag}. @xref{Quitting}. | |
1795 | @end defun | |
1796 | ||
1797 | @defun read-key-sequence-vector prompt | |
1798 | This is like @code{read-key-sequence} except that it always | |
1799 | returns the key sequence as a vector, never as a string. | |
1800 | @xref{Strings of Events}. | |
8db970a4 RS |
1801 | @end defun |
1802 | ||
8db970a4 RS |
1803 | @cindex upper case key sequence |
1804 | @cindex downcasing in @code{lookup-key} | |
b22f3a19 RS |
1805 | If an input character is an upper-case letter and has no key binding, |
1806 | but its lower-case equivalent has one, then @code{read-key-sequence} | |
8db970a4 RS |
1807 | converts the character to lower case. Note that @code{lookup-key} does |
1808 | not perform case conversion in this way. | |
1809 | ||
1810 | The function @code{read-key-sequence} also transforms some mouse events. | |
1811 | It converts unbound drag events into click events, and discards unbound | |
bfe721d1 KH |
1812 | button-down events entirely. It also reshuffles focus events and |
1813 | miscellaneous window events so that they never appear in a key sequence | |
1814 | with any other events. | |
8db970a4 RS |
1815 | |
1816 | When mouse events occur in special parts of a window, such as a mode | |
f142f62a RS |
1817 | line or a scroll bar, the event type shows nothing special---it is the |
1818 | same symbol that would normally represent that combination of mouse | |
f9f59935 RS |
1819 | button and modifier keys. The information about the window part is kept |
1820 | elsewhere in the event---in the coordinates. But | |
f142f62a | 1821 | @code{read-key-sequence} translates this information into imaginary |
f9f59935 | 1822 | ``prefix keys'', all of which are symbols: @code{mode-line}, |
f142f62a | 1823 | @code{vertical-line}, @code{horizontal-scroll-bar} and |
f9f59935 RS |
1824 | @code{vertical-scroll-bar}. You can define meanings for mouse clicks in |
1825 | special window parts by defining key sequences using these imaginary | |
1826 | prefix keys. | |
f142f62a | 1827 | |
8db970a4 | 1828 | For example, if you call @code{read-key-sequence} and then click the |
bfe721d1 | 1829 | mouse on the window's mode line, you get two events, like this: |
8db970a4 | 1830 | |
f142f62a | 1831 | @example |
8db970a4 RS |
1832 | (read-key-sequence "Click on the mode line: ") |
1833 | @result{} [mode-line | |
f142f62a RS |
1834 | (mouse-1 |
1835 | (#<window 6 on NEWS> mode-line | |
1836 | (40 . 63) 5959987))] | |
1837 | @end example | |
8db970a4 | 1838 | |
f9f59935 RS |
1839 | @defvar num-input-keys |
1840 | @c Emacs 19 feature | |
1841 | This variable's value is the number of key sequences processed so far in | |
1842 | this Emacs session. This includes key sequences read from the terminal | |
1843 | and key sequences read from keyboard macros being executed. | |
1844 | @end defvar | |
1845 | ||
f9f59935 | 1846 | @defvar num-nonmacro-input-events |
a9f0a989 | 1847 | @tindex num-nonmacro-input-events |
f9f59935 RS |
1848 | This variable holds the total number of input events received so far |
1849 | from the terminal---not counting those generated by keyboard macros. | |
1850 | @end defvar | |
1851 | ||
8db970a4 RS |
1852 | @node Reading One Event |
1853 | @subsection Reading One Event | |
1854 | ||
b22f3a19 | 1855 | The lowest level functions for command input are those that read a |
8db970a4 RS |
1856 | single event. |
1857 | ||
b6954afd | 1858 | @defun read-event &optional prompt inherit-input-method |
8db970a4 RS |
1859 | This function reads and returns the next event of command input, waiting |
1860 | if necessary until an event is available. Events can come directly from | |
1861 | the user or from a keyboard macro. | |
1862 | ||
b6954afd RS |
1863 | If the optional argument @var{prompt} is non-@code{nil}, it should be a |
1864 | string to display in the echo area as a prompt. Otherwise, | |
1865 | @code{read-event} does not display any message to indicate it is waiting | |
1866 | for input; instead, it prompts by echoing: it displays descriptions of | |
1867 | the events that led to or were read by the current command. @xref{The | |
1868 | Echo Area}. | |
8db970a4 | 1869 | |
b6954afd RS |
1870 | If @var{inherit-input-method} is non-@code{nil}, then the current input |
1871 | method (if any) is employed to make it possible to enter a | |
8241495d | 1872 | non-@sc{ascii} character. Otherwise, input method handling is disabled |
b6954afd | 1873 | for reading this event. |
2eb4136f | 1874 | |
8db970a4 RS |
1875 | If @code{cursor-in-echo-area} is non-@code{nil}, then @code{read-event} |
1876 | moves the cursor temporarily to the echo area, to the end of any message | |
1877 | displayed there. Otherwise @code{read-event} does not move the cursor. | |
8db970a4 | 1878 | |
1911e6e5 | 1879 | If @code{read-event} gets an event that is defined as a help character, in |
a9f0a989 RS |
1880 | some cases @code{read-event} processes the event directly without |
1881 | returning. @xref{Help Functions}. Certain other events, called | |
1882 | @dfn{special events}, are also processed directly within | |
1883 | @code{read-event} (@pxref{Special Events}). | |
1884 | ||
8db970a4 RS |
1885 | Here is what happens if you call @code{read-event} and then press the |
1886 | right-arrow function key: | |
1887 | ||
1888 | @example | |
1889 | @group | |
1890 | (read-event) | |
1891 | @result{} right | |
1892 | @end group | |
1893 | @end example | |
f142f62a | 1894 | @end defun |
8db970a4 | 1895 | |
b6954afd RS |
1896 | @defun read-char &optional prompt inherit-input-method |
1897 | This function reads and returns a character of command input. If the | |
1898 | user generates an event which is not a character (i.e. a mouse click or | |
1899 | function key event), @code{read-char} signals an error. The arguments | |
1900 | work as in @code{read-event}. | |
8db970a4 | 1901 | |
8241495d | 1902 | In the first example, the user types the character @kbd{1} (@sc{ascii} |
f142f62a RS |
1903 | code 49). The second example shows a keyboard macro definition that |
1904 | calls @code{read-char} from the minibuffer using @code{eval-expression}. | |
1905 | @code{read-char} reads the keyboard macro's very next character, which | |
1906 | is @kbd{1}. Then @code{eval-expression} displays its return value in | |
1907 | the echo area. | |
8db970a4 RS |
1908 | |
1909 | @example | |
1910 | @group | |
1911 | (read-char) | |
1912 | @result{} 49 | |
1913 | @end group | |
1914 | ||
1915 | @group | |
bfe721d1 | 1916 | ;; @r{We assume here you use @kbd{M-:} to evaluate this.} |
8db970a4 | 1917 | (symbol-function 'foo) |
bfe721d1 | 1918 | @result{} "^[:(read-char)^M1" |
8db970a4 RS |
1919 | @end group |
1920 | @group | |
f142f62a | 1921 | (execute-kbd-macro 'foo) |
8db970a4 RS |
1922 | @print{} 49 |
1923 | @result{} nil | |
1924 | @end group | |
1925 | @end example | |
1926 | @end defun | |
1927 | ||
b6954afd RS |
1928 | @defun read-char-exclusive &optional prompt inherit-input-method |
1929 | This function reads and returns a character of command input. If the | |
1930 | user generates an event which is not a character, | |
1931 | @code{read-char-exclusive} ignores it and reads another event, until it | |
1932 | gets a character. The arguments work as in @code{read-event}. | |
1933 | @end defun | |
1934 | ||
1935 | @node Invoking the Input Method | |
1936 | @subsection Invoking the Input Method | |
1937 | ||
1938 | The event-reading functions invoke the current input method, if any | |
1939 | (@pxref{Input Methods}). If the value of @code{input-method-function} | |
1940 | is non-@code{nil}, it should be a function; when @code{read-event} reads | |
1941 | a printing character (including @key{SPC}) with no modifier bits, it | |
1942 | calls that function, passing the character as an argument. | |
39d6d9bd RS |
1943 | |
1944 | @defvar input-method-function | |
1945 | If this is non-@code{nil}, its value specifies the current input method | |
1946 | function. | |
2eb4136f RS |
1947 | |
1948 | @strong{Note:} Don't bind this variable with @code{let}. It is often | |
1949 | buffer-local, and if you bind it around reading input (which is exactly | |
1950 | when you @emph{would} bind it), switching buffers asynchronously while | |
1951 | Emacs is waiting will cause the value to be restored in the wrong | |
1952 | buffer. | |
39d6d9bd RS |
1953 | @end defvar |
1954 | ||
1955 | The input method function should return a list of events which should | |
1956 | be used as input. (If the list is @code{nil}, that means there is no | |
1957 | input, so @code{read-event} waits for another event.) These events are | |
1958 | processed before the events in @code{unread-command-events}. Events | |
1959 | returned by the input method function are not passed to the input method | |
1960 | function again, even if they are printing characters with no modifier | |
1961 | bits. | |
1962 | ||
1963 | If the input method function calls @code{read-event} or | |
1964 | @code{read-key-sequence}, it should bind @code{input-method-function} to | |
1965 | @code{nil} first, to prevent recursion. | |
1966 | ||
1967 | The input method function is not called when reading the second and | |
b6954afd RS |
1968 | subsequent events of a key sequence. Thus, these characters are not |
1969 | subject to input method processing. The input method function should | |
1970 | test the values of @code{overriding-local-map} and | |
1971 | @code{overriding-terminal-local-map}; if either of these variables is | |
1972 | non-@code{nil}, the input method should put its argument into a list and | |
1973 | return that list with no further processing. | |
39d6d9bd | 1974 | |
8db970a4 RS |
1975 | @node Quoted Character Input |
1976 | @subsection Quoted Character Input | |
1977 | @cindex quoted character input | |
1978 | ||
b22f3a19 RS |
1979 | You can use the function @code{read-quoted-char} to ask the user to |
1980 | specify a character, and allow the user to specify a control or meta | |
1981 | character conveniently, either literally or as an octal character code. | |
1982 | The command @code{quoted-insert} uses this function. | |
8db970a4 RS |
1983 | |
1984 | @defun read-quoted-char &optional prompt | |
1985 | @cindex octal character input | |
1986 | @cindex control characters, reading | |
1987 | @cindex nonprinting characters, reading | |
1988 | This function is like @code{read-char}, except that if the first | |
969fe9b5 RS |
1989 | character read is an octal digit (0-7), it reads any number of octal |
1990 | digits (but stopping if a non-octal digit is found), and returns the | |
1991 | character represented by that numeric character code. | |
8db970a4 RS |
1992 | |
1993 | Quitting is suppressed when the first character is read, so that the | |
1994 | user can enter a @kbd{C-g}. @xref{Quitting}. | |
1995 | ||
1996 | If @var{prompt} is supplied, it specifies a string for prompting the | |
f142f62a | 1997 | user. The prompt string is always displayed in the echo area, followed |
8db970a4 RS |
1998 | by a single @samp{-}. |
1999 | ||
2000 | In the following example, the user types in the octal number 177 (which | |
2001 | is 127 in decimal). | |
2002 | ||
2003 | @example | |
2004 | (read-quoted-char "What character") | |
2005 | ||
2006 | @group | |
2007 | ---------- Echo Area ---------- | |
2008 | What character-@kbd{177} | |
2009 | ---------- Echo Area ---------- | |
2010 | ||
2011 | @result{} 127 | |
2012 | @end group | |
2013 | @end example | |
2014 | @end defun | |
2015 | ||
b22f3a19 | 2016 | @need 2000 |
f142f62a RS |
2017 | @node Event Input Misc |
2018 | @subsection Miscellaneous Event Input Features | |
2019 | ||
2020 | This section describes how to ``peek ahead'' at events without using | |
2021 | them up, how to check for pending input, and how to discard pending | |
1911e6e5 RS |
2022 | input. See also the function @code{read-passwd} (@pxref{Reading a |
2023 | Password}). | |
8db970a4 RS |
2024 | |
2025 | @defvar unread-command-events | |
2026 | @cindex next input | |
2027 | @cindex peeking at input | |
2028 | This variable holds a list of events waiting to be read as command | |
f142f62a RS |
2029 | input. The events are used in the order they appear in the list, and |
2030 | removed one by one as they are used. | |
8db970a4 | 2031 | |
f9f59935 | 2032 | The variable is needed because in some cases a function reads an event |
f142f62a RS |
2033 | and then decides not to use it. Storing the event in this variable |
2034 | causes it to be processed normally, by the command loop or by the | |
2035 | functions to read command input. | |
8db970a4 RS |
2036 | |
2037 | @cindex prefix argument unreading | |
2038 | For example, the function that implements numeric prefix arguments reads | |
2039 | any number of digits. When it finds a non-digit event, it must unread | |
2040 | the event so that it can be read normally by the command loop. | |
f142f62a RS |
2041 | Likewise, incremental search uses this feature to unread events with no |
2042 | special meaning in a search, because these events should exit the search | |
2043 | and then execute normally. | |
2044 | ||
b22f3a19 RS |
2045 | The reliable and easy way to extract events from a key sequence so as to |
2046 | put them in @code{unread-command-events} is to use | |
f142f62a | 2047 | @code{listify-key-sequence} (@pxref{Strings of Events}). |
f9f59935 RS |
2048 | |
2049 | Normally you add events to the front of this list, so that the events | |
2050 | most recently unread will be reread first. | |
8db970a4 RS |
2051 | @end defvar |
2052 | ||
969fe9b5 RS |
2053 | @defun listify-key-sequence key |
2054 | This function converts the string or vector @var{key} to a list of | |
2055 | individual events, which you can put in @code{unread-command-events}. | |
2056 | @end defun | |
2057 | ||
8db970a4 RS |
2058 | @defvar unread-command-char |
2059 | This variable holds a character to be read as command input. | |
2060 | A value of -1 means ``empty''. | |
2061 | ||
f142f62a | 2062 | This variable is mostly obsolete now that you can use |
8db970a4 RS |
2063 | @code{unread-command-events} instead; it exists only to support programs |
2064 | written for Emacs versions 18 and earlier. | |
2065 | @end defvar | |
2066 | ||
8db970a4 RS |
2067 | @defun input-pending-p |
2068 | @cindex waiting for command key input | |
2069 | This function determines whether any command input is currently | |
2070 | available to be read. It returns immediately, with value @code{t} if | |
f142f62a RS |
2071 | there is available input, @code{nil} otherwise. On rare occasions it |
2072 | may return @code{t} when no input is available. | |
8db970a4 RS |
2073 | @end defun |
2074 | ||
2075 | @defvar last-input-event | |
969fe9b5 | 2076 | @defvarx last-input-char |
f142f62a | 2077 | This variable records the last terminal input event read, whether |
8db970a4 RS |
2078 | as part of a command or explicitly by a Lisp program. |
2079 | ||
f142f62a | 2080 | In the example below, the Lisp program reads the character @kbd{1}, |
8241495d | 2081 | @sc{ascii} code 49. It becomes the value of @code{last-input-event}, |
bfe721d1 KH |
2082 | while @kbd{C-e} (we assume @kbd{C-x C-e} command is used to evaluate |
2083 | this expression) remains the value of @code{last-command-event}. | |
8db970a4 RS |
2084 | |
2085 | @example | |
2086 | @group | |
2087 | (progn (print (read-char)) | |
f142f62a RS |
2088 | (print last-command-event) |
2089 | last-input-event) | |
8db970a4 RS |
2090 | @print{} 49 |
2091 | @print{} 5 | |
2092 | @result{} 49 | |
2093 | @end group | |
2094 | @end example | |
2095 | ||
2096 | The alias @code{last-input-char} exists for compatibility with | |
2097 | Emacs version 18. | |
2098 | @end defvar | |
2099 | ||
2100 | @defun discard-input | |
2101 | @cindex flush input | |
2102 | @cindex discard input | |
2103 | @cindex terminate keyboard macro | |
2104 | This function discards the contents of the terminal input buffer and | |
2105 | cancels any keyboard macro that might be in the process of definition. | |
2106 | It returns @code{nil}. | |
2107 | ||
2108 | In the following example, the user may type a number of characters right | |
2109 | after starting the evaluation of the form. After the @code{sleep-for} | |
f142f62a RS |
2110 | finishes sleeping, @code{discard-input} discards any characters typed |
2111 | during the sleep. | |
8db970a4 RS |
2112 | |
2113 | @example | |
2114 | (progn (sleep-for 2) | |
f142f62a | 2115 | (discard-input)) |
8db970a4 RS |
2116 | @result{} nil |
2117 | @end example | |
2118 | @end defun | |
2119 | ||
f9f59935 RS |
2120 | @node Special Events |
2121 | @section Special Events | |
2122 | ||
2123 | @cindex special events | |
2124 | Special events are handled at a very low level---as soon as they are | |
2125 | read. The @code{read-event} function processes these events itself, and | |
2126 | never returns them. | |
2127 | ||
2128 | Events that are handled in this way do not echo, they are never grouped | |
2129 | into key sequences, and they never appear in the value of | |
2130 | @code{last-command-event} or @code{(this-command-keys)}. They do not | |
2131 | discard a numeric argument, they cannot be unread with | |
2132 | @code{unread-command-events}, they may not appear in a keyboard macro, | |
2133 | and they are not recorded in a keyboard macro while you are defining | |
2134 | one. | |
2135 | ||
2136 | These events do, however, appear in @code{last-input-event} immediately | |
2137 | after they are read, and this is the way for the event's definition to | |
2138 | find the actual event. | |
2139 | ||
2140 | The events types @code{iconify-frame}, @code{make-frame-visible} and | |
2141 | @code{delete-frame} are normally handled in this way. The keymap which | |
2142 | defines how to handle special events---and which events are special---is | |
2143 | in the variable @code{special-event-map} (@pxref{Active Keymaps}). | |
2144 | ||
8db970a4 RS |
2145 | @node Waiting |
2146 | @section Waiting for Elapsed Time or Input | |
2147 | @cindex pausing | |
2148 | @cindex waiting | |
2149 | ||
f142f62a RS |
2150 | The wait functions are designed to wait for a certain amount of time |
2151 | to pass or until there is input. For example, you may wish to pause in | |
2152 | the middle of a computation to allow the user time to view the display. | |
2153 | @code{sit-for} pauses and updates the screen, and returns immediately if | |
2154 | input comes in, while @code{sleep-for} pauses without updating the | |
2155 | screen. | |
8db970a4 RS |
2156 | |
2157 | @defun sit-for seconds &optional millisec nodisp | |
2158 | This function performs redisplay (provided there is no pending input | |
2159 | from the user), then waits @var{seconds} seconds, or until input is | |
f142f62a RS |
2160 | available. The value is @code{t} if @code{sit-for} waited the full |
2161 | time with no input arriving (see @code{input-pending-p} in @ref{Event | |
2162 | Input Misc}). Otherwise, the value is @code{nil}. | |
8db970a4 | 2163 | |
bfe721d1 KH |
2164 | The argument @var{seconds} need not be an integer. If it is a floating |
2165 | point number, @code{sit-for} waits for a fractional number of seconds. | |
2166 | Some systems support only a whole number of seconds; on these systems, | |
2167 | @var{seconds} is rounded down. | |
2168 | ||
8db970a4 RS |
2169 | The optional argument @var{millisec} specifies an additional waiting |
2170 | period measured in milliseconds. This adds to the period specified by | |
bfe721d1 KH |
2171 | @var{seconds}. If the system doesn't support waiting fractions of a |
2172 | second, you get an error if you specify nonzero @var{millisec}. | |
8db970a4 | 2173 | |
8241495d RS |
2174 | The expression @code{(sit-for 0)} is a convenient way to request a |
2175 | redisplay, without any delay. @xref{Forcing Redisplay}. | |
8db970a4 RS |
2176 | |
2177 | If @var{nodisp} is non-@code{nil}, then @code{sit-for} does not | |
2178 | redisplay, but it still returns as soon as input is available (or when | |
2179 | the timeout elapses). | |
2180 | ||
22697dac KH |
2181 | Iconifying or deiconifying a frame makes @code{sit-for} return, because |
2182 | that generates an event. @xref{Misc Events}. | |
2183 | ||
8db970a4 RS |
2184 | The usual purpose of @code{sit-for} is to give the user time to read |
2185 | text that you display. | |
2186 | @end defun | |
2187 | ||
2188 | @defun sleep-for seconds &optional millisec | |
2189 | This function simply pauses for @var{seconds} seconds without updating | |
2190 | the display. It pays no attention to available input. It returns | |
2191 | @code{nil}. | |
2192 | ||
bfe721d1 KH |
2193 | The argument @var{seconds} need not be an integer. If it is a floating |
2194 | point number, @code{sleep-for} waits for a fractional number of seconds. | |
2195 | Some systems support only a whole number of seconds; on these systems, | |
2196 | @var{seconds} is rounded down. | |
2197 | ||
8db970a4 RS |
2198 | The optional argument @var{millisec} specifies an additional waiting |
2199 | period measured in milliseconds. This adds to the period specified by | |
bfe721d1 KH |
2200 | @var{seconds}. If the system doesn't support waiting fractions of a |
2201 | second, you get an error if you specify nonzero @var{millisec}. | |
8db970a4 RS |
2202 | |
2203 | Use @code{sleep-for} when you wish to guarantee a delay. | |
2204 | @end defun | |
2205 | ||
2206 | @xref{Time of Day}, for functions to get the current time. | |
2207 | ||
2208 | @node Quitting | |
2209 | @section Quitting | |
2210 | @cindex @kbd{C-g} | |
2211 | @cindex quitting | |
2212 | ||
b22f3a19 RS |
2213 | Typing @kbd{C-g} while a Lisp function is running causes Emacs to |
2214 | @dfn{quit} whatever it is doing. This means that control returns to the | |
2215 | innermost active command loop. | |
8db970a4 RS |
2216 | |
2217 | Typing @kbd{C-g} while the command loop is waiting for keyboard input | |
2218 | does not cause a quit; it acts as an ordinary input character. In the | |
2219 | simplest case, you cannot tell the difference, because @kbd{C-g} | |
2220 | normally runs the command @code{keyboard-quit}, whose effect is to quit. | |
969fe9b5 RS |
2221 | However, when @kbd{C-g} follows a prefix key, they combine to form an |
2222 | undefined key. The effect is to cancel the prefix key as well as any | |
2223 | prefix argument. | |
8db970a4 RS |
2224 | |
2225 | In the minibuffer, @kbd{C-g} has a different definition: it aborts out | |
2226 | of the minibuffer. This means, in effect, that it exits the minibuffer | |
2227 | and then quits. (Simply quitting would return to the command loop | |
2228 | @emph{within} the minibuffer.) The reason why @kbd{C-g} does not quit | |
2229 | directly when the command reader is reading input is so that its meaning | |
2230 | can be redefined in the minibuffer in this way. @kbd{C-g} following a | |
2231 | prefix key is not redefined in the minibuffer, and it has its normal | |
2232 | effect of canceling the prefix key and prefix argument. This too | |
f142f62a | 2233 | would not be possible if @kbd{C-g} always quit directly. |
8db970a4 | 2234 | |
b22f3a19 | 2235 | When @kbd{C-g} does directly quit, it does so by setting the variable |
f142f62a RS |
2236 | @code{quit-flag} to @code{t}. Emacs checks this variable at appropriate |
2237 | times and quits if it is not @code{nil}. Setting @code{quit-flag} | |
8db970a4 RS |
2238 | non-@code{nil} in any way thus causes a quit. |
2239 | ||
f142f62a | 2240 | At the level of C code, quitting cannot happen just anywhere; only at the |
b22f3a19 | 2241 | special places that check @code{quit-flag}. The reason for this is |
8db970a4 RS |
2242 | that quitting at other places might leave an inconsistency in Emacs's |
2243 | internal state. Because quitting is delayed until a safe place, quitting | |
2244 | cannot make Emacs crash. | |
2245 | ||
2246 | Certain functions such as @code{read-key-sequence} or | |
2247 | @code{read-quoted-char} prevent quitting entirely even though they wait | |
2248 | for input. Instead of quitting, @kbd{C-g} serves as the requested | |
2249 | input. In the case of @code{read-key-sequence}, this serves to bring | |
2250 | about the special behavior of @kbd{C-g} in the command loop. In the | |
2251 | case of @code{read-quoted-char}, this is so that @kbd{C-q} can be used | |
2252 | to quote a @kbd{C-g}. | |
2253 | ||
2254 | You can prevent quitting for a portion of a Lisp function by binding | |
2255 | the variable @code{inhibit-quit} to a non-@code{nil} value. Then, | |
2256 | although @kbd{C-g} still sets @code{quit-flag} to @code{t} as usual, the | |
2257 | usual result of this---a quit---is prevented. Eventually, | |
2258 | @code{inhibit-quit} will become @code{nil} again, such as when its | |
2259 | binding is unwound at the end of a @code{let} form. At that time, if | |
2260 | @code{quit-flag} is still non-@code{nil}, the requested quit happens | |
b22f3a19 RS |
2261 | immediately. This behavior is ideal when you wish to make sure that |
2262 | quitting does not happen within a ``critical section'' of the program. | |
8db970a4 RS |
2263 | |
2264 | @cindex @code{read-quoted-char} quitting | |
2265 | In some functions (such as @code{read-quoted-char}), @kbd{C-g} is | |
b22f3a19 | 2266 | handled in a special way that does not involve quitting. This is done |
f142f62a | 2267 | by reading the input with @code{inhibit-quit} bound to @code{t}, and |
8db970a4 RS |
2268 | setting @code{quit-flag} to @code{nil} before @code{inhibit-quit} |
2269 | becomes @code{nil} again. This excerpt from the definition of | |
2270 | @code{read-quoted-char} shows how this is done; it also shows that | |
2271 | normal quitting is permitted after the first character of input. | |
2272 | ||
2273 | @example | |
2274 | (defun read-quoted-char (&optional prompt) | |
2275 | "@dots{}@var{documentation}@dots{}" | |
969fe9b5 RS |
2276 | (let ((message-log-max nil) done (first t) (code 0) char) |
2277 | (while (not done) | |
2278 | (let ((inhibit-quit first) | |
2279 | @dots{}) | |
2280 | (and prompt (message "%s-" prompt)) | |
2281 | (setq char (read-event)) | |
2282 | (if inhibit-quit (setq quit-flag nil))) | |
2283 | @r{@dots{}set the variable @code{code}@dots{}}) | |
2284 | code)) | |
8db970a4 RS |
2285 | @end example |
2286 | ||
2287 | @defvar quit-flag | |
f142f62a RS |
2288 | If this variable is non-@code{nil}, then Emacs quits immediately, unless |
2289 | @code{inhibit-quit} is non-@code{nil}. Typing @kbd{C-g} ordinarily sets | |
8db970a4 RS |
2290 | @code{quit-flag} non-@code{nil}, regardless of @code{inhibit-quit}. |
2291 | @end defvar | |
2292 | ||
2293 | @defvar inhibit-quit | |
2294 | This variable determines whether Emacs should quit when @code{quit-flag} | |
2295 | is set to a value other than @code{nil}. If @code{inhibit-quit} is | |
2296 | non-@code{nil}, then @code{quit-flag} has no special effect. | |
2297 | @end defvar | |
2298 | ||
2299 | @deffn Command keyboard-quit | |
2300 | This function signals the @code{quit} condition with @code{(signal 'quit | |
2301 | nil)}. This is the same thing that quitting does. (See @code{signal} | |
2302 | in @ref{Errors}.) | |
2303 | @end deffn | |
2304 | ||
2305 | You can specify a character other than @kbd{C-g} to use for quitting. | |
2306 | See the function @code{set-input-mode} in @ref{Terminal Input}. | |
2307 | ||
2308 | @node Prefix Command Arguments | |
2309 | @section Prefix Command Arguments | |
2310 | @cindex prefix argument | |
2311 | @cindex raw prefix argument | |
2312 | @cindex numeric prefix argument | |
2313 | ||
2314 | Most Emacs commands can use a @dfn{prefix argument}, a number | |
2315 | specified before the command itself. (Don't confuse prefix arguments | |
b22f3a19 RS |
2316 | with prefix keys.) The prefix argument is at all times represented by a |
2317 | value, which may be @code{nil}, meaning there is currently no prefix | |
2318 | argument. Each command may use the prefix argument or ignore it. | |
8db970a4 RS |
2319 | |
2320 | There are two representations of the prefix argument: @dfn{raw} and | |
2321 | @dfn{numeric}. The editor command loop uses the raw representation | |
2322 | internally, and so do the Lisp variables that store the information, but | |
2323 | commands can request either representation. | |
2324 | ||
2325 | Here are the possible values of a raw prefix argument: | |
2326 | ||
2327 | @itemize @bullet | |
2328 | @item | |
2329 | @code{nil}, meaning there is no prefix argument. Its numeric value is | |
2330 | 1, but numerous commands make a distinction between @code{nil} and the | |
2331 | integer 1. | |
2332 | ||
2333 | @item | |
2334 | An integer, which stands for itself. | |
2335 | ||
2336 | @item | |
2337 | A list of one element, which is an integer. This form of prefix | |
2338 | argument results from one or a succession of @kbd{C-u}'s with no | |
2339 | digits. The numeric value is the integer in the list, but some | |
2340 | commands make a distinction between such a list and an integer alone. | |
2341 | ||
2342 | @item | |
2343 | The symbol @code{-}. This indicates that @kbd{M--} or @kbd{C-u -} was | |
2344 | typed, without following digits. The equivalent numeric value is | |
2345 | @minus{}1, but some commands make a distinction between the integer | |
2346 | @minus{}1 and the symbol @code{-}. | |
2347 | @end itemize | |
2348 | ||
f142f62a RS |
2349 | We illustrate these possibilities by calling the following function with |
2350 | various prefixes: | |
8db970a4 RS |
2351 | |
2352 | @example | |
2353 | @group | |
2354 | (defun display-prefix (arg) | |
2355 | "Display the value of the raw prefix arg." | |
2356 | (interactive "P") | |
2357 | (message "%s" arg)) | |
2358 | @end group | |
2359 | @end example | |
2360 | ||
2361 | @noindent | |
2362 | Here are the results of calling @code{display-prefix} with various | |
2363 | raw prefix arguments: | |
2364 | ||
2365 | @example | |
2366 | M-x display-prefix @print{} nil | |
2367 | ||
2368 | C-u M-x display-prefix @print{} (4) | |
2369 | ||
2370 | C-u C-u M-x display-prefix @print{} (16) | |
2371 | ||
2372 | C-u 3 M-x display-prefix @print{} 3 | |
2373 | ||
2374 | M-3 M-x display-prefix @print{} 3 ; @r{(Same as @code{C-u 3}.)} | |
2375 | ||
2376 | C-u - M-x display-prefix @print{} - | |
2377 | ||
f142f62a | 2378 | M-- M-x display-prefix @print{} - ; @r{(Same as @code{C-u -}.)} |
8db970a4 | 2379 | |
f142f62a | 2380 | C-u - 7 M-x display-prefix @print{} -7 |
8db970a4 | 2381 | |
f142f62a | 2382 | M-- 7 M-x display-prefix @print{} -7 ; @r{(Same as @code{C-u -7}.)} |
8db970a4 RS |
2383 | @end example |
2384 | ||
2385 | Emacs uses two variables to store the prefix argument: | |
2386 | @code{prefix-arg} and @code{current-prefix-arg}. Commands such as | |
2387 | @code{universal-argument} that set up prefix arguments for other | |
2388 | commands store them in @code{prefix-arg}. In contrast, | |
2389 | @code{current-prefix-arg} conveys the prefix argument to the current | |
2390 | command, so setting it has no effect on the prefix arguments for future | |
2391 | commands. | |
2392 | ||
2393 | Normally, commands specify which representation to use for the prefix | |
2394 | argument, either numeric or raw, in the @code{interactive} declaration. | |
b22f3a19 | 2395 | (@xref{Using Interactive}.) Alternatively, functions may look at the |
8db970a4 RS |
2396 | value of the prefix argument directly in the variable |
2397 | @code{current-prefix-arg}, but this is less clean. | |
2398 | ||
f142f62a RS |
2399 | @defun prefix-numeric-value arg |
2400 | This function returns the numeric meaning of a valid raw prefix argument | |
2401 | value, @var{arg}. The argument may be a symbol, a number, or a list. | |
b22f3a19 RS |
2402 | If it is @code{nil}, the value 1 is returned; if it is @code{-}, the |
2403 | value @minus{}1 is returned; if it is a number, that number is returned; | |
2404 | if it is a list, the @sc{car} of that list (which should be a number) is | |
2405 | returned. | |
f142f62a RS |
2406 | @end defun |
2407 | ||
2408 | @defvar current-prefix-arg | |
2409 | This variable holds the raw prefix argument for the @emph{current} | |
9e2b495b RS |
2410 | command. Commands may examine it directly, but the usual method for |
2411 | accessing it is with @code{(interactive "P")}. | |
f142f62a RS |
2412 | @end defvar |
2413 | ||
2414 | @defvar prefix-arg | |
2415 | The value of this variable is the raw prefix argument for the | |
f9f59935 RS |
2416 | @emph{next} editing command. Commands such as @code{universal-argument} |
2417 | that specify prefix arguments for the following command work by setting | |
2418 | this variable. | |
03c6b7f6 RS |
2419 | @end defvar |
2420 | ||
2421 | @tindex last-prefix-arg | |
2422 | @defvar last-prefix-arg | |
2423 | The raw prefix argument value used by the previous command. | |
f142f62a RS |
2424 | @end defvar |
2425 | ||
f9f59935 RS |
2426 | The following commands exist to set up prefix arguments for the |
2427 | following command. Do not call them for any other reason. | |
8db970a4 RS |
2428 | |
2429 | @deffn Command universal-argument | |
2430 | This command reads input and specifies a prefix argument for the | |
2431 | following command. Don't call this command yourself unless you know | |
2432 | what you are doing. | |
2433 | @end deffn | |
2434 | ||
2435 | @deffn Command digit-argument arg | |
2436 | This command adds to the prefix argument for the following command. The | |
2437 | argument @var{arg} is the raw prefix argument as it was before this | |
2438 | command; it is used to compute the updated prefix argument. Don't call | |
2439 | this command yourself unless you know what you are doing. | |
2440 | @end deffn | |
2441 | ||
2442 | @deffn Command negative-argument arg | |
2443 | This command adds to the numeric argument for the next command. The | |
2444 | argument @var{arg} is the raw prefix argument as it was before this | |
2445 | command; its value is negated to form the new prefix argument. Don't | |
2446 | call this command yourself unless you know what you are doing. | |
2447 | @end deffn | |
2448 | ||
8db970a4 RS |
2449 | @node Recursive Editing |
2450 | @section Recursive Editing | |
2451 | @cindex recursive command loop | |
2452 | @cindex recursive editing level | |
2453 | @cindex command loop, recursive | |
2454 | ||
f142f62a RS |
2455 | The Emacs command loop is entered automatically when Emacs starts up. |
2456 | This top-level invocation of the command loop never exits; it keeps | |
2457 | running as long as Emacs does. Lisp programs can also invoke the | |
2458 | command loop. Since this makes more than one activation of the command | |
2459 | loop, we call it @dfn{recursive editing}. A recursive editing level has | |
2460 | the effect of suspending whatever command invoked it and permitting the | |
2461 | user to do arbitrary editing before resuming that command. | |
8db970a4 RS |
2462 | |
2463 | The commands available during recursive editing are the same ones | |
2464 | available in the top-level editing loop and defined in the keymaps. | |
2465 | Only a few special commands exit the recursive editing level; the others | |
f142f62a RS |
2466 | return to the recursive editing level when they finish. (The special |
2467 | commands for exiting are always available, but they do nothing when | |
2468 | recursive editing is not in progress.) | |
8db970a4 RS |
2469 | |
2470 | All command loops, including recursive ones, set up all-purpose error | |
2471 | handlers so that an error in a command run from the command loop will | |
2472 | not exit the loop. | |
2473 | ||
2474 | @cindex minibuffer input | |
2475 | Minibuffer input is a special kind of recursive editing. It has a few | |
2476 | special wrinkles, such as enabling display of the minibuffer and the | |
2477 | minibuffer window, but fewer than you might suppose. Certain keys | |
2478 | behave differently in the minibuffer, but that is only because of the | |
2479 | minibuffer's local map; if you switch windows, you get the usual Emacs | |
2480 | commands. | |
2481 | ||
2482 | @cindex @code{throw} example | |
2483 | @kindex exit | |
2484 | @cindex exit recursive editing | |
2485 | @cindex aborting | |
2486 | To invoke a recursive editing level, call the function | |
2487 | @code{recursive-edit}. This function contains the command loop; it also | |
2488 | contains a call to @code{catch} with tag @code{exit}, which makes it | |
2489 | possible to exit the recursive editing level by throwing to @code{exit} | |
2490 | (@pxref{Catch and Throw}). If you throw a value other than @code{t}, | |
2491 | then @code{recursive-edit} returns normally to the function that called | |
2492 | it. The command @kbd{C-M-c} (@code{exit-recursive-edit}) does this. | |
2493 | Throwing a @code{t} value causes @code{recursive-edit} to quit, so that | |
2494 | control returns to the command loop one level up. This is called | |
2495 | @dfn{aborting}, and is done by @kbd{C-]} (@code{abort-recursive-edit}). | |
2496 | ||
2497 | Most applications should not use recursive editing, except as part of | |
2498 | using the minibuffer. Usually it is more convenient for the user if you | |
2499 | change the major mode of the current buffer temporarily to a special | |
b22f3a19 RS |
2500 | major mode, which should have a command to go back to the previous mode. |
2501 | (The @kbd{e} command in Rmail uses this technique.) Or, if you wish to | |
2502 | give the user different text to edit ``recursively'', create and select | |
2503 | a new buffer in a special mode. In this mode, define a command to | |
2504 | complete the processing and go back to the previous buffer. (The | |
2505 | @kbd{m} command in Rmail does this.) | |
8db970a4 RS |
2506 | |
2507 | Recursive edits are useful in debugging. You can insert a call to | |
2508 | @code{debug} into a function definition as a sort of breakpoint, so that | |
2509 | you can look around when the function gets there. @code{debug} invokes | |
2510 | a recursive edit but also provides the other features of the debugger. | |
2511 | ||
2512 | Recursive editing levels are also used when you type @kbd{C-r} in | |
2513 | @code{query-replace} or use @kbd{C-x q} (@code{kbd-macro-query}). | |
2514 | ||
2515 | @defun recursive-edit | |
2516 | @cindex suspend evaluation | |
2517 | This function invokes the editor command loop. It is called | |
2518 | automatically by the initialization of Emacs, to let the user begin | |
2519 | editing. When called from a Lisp program, it enters a recursive editing | |
2520 | level. | |
2521 | ||
2522 | In the following example, the function @code{simple-rec} first | |
2523 | advances point one word, then enters a recursive edit, printing out a | |
2524 | message in the echo area. The user can then do any editing desired, and | |
2525 | then type @kbd{C-M-c} to exit and continue executing @code{simple-rec}. | |
2526 | ||
2527 | @example | |
2528 | (defun simple-rec () | |
2529 | (forward-word 1) | |
f142f62a | 2530 | (message "Recursive edit in progress") |
8db970a4 RS |
2531 | (recursive-edit) |
2532 | (forward-word 1)) | |
2533 | @result{} simple-rec | |
2534 | (simple-rec) | |
2535 | @result{} nil | |
2536 | @end example | |
2537 | @end defun | |
2538 | ||
2539 | @deffn Command exit-recursive-edit | |
2540 | This function exits from the innermost recursive edit (including | |
2541 | minibuffer input). Its definition is effectively @code{(throw 'exit | |
2542 | nil)}. | |
2543 | @end deffn | |
2544 | ||
2545 | @deffn Command abort-recursive-edit | |
2546 | This function aborts the command that requested the innermost recursive | |
2547 | edit (including minibuffer input), by signaling @code{quit} | |
2548 | after exiting the recursive edit. Its definition is effectively | |
2549 | @code{(throw 'exit t)}. @xref{Quitting}. | |
2550 | @end deffn | |
2551 | ||
2552 | @deffn Command top-level | |
2553 | This function exits all recursive editing levels; it does not return a | |
2554 | value, as it jumps completely out of any computation directly back to | |
2555 | the main command loop. | |
2556 | @end deffn | |
2557 | ||
2558 | @defun recursion-depth | |
2559 | This function returns the current depth of recursive edits. When no | |
2560 | recursive edit is active, it returns 0. | |
2561 | @end defun | |
2562 | ||
2563 | @node Disabling Commands | |
2564 | @section Disabling Commands | |
2565 | @cindex disabled command | |
2566 | ||
2567 | @dfn{Disabling a command} marks the command as requiring user | |
2568 | confirmation before it can be executed. Disabling is used for commands | |
2569 | which might be confusing to beginning users, to prevent them from using | |
2570 | the commands by accident. | |
2571 | ||
2572 | @kindex disabled | |
2573 | The low-level mechanism for disabling a command is to put a | |
2574 | non-@code{nil} @code{disabled} property on the Lisp symbol for the | |
2575 | command. These properties are normally set up by the user's | |
a40d4712 | 2576 | init file (@pxref{Init File}) with Lisp expressions such as this: |
8db970a4 RS |
2577 | |
2578 | @example | |
2579 | (put 'upcase-region 'disabled t) | |
2580 | @end example | |
2581 | ||
2582 | @noindent | |
a40d4712 PR |
2583 | For a few commands, these properties are present by default (you can |
2584 | remove them in your init file if you wish). | |
8db970a4 | 2585 | |
f142f62a RS |
2586 | If the value of the @code{disabled} property is a string, the message |
2587 | saying the command is disabled includes that string. For example: | |
8db970a4 RS |
2588 | |
2589 | @example | |
2590 | (put 'delete-region 'disabled | |
2591 | "Text deleted this way cannot be yanked back!\n") | |
2592 | @end example | |
2593 | ||
2594 | @xref{Disabling,,, emacs, The GNU Emacs Manual}, for the details on | |
2595 | what happens when a disabled command is invoked interactively. | |
2596 | Disabling a command has no effect on calling it as a function from Lisp | |
2597 | programs. | |
2598 | ||
2599 | @deffn Command enable-command command | |
2600 | Allow @var{command} to be executed without special confirmation from now | |
a40d4712 PR |
2601 | on, and (if the user confirms) alter the user's init file (@pxref{Init |
2602 | File}) so that this will apply to future sessions. | |
8db970a4 RS |
2603 | @end deffn |
2604 | ||
2605 | @deffn Command disable-command command | |
f142f62a | 2606 | Require special confirmation to execute @var{command} from now on, and |
a40d4712 | 2607 | (if the user confirms) alter the user's init file so that this |
b22f3a19 | 2608 | will apply to future sessions. |
8db970a4 RS |
2609 | @end deffn |
2610 | ||
2611 | @defvar disabled-command-hook | |
f9f59935 RS |
2612 | When the user invokes a disabled command interactively, this normal hook |
2613 | is run instead of the disabled command. The hook functions can use | |
f142f62a | 2614 | @code{this-command-keys} to determine what the user typed to run the |
b22f3a19 | 2615 | command, and thus find the command itself. @xref{Hooks}. |
8db970a4 RS |
2616 | |
2617 | By default, @code{disabled-command-hook} contains a function that asks | |
2618 | the user whether to proceed. | |
2619 | @end defvar | |
2620 | ||
2621 | @node Command History | |
2622 | @section Command History | |
2623 | @cindex command history | |
2624 | @cindex complex command | |
2625 | @cindex history of commands | |
2626 | ||
2627 | The command loop keeps a history of the complex commands that have | |
2628 | been executed, to make it convenient to repeat these commands. A | |
2629 | @dfn{complex command} is one for which the interactive argument reading | |
2630 | uses the minibuffer. This includes any @kbd{M-x} command, any | |
bfe721d1 | 2631 | @kbd{M-:} command, and any command whose @code{interactive} |
8db970a4 RS |
2632 | specification reads an argument from the minibuffer. Explicit use of |
2633 | the minibuffer during the execution of the command itself does not cause | |
2634 | the command to be considered complex. | |
2635 | ||
2636 | @defvar command-history | |
2637 | This variable's value is a list of recent complex commands, each | |
2638 | represented as a form to evaluate. It continues to accumulate all | |
a9f0a989 RS |
2639 | complex commands for the duration of the editing session, but when it |
2640 | reaches the maximum size (specified by the variable | |
2641 | @code{history-length}), the oldest elements are deleted as new ones are | |
2642 | added. | |
8db970a4 RS |
2643 | |
2644 | @example | |
2645 | @group | |
2646 | command-history | |
2647 | @result{} ((switch-to-buffer "chistory.texi") | |
2648 | (describe-key "^X^[") | |
2649 | (visit-tags-table "~/emacs/src/") | |
2650 | (find-tag "repeat-complex-command")) | |
2651 | @end group | |
2652 | @end example | |
2653 | @end defvar | |
2654 | ||
2655 | This history list is actually a special case of minibuffer history | |
2656 | (@pxref{Minibuffer History}), with one special twist: the elements are | |
2657 | expressions rather than strings. | |
2658 | ||
2659 | There are a number of commands devoted to the editing and recall of | |
2660 | previous commands. The commands @code{repeat-complex-command}, and | |
2661 | @code{list-command-history} are described in the user manual | |
2662 | (@pxref{Repetition,,, emacs, The GNU Emacs Manual}). Within the | |
f9f59935 | 2663 | minibuffer, the usual minibuffer history commands are available. |
8db970a4 RS |
2664 | |
2665 | @node Keyboard Macros | |
2666 | @section Keyboard Macros | |
2667 | @cindex keyboard macros | |
2668 | ||
2669 | A @dfn{keyboard macro} is a canned sequence of input events that can | |
f142f62a RS |
2670 | be considered a command and made the definition of a key. The Lisp |
2671 | representation of a keyboard macro is a string or vector containing the | |
2672 | events. Don't confuse keyboard macros with Lisp macros | |
2673 | (@pxref{Macros}). | |
8db970a4 | 2674 | |
f9f59935 RS |
2675 | @defun execute-kbd-macro kbdmacro &optional count |
2676 | This function executes @var{kbdmacro} as a sequence of events. If | |
2677 | @var{kbdmacro} is a string or vector, then the events in it are executed | |
8db970a4 RS |
2678 | exactly as if they had been input by the user. The sequence is |
2679 | @emph{not} expected to be a single key sequence; normally a keyboard | |
2680 | macro definition consists of several key sequences concatenated. | |
2681 | ||
f9f59935 RS |
2682 | If @var{kbdmacro} is a symbol, then its function definition is used in |
2683 | place of @var{kbdmacro}. If that is another symbol, this process repeats. | |
8db970a4 RS |
2684 | Eventually the result should be a string or vector. If the result is |
2685 | not a symbol, string, or vector, an error is signaled. | |
2686 | ||
f9f59935 RS |
2687 | The argument @var{count} is a repeat count; @var{kbdmacro} is executed that |
2688 | many times. If @var{count} is omitted or @code{nil}, @var{kbdmacro} is | |
2689 | executed once. If it is 0, @var{kbdmacro} is executed over and over until it | |
8db970a4 | 2690 | encounters an error or a failing search. |
f9f59935 RS |
2691 | |
2692 | @xref{Reading One Event}, for an example of using @code{execute-kbd-macro}. | |
8db970a4 RS |
2693 | @end defun |
2694 | ||
8db970a4 RS |
2695 | @defvar executing-macro |
2696 | This variable contains the string or vector that defines the keyboard | |
2697 | macro that is currently executing. It is @code{nil} if no macro is | |
f9f59935 | 2698 | currently executing. A command can test this variable so as to behave |
f142f62a RS |
2699 | differently when run from an executing macro. Do not set this variable |
2700 | yourself. | |
8db970a4 RS |
2701 | @end defvar |
2702 | ||
2703 | @defvar defining-kbd-macro | |
f142f62a | 2704 | This variable indicates whether a keyboard macro is being defined. A |
f9f59935 RS |
2705 | command can test this variable so as to behave differently while a macro |
2706 | is being defined. The commands @code{start-kbd-macro} and | |
f142f62a | 2707 | @code{end-kbd-macro} set this variable---do not set it yourself. |
22697dac | 2708 | |
bfe721d1 KH |
2709 | The variable is always local to the current terminal and cannot be |
2710 | buffer-local. @xref{Multiple Displays}. | |
2711 | @end defvar | |
2712 | ||
2713 | @defvar last-kbd-macro | |
2714 | This variable is the definition of the most recently defined keyboard | |
2715 | macro. Its value is a string or vector, or @code{nil}. | |
2716 | ||
2717 | The variable is always local to the current terminal and cannot be | |
22697dac | 2718 | buffer-local. @xref{Multiple Displays}. |
8db970a4 RS |
2719 | @end defvar |
2720 |