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