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