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