(Syntax Table Functions):
[emacs.git] / lispref / minibuf.texi
blobbc2342fc18e460d956e2373d3cda53e2d3993d7f
1 @c -*-texinfo-*-
2 @c This is part of the GNU Emacs Lisp Reference Manual.
3 @c Copyright (C) 1990, 1991, 1992, 1993, 1994, 1995, 1998, 1999, 2001, 2002,
4 @c   2003, 2004, 2005 Free Software Foundation, Inc.
5 @c See the file elisp.texi for copying conditions.
6 @setfilename ../info/minibuf
7 @node Minibuffers, Command Loop, Read and Print, Top
8 @chapter Minibuffers
9 @cindex arguments, reading
10 @cindex complex arguments
11 @cindex minibuffer
13   A @dfn{minibuffer} is a special buffer that Emacs commands use to
14 read arguments more complicated than the single numeric prefix
15 argument.  These arguments include file names, buffer names, and
16 command names (as in @kbd{M-x}).  The minibuffer is displayed on the
17 bottom line of the frame, in the same place as the echo area
18 (@pxref{The Echo Area}), but only while it is in use for reading an
19 argument.
21 @menu
22 * Intro to Minibuffers::      Basic information about minibuffers.
23 * Text from Minibuffer::      How to read a straight text string.
24 * Object from Minibuffer::    How to read a Lisp object or expression.
25 * Minibuffer History::        Recording previous minibuffer inputs
26                                 so the user can reuse them.
27 * Initial Input::             Specifying initial contents for the minibuffer.
28 * Completion::                How to invoke and customize completion.
29 * Yes-or-No Queries::         Asking a question with a simple answer.
30 * Multiple Queries::          Asking a series of similar questions.
31 * Reading a Password::        Reading a password from the terminal.
32 * Minibuffer Commands::       Commands used as key bindings in minibuffers.
33 * Minibuffer Contents::       How such commands access the minibuffer text.
34 * Minibuffer Windows::        Operating on the special minibuffer windows.
35 * Recursive Mini::            Whether recursive entry to minibuffer is allowed.
36 * Minibuffer Misc::           Various customization hooks and variables.
37 @end menu
39 @node Intro to Minibuffers
40 @section Introduction to Minibuffers
42   In most ways, a minibuffer is a normal Emacs buffer.  Most operations
43 @emph{within} a buffer, such as editing commands, work normally in a
44 minibuffer.  However, many operations for managing buffers do not apply
45 to minibuffers.  The name of a minibuffer always has the form @w{@samp{
46 *Minibuf-@var{number}*}}, and it cannot be changed.  Minibuffers are
47 displayed only in special windows used only for minibuffers; these
48 windows always appear at the bottom of a frame.  (Sometimes frames have
49 no minibuffer window, and sometimes a special kind of frame contains
50 nothing but a minibuffer window; see @ref{Minibuffers and Frames}.)
52   The text in the minibuffer always starts with the @dfn{prompt string},
53 the text that was specified by the program that is using the minibuffer
54 to tell the user what sort of input to type.  This text is marked
55 read-only so you won't accidentally delete or change it.  It is also
56 marked as a field (@pxref{Fields}), so that certain motion functions,
57 including @code{beginning-of-line}, @code{forward-word},
58 @code{forward-sentence}, and @code{forward-paragraph}, stop at the
59 boundary between the prompt and the actual text.  (In older Emacs
60 versions, the prompt was displayed using a special mechanism and was not
61 part of the buffer contents.)
63   The minibuffer's window is normally a single line; it grows
64 automatically if necessary if the contents require more space.  You can
65 explicitly resize it temporarily with the window sizing commands; it
66 reverts to its normal size when the minibuffer is exited.  You can
67 resize it permanently by using the window sizing commands in the frame's
68 other window, when the minibuffer is not active.  If the frame contains
69 just a minibuffer, you can change the minibuffer's size by changing the
70 frame's size.
72   Use of the minibuffer reads input events, and that alters the values
73 of variables such as @code{this-command} and @code{last-command}
74 (@pxref{Command Loop Info}).  Your program should bind them around the
75 code that uses the minibuffer, if you do not want that to change them.
77   If a command uses a minibuffer while there is an active minibuffer,
78 this is called a @dfn{recursive minibuffer}.  The first minibuffer is
79 named @w{@samp{ *Minibuf-0*}}.  Recursive minibuffers are named by
80 incrementing the number at the end of the name.  (The names begin with a
81 space so that they won't show up in normal buffer lists.)  Of several
82 recursive minibuffers, the innermost (or most recently entered) is the
83 active minibuffer.  We usually call this ``the'' minibuffer.  You can
84 permit or forbid recursive minibuffers by setting the variable
85 @code{enable-recursive-minibuffers} or by putting properties of that
86 name on command symbols (@pxref{Recursive Mini}).
88   Like other buffers, a minibuffer may use any of several local keymaps
89 (@pxref{Keymaps}); these contain various exit commands and in some cases
90 completion commands (@pxref{Completion}).
92 @itemize @bullet
93 @item
94 @code{minibuffer-local-map} is for ordinary input (no completion).
96 @item
97 @code{minibuffer-local-ns-map} is similar, except that @key{SPC} exits
98 just like @key{RET}.
100 @item
101 @code{minibuffer-local-completion-map} is for permissive completion.
103 @item
104 @code{minibuffer-local-must-match-map} is for strict completion and
105 for cautious completion.
106 @end itemize
108   When Emacs is running in batch mode, any request to read from the
109 minibuffer actually reads a line from the standard input descriptor that
110 was supplied when Emacs was started.
112 @node Text from Minibuffer
113 @section Reading Text Strings with the Minibuffer
115   Most often, the minibuffer is used to read text as a string.  It can
116 also be used to read a Lisp object in textual form.  The most basic
117 primitive for minibuffer input is @code{read-from-minibuffer}; it can do
118 either one.  There are also specialized commands for reading
119 commands, variables, file names, etc. (@pxref{Completion}).
121   In most cases, you should not call minibuffer input functions in the
122 middle of a Lisp function.  Instead, do all minibuffer input as part of
123 reading the arguments for a command, in the @code{interactive}
124 specification.  @xref{Defining Commands}.
126 @defun read-from-minibuffer prompt-string &optional initial-contents keymap read hist default inherit-input-method keep-all
127 This function is the most general way to get input through the
128 minibuffer.  By default, it accepts arbitrary text and returns it as a
129 string; however, if @var{read} is non-@code{nil}, then it uses
130 @code{read} to convert the text into a Lisp object (@pxref{Input
131 Functions}).
133 The first thing this function does is to activate a minibuffer and
134 display it with @var{prompt-string} as the prompt.  This value must be a
135 string.  Then the user can edit text in the minibuffer.
137 When the user types a command to exit the minibuffer,
138 @code{read-from-minibuffer} constructs the return value from the text in
139 the minibuffer.  Normally it returns a string containing that text.
140 However, if @var{read} is non-@code{nil}, @code{read-from-minibuffer}
141 reads the text and returns the resulting Lisp object, unevaluated.
142 (@xref{Input Functions}, for information about reading.)
144 The argument @var{default} specifies a default value to make available
145 through the history commands.  It should be a string, or @code{nil}.
146 If non-@code{nil}, the user can access it using
147 @code{next-history-element}, usually bound in the minibuffer to
148 @kbd{M-n}.  If @var{read} is non-@code{nil}, then @var{default} is
149 also used as the input to @code{read}, if the user enters empty input.
150 (If @var{read} is non-@code{nil} and @var{default} is @code{nil}, empty
151 input results in an @code{end-of-file} error.)  However, in the usual
152 case (where @var{read} is @code{nil}), @code{read-from-minibuffer}
153 ignores @var{default} when the user enters empty input and returns an
154 empty string, @code{""}.  In this respect, it is different from all
155 the other minibuffer input functions in this chapter.
157 If @var{keymap} is non-@code{nil}, that keymap is the local keymap to
158 use in the minibuffer.  If @var{keymap} is omitted or @code{nil}, the
159 value of @code{minibuffer-local-map} is used as the keymap.  Specifying
160 a keymap is the most important way to customize the minibuffer for
161 various applications such as completion.
163 The argument @var{hist} specifies which history list variable to use
164 for saving the input and for history commands used in the minibuffer.
165 It defaults to @code{minibuffer-history}.  @xref{Minibuffer History}.
167 If the variable @code{minibuffer-allow-text-properties} is
168 non-@code{nil}, then the string which is returned includes whatever text
169 properties were present in the minibuffer.  Otherwise all the text
170 properties are stripped when the value is returned.
172 If the argument @var{inherit-input-method} is non-@code{nil}, then the
173 minibuffer inherits the current input method (@pxref{Input Methods}) and
174 the setting of @code{enable-multibyte-characters} (@pxref{Text
175 Representations}) from whichever buffer was current before entering the
176 minibuffer.
178 If @var{keep-all} is non-@code{nil}, even empty and duplicate inputs
179 are added to the history list.
181 Use of @var{initial-contents} is mostly deprecated; we recommend using
182 a non-@code{nil} value only in conjunction with specifying a cons cell
183 for @var{hist}.  @xref{Initial Input}.
184 @end defun
186 @defun read-string prompt &optional initial history default inherit-input-method
187 This function reads a string from the minibuffer and returns it.  The
188 arguments @var{prompt}, @var{initial}, @var{history} and
189 @var{inherit-input-method} are used as in @code{read-from-minibuffer}.
190 The keymap used is @code{minibuffer-local-map}.
192 The optional argument @var{default} is used as in
193 @code{read-from-minibuffer}, except that, if non-@code{nil}, it also
194 specifies a default value to return if the user enters null input.  As
195 in @code{read-from-minibuffer} it should be a string, or @code{nil},
196 which is equivalent to an empty string.
198 This function is a simplified interface to the
199 @code{read-from-minibuffer} function:
201 @smallexample
202 @group
203 (read-string @var{prompt} @var{initial} @var{history} @var{default} @var{inherit})
204 @equiv{}
205 (let ((value
206        (read-from-minibuffer @var{prompt} @var{initial} nil nil
207                              @var{history} @var{default} @var{inherit})))
208   (if (and (equal value "") @var{default})
209       @var{default}
210     value))
211 @end group
212 @end smallexample
213 @end defun
215 @defvar minibuffer-allow-text-properties
216 If this variable is @code{nil}, then @code{read-from-minibuffer} strips
217 all text properties from the minibuffer input before returning it.
218 This variable also affects @code{read-string}.  However,
219 @code{read-no-blanks-input} (see below), as well as
220 @code{read-minibuffer} and related functions (@pxref{Object from
221 Minibuffer,, Reading Lisp Objects With the Minibuffer}), and all
222 functions that do minibuffer input with completion, discard text
223 properties unconditionally, regardless of the value of this variable.
224 @end defvar
226 @defvar minibuffer-local-map
227 @anchor{Definition of minibuffer-local-map}
228 This is the default local keymap for reading from the minibuffer.  By
229 default, it makes the following bindings:
231 @table @asis
232 @item @kbd{C-j}
233 @code{exit-minibuffer}
235 @item @key{RET}
236 @code{exit-minibuffer}
238 @item @kbd{C-g}
239 @code{abort-recursive-edit}
241 @item @kbd{M-n}
242 @itemx @key{DOWN}
243 @code{next-history-element}
245 @item @kbd{M-p}
246 @itemx @key{UP}
247 @code{previous-history-element}
249 @item @kbd{M-s}
250 @code{next-matching-history-element}
252 @item @kbd{M-r}
253 @code{previous-matching-history-element}
254 @end table
255 @end defvar
257 @c In version 18, initial is required
258 @c Emacs 19 feature
259 @defun read-no-blanks-input prompt &optional initial inherit-input-method
260 This function reads a string from the minibuffer, but does not allow
261 whitespace characters as part of the input: instead, those characters
262 terminate the input.  The arguments @var{prompt}, @var{initial}, and
263 @var{inherit-input-method} are used as in @code{read-from-minibuffer}.
265 This is a simplified interface to the @code{read-from-minibuffer}
266 function, and passes the value of the @code{minibuffer-local-ns-map}
267 keymap as the @var{keymap} argument for that function.  Since the keymap
268 @code{minibuffer-local-ns-map} does not rebind @kbd{C-q}, it @emph{is}
269 possible to put a space into the string, by quoting it.
271 This function discards text properties, regardless of the value of
272 @code{minibuffer-allow-text-properties}.
274 @smallexample
275 @group
276 (read-no-blanks-input @var{prompt} @var{initial})
277 @equiv{}
278 (let (minibuffer-allow-text-properties)
279   (read-from-minibuffer @var{prompt} @var{initial} minibuffer-local-ns-map))
280 @end group
281 @end smallexample
282 @end defun
284 @defvar minibuffer-local-ns-map
285 This built-in variable is the keymap used as the minibuffer local keymap
286 in the function @code{read-no-blanks-input}.  By default, it makes the
287 following bindings, in addition to those of @code{minibuffer-local-map}:
289 @table @asis
290 @item @key{SPC}
291 @cindex @key{SPC} in minibuffer
292 @code{exit-minibuffer}
294 @item @key{TAB}
295 @cindex @key{TAB} in minibuffer
296 @code{exit-minibuffer}
298 @item @kbd{?}
299 @cindex @kbd{?} in minibuffer
300 @code{self-insert-and-exit}
301 @end table
302 @end defvar
304 @node Object from Minibuffer
305 @section Reading Lisp Objects with the Minibuffer
307   This section describes functions for reading Lisp objects with the
308 minibuffer.
310 @defun read-minibuffer prompt &optional initial
311 This function reads a Lisp object using the minibuffer, and returns it
312 without evaluating it.  The arguments @var{prompt} and @var{initial} are
313 used as in @code{read-from-minibuffer}.
315 This is a simplified interface to the
316 @code{read-from-minibuffer} function:
318 @smallexample
319 @group
320 (read-minibuffer @var{prompt} @var{initial})
321 @equiv{}
322 (let (minibuffer-allow-text-properties)
323   (read-from-minibuffer @var{prompt} @var{initial} nil t))
324 @end group
325 @end smallexample
327 Here is an example in which we supply the string @code{"(testing)"} as
328 initial input:
330 @smallexample
331 @group
332 (read-minibuffer
333  "Enter an expression: " (format "%s" '(testing)))
335 ;; @r{Here is how the minibuffer is displayed:}
336 @end group
338 @group
339 ---------- Buffer: Minibuffer ----------
340 Enter an expression: (testing)@point{}
341 ---------- Buffer: Minibuffer ----------
342 @end group
343 @end smallexample
345 @noindent
346 The user can type @key{RET} immediately to use the initial input as a
347 default, or can edit the input.
348 @end defun
350 @defun eval-minibuffer prompt &optional initial
351 This function reads a Lisp expression using the minibuffer, evaluates
352 it, then returns the result.  The arguments @var{prompt} and
353 @var{initial} are used as in @code{read-from-minibuffer}.
355 This function simply evaluates the result of a call to
356 @code{read-minibuffer}:
358 @smallexample
359 @group
360 (eval-minibuffer @var{prompt} @var{initial})
361 @equiv{}
362 (eval (read-minibuffer @var{prompt} @var{initial}))
363 @end group
364 @end smallexample
365 @end defun
367 @defun edit-and-eval-command prompt form
368 This function reads a Lisp expression in the minibuffer, and then
369 evaluates it.  The difference between this command and
370 @code{eval-minibuffer} is that here the initial @var{form} is not
371 optional and it is treated as a Lisp object to be converted to printed
372 representation rather than as a string of text.  It is printed with
373 @code{prin1}, so if it is a string, double-quote characters (@samp{"})
374 appear in the initial text.  @xref{Output Functions}.
376 The first thing @code{edit-and-eval-command} does is to activate the
377 minibuffer with @var{prompt} as the prompt.  Then it inserts the printed
378 representation of @var{form} in the minibuffer, and lets the user edit it.
379 When the user exits the minibuffer, the edited text is read with
380 @code{read} and then evaluated.  The resulting value becomes the value
381 of @code{edit-and-eval-command}.
383 In the following example, we offer the user an expression with initial
384 text which is a valid form already:
386 @smallexample
387 @group
388 (edit-and-eval-command "Please edit: " '(forward-word 1))
390 ;; @r{After evaluation of the preceding expression,}
391 ;;   @r{the following appears in the minibuffer:}
392 @end group
394 @group
395 ---------- Buffer: Minibuffer ----------
396 Please edit: (forward-word 1)@point{}
397 ---------- Buffer: Minibuffer ----------
398 @end group
399 @end smallexample
401 @noindent
402 Typing @key{RET} right away would exit the minibuffer and evaluate the
403 expression, thus moving point forward one word.
404 @code{edit-and-eval-command} returns @code{nil} in this example.
405 @end defun
407 @node Minibuffer History
408 @section Minibuffer History
409 @cindex minibuffer history
410 @cindex history list
412   A @dfn{minibuffer history list} records previous minibuffer inputs so
413 the user can reuse them conveniently.  A history list is actually a
414 symbol, not a list; it is a variable whose value is a list of strings
415 (previous inputs), most recent first.
417   There are many separate history lists, used for different kinds of
418 inputs.  It's the Lisp programmer's job to specify the right history
419 list for each use of the minibuffer.
421   You specify the history list with the optional @var{hist} argument
422 to either @code{read-from-minibuffer} or @code{completing-read}.  Here
423 are the possible values for it:
425 @table @asis
426 @item @var{variable}
427 Use @var{variable} (a symbol) as the history list.
429 @item (@var{variable} . @var{startpos})
430 Use @var{variable} (a symbol) as the history list, and assume that the
431 initial history position is @var{startpos} (a nonnegative integer).
433 Specifying 0 for @var{startpos} is equivalent to just specifying the
434 symbol @var{variable}.  @code{previous-history-element} will display
435 the most recent element of the history list in the minibuffer.  If you
436 specify a positive @var{startpos}, the minibuffer history functions
437 behave as if @code{(elt @var{variable} (1- @var{STARTPOS}))} were the
438 history element currently shown in the minibuffer.
440 For consistency, you should also specify that element of the history
441 as the initial minibuffer contents, using the @var{initial} argument
442 to the minibuffer input function (@pxref{Initial Input}).
443 @end table
445   If you don't specify @var{hist}, then the default history list
446 @code{minibuffer-history} is used.  For other standard history lists,
447 see below.  You can also create your own history list variable; just
448 initialize it to @code{nil} before the first use.
450   Both @code{read-from-minibuffer} and @code{completing-read} add new
451 elements to the history list automatically, and provide commands to
452 allow the user to reuse items on the list.  The only thing your program
453 needs to do to use a history list is to initialize it and to pass its
454 name to the input functions when you wish.  But it is safe to modify the
455 list by hand when the minibuffer input functions are not using it.
457   Emacs functions that add a new element to a history list can also
458 delete old elements if the list gets too long.  The variable
459 @code{history-length} specifies the maximum length for most history
460 lists.  To specify a different maximum length for a particular history
461 list, put the length in the @code{history-length} property of the
462 history list symbol.  The variable @code{history-delete-duplicates}
463 specifies whether to delete duplicates in history.
465 @defvar history-length
466 The value of this variable specifies the maximum length for all
467 history lists that don't specify their own maximum lengths.  If the
468 value is @code{t}, that means there no maximum (don't delete old
469 elements).
470 @end defvar
472 @defvar history-delete-duplicates
473 If the value of this variable is @code{t}, that means when adding a
474 new history element, all previous identical elements are deleted.
475 @end defvar
477   Here are some of the standard minibuffer history list variables:
479 @defvar minibuffer-history
480 The default history list for minibuffer history input.
481 @end defvar
483 @defvar query-replace-history
484 A history list for arguments to @code{query-replace} (and similar
485 arguments to other commands).
486 @end defvar
488 @defvar file-name-history
489 A history list for file-name arguments.
490 @end defvar
492 @defvar buffer-name-history
493 A history list for buffer-name arguments.
494 @end defvar
496 @defvar regexp-history
497 A history list for regular expression arguments.
498 @end defvar
500 @defvar extended-command-history
501 A history list for arguments that are names of extended commands.
502 @end defvar
504 @defvar shell-command-history
505 A history list for arguments that are shell commands.
506 @end defvar
508 @defvar read-expression-history
509 A history list for arguments that are Lisp expressions to evaluate.
510 @end defvar
512 @node Initial Input
513 @section Initial Input
515 Several of the functions for minibuffer input have an argument called
516 @var{initial} or @var{initial-contents}.  This is a mostly-deprecated
517 feature for specifiying that the minibuffer should start out with
518 certain text, instead of empty as usual.
520 If @var{initial} is a string, the minibuffer starts out containing the
521 text of the string, with point at the end, when the user starts to
522 edit the text.  If the user simply types @key{RET} to exit the
523 minibuffer, it will use the initial input string to determine the
524 value to return.
526 @strong{We discourage use of a non-@code{nil} value for
527 @var{initial}}, because initial input is an intrusive interface.
528 History lists and default values provide a much more convenient method
529 to offer useful default inputs to the user.
531 There is just one situation where you should specify a string for an
532 @var{initial} argument.  This is when you specify a cons cell for the
533 @var{hist} or @var{history} argument.  @xref{Minibuffer History}.
535 @var{initial} can also be a cons cell of the form @code{(@var{string}
536 . @var{position})}.  This means to insert @var{string} in the
537 minibuffer but put point at @var{position} within the string's text.
539 As a historical accident, @var{position} was implemented
540 inconsistently in different functions.  In @code{completing-read},
541 @var{position}'s value is interpreted as origin-zero; that is, a value
542 of 0 means the beginning of the string, 1 means after the first
543 character, etc.  In @code{read-minibuffer}, and the other
544 non-completion minibuffer input functions that support this argument,
545 1 means the beginning of the string 2 means after the first character,
546 etc.
548 Use of a cons cell as the value for @var{initial} arguments is
549 deprecated in user code.
551 @node Completion
552 @section Completion
553 @cindex completion
555   @dfn{Completion} is a feature that fills in the rest of a name
556 starting from an abbreviation for it.  Completion works by comparing the
557 user's input against a list of valid names and determining how much of
558 the name is determined uniquely by what the user has typed.  For
559 example, when you type @kbd{C-x b} (@code{switch-to-buffer}) and then
560 type the first few letters of the name of the buffer to which you wish
561 to switch, and then type @key{TAB} (@code{minibuffer-complete}), Emacs
562 extends the name as far as it can.
564   Standard Emacs commands offer completion for names of symbols, files,
565 buffers, and processes; with the functions in this section, you can
566 implement completion for other kinds of names.
568   The @code{try-completion} function is the basic primitive for
569 completion: it returns the longest determined completion of a given
570 initial string, with a given set of strings to match against.
572   The function @code{completing-read} provides a higher-level interface
573 for completion.  A call to @code{completing-read} specifies how to
574 determine the list of valid names.  The function then activates the
575 minibuffer with a local keymap that binds a few keys to commands useful
576 for completion.  Other functions provide convenient simple interfaces
577 for reading certain kinds of names with completion.
579 @menu
580 * Basic Completion::       Low-level functions for completing strings.
581                              (These are too low level to use the minibuffer.)
582 * Minibuffer Completion::  Invoking the minibuffer with completion.
583 * Completion Commands::    Minibuffer commands that do completion.
584 * High-Level Completion::  Convenient special cases of completion
585                              (reading buffer name, file name, etc.)
586 * Reading File Names::     Using completion to read file names.
587 * Programmed Completion::  Writing your own completion-function.
588 @end menu
590 @node Basic Completion
591 @subsection Basic Completion Functions
593   The completion functions @code{try-completion},
594 @code{all-completions} and @code{test-completion} have nothing in
595 themselves to do with minibuffers.  We describe them in this chapter
596 so as to keep them near the higher-level completion features that do
597 use the minibuffer.
599 @defun try-completion string collection &optional predicate
600 This function returns the longest common substring of all possible
601 completions of @var{string} in @var{collection}.  The value of
602 @var{collection} must be a list of strings or symbols, an alist, an
603 obarray, a hash table, or a function that implements a virtual set of
604 strings (see below).
606 Completion compares @var{string} against each of the permissible
607 completions specified by @var{collection}; if the beginning of the
608 permissible completion equals @var{string}, it matches.  If no permissible
609 completions match, @code{try-completion} returns @code{nil}.  If only
610 one permissible completion matches, and the match is exact, then
611 @code{try-completion} returns @code{t}.  Otherwise, the value is the
612 longest initial sequence common to all the permissible completions that
613 match.
615 If @var{collection} is an alist (@pxref{Association Lists}), the
616 permissible completions are the elements of the alist that are either
617 strings, symbols, or conses whose @sc{car} is a string or symbol.
618 Symbols are converted to strings using @code{symbol-name}.
619 Other elements of the alist are ignored. (Remember that in Emacs Lisp,
620 the elements of alists do not @emph{have} to be conses.)  As all
621 elements of the alist can be strings, this case actually includes
622 lists of strings or symbols, even though we usually do not think of
623 such lists as alists.
625 @cindex obarray in completion
626 If @var{collection} is an obarray (@pxref{Creating Symbols}), the names
627 of all symbols in the obarray form the set of permissible completions.  The
628 global variable @code{obarray} holds an obarray containing the names of
629 all interned Lisp symbols.
631 Note that the only valid way to make a new obarray is to create it
632 empty and then add symbols to it one by one using @code{intern}.
633 Also, you cannot intern a given symbol in more than one obarray.
635 If @var{collection} is a hash table, then the keys that are strings
636 are the possible completions.  Other keys are ignored.
638 You can also use a symbol that is a function as @var{collection}.  Then
639 the function is solely responsible for performing completion;
640 @code{try-completion} returns whatever this function returns.  The
641 function is called with three arguments: @var{string}, @var{predicate}
642 and @code{nil}.  (The reason for the third argument is so that the same
643 function can be used in @code{all-completions} and do the appropriate
644 thing in either case.)  @xref{Programmed Completion}.
646 If the argument @var{predicate} is non-@code{nil}, then it must be a
647 function of one argument, unless @var{collection} is a hash table, in
648 which case it should be a function of two arguments.  It is used to
649 test each possible match, and the match is accepted only if
650 @var{predicate} returns non-@code{nil}.  The argument given to
651 @var{predicate} is either a string or a cons cell (the @sc{car} of
652 which is a string) from the alist, or a symbol (@emph{not} a symbol
653 name) from the obarray.  If @var{collection} is a hash table,
654 @var{predicate} is called with two arguments, the string key and the
655 associated value.
657 In addition, to be acceptable, a completion must also match all the
658 regular expressions in @code{completion-regexp-list}.  (Unless
659 @var{collection} is a function, in which case that function has to
660 handle @code{completion-regexp-list} itself.)
662 In the first of the following examples, the string @samp{foo} is
663 matched by three of the alist @sc{car}s.  All of the matches begin with
664 the characters @samp{fooba}, so that is the result.  In the second
665 example, there is only one possible match, and it is exact, so the value
666 is @code{t}.
668 @smallexample
669 @group
670 (try-completion
671  "foo"
672  '(("foobar1" 1) ("barfoo" 2) ("foobaz" 3) ("foobar2" 4)))
673      @result{} "fooba"
674 @end group
676 @group
677 (try-completion "foo" '(("barfoo" 2) ("foo" 3)))
678      @result{} t
679 @end group
680 @end smallexample
682 In the following example, numerous symbols begin with the characters
683 @samp{forw}, and all of them begin with the word @samp{forward}.  In
684 most of the symbols, this is followed with a @samp{-}, but not in all,
685 so no more than @samp{forward} can be completed.
687 @smallexample
688 @group
689 (try-completion "forw" obarray)
690      @result{} "forward"
691 @end group
692 @end smallexample
694 Finally, in the following example, only two of the three possible
695 matches pass the predicate @code{test} (the string @samp{foobaz} is
696 too short).  Both of those begin with the string @samp{foobar}.
698 @smallexample
699 @group
700 (defun test (s)
701   (> (length (car s)) 6))
702      @result{} test
703 @end group
704 @group
705 (try-completion
706  "foo"
707  '(("foobar1" 1) ("barfoo" 2) ("foobaz" 3) ("foobar2" 4))
708  'test)
709      @result{} "foobar"
710 @end group
711 @end smallexample
712 @end defun
714 @defun all-completions string collection &optional predicate nospace
715 This function returns a list of all possible completions of
716 @var{string}.  The arguments to this function (aside from
717 @var{nospace}) are the same as those of @code{try-completion}.  Also,
718 this function uses @code{completion-regexp-list} in the same way that
719 @code{try-completion} does.  The optional argument @var{nospace} only
720 matters if @var{string} is the empty string.  In that case, if
721 @var{nospace} is non-@code{nil}, completions that start with a space
722 are ignored.
724 If @var{collection} is a function, it is called with three arguments:
725 @var{string}, @var{predicate} and @code{t}; then @code{all-completions}
726 returns whatever the function returns.  @xref{Programmed Completion}.
728 Here is an example, using the function @code{test} shown in the
729 example for @code{try-completion}:
731 @smallexample
732 @group
733 (defun test (s)
734   (> (length (car s)) 6))
735      @result{} test
736 @end group
738 @group
739 (all-completions
740  "foo"
741  '(("foobar1" 1) ("barfoo" 2) ("foobaz" 3) ("foobar2" 4))
742  'test)
743      @result{} ("foobar1" "foobar2")
744 @end group
745 @end smallexample
746 @end defun
748 @defun test-completion string collection &optional predicate
749 @anchor{Definition of test-completion}
750 This function returns non-@code{nil} if @var{string} is a valid
751 completion possibility specified by @var{collection} and
752 @var{predicate}.  The arguments are the same as in
753 @code{try-completion}.  For instance, if @var{collection} is a list of
754 strings, this is true if @var{string} appears in the list and
755 @var{predicate} is satisfied.
757 @code{test-completion} uses @code{completion-regexp-list} in the same
758 way that @code{try-completion} does.
760 If @var{predicate} is non-@code{nil} and if @var{collection} contains
761 several strings that are equal to each other, as determined by
762 @code{compare-strings} according to @code{completion-ignore-case},
763 then @var{predicate} should accept either all or none of them.
764 Otherwise, the return value of @code{test-completion} is essentially
765 unpredictable.
767 If @var{collection} is a function, it is called with three arguments,
768 the values @var{string}, @var{predicate} and @code{lambda}; whatever
769 it returns, @code{test-completion} returns in turn.
770 @end defun
772 @defvar completion-ignore-case
773 If the value of this variable is non-@code{nil}, Emacs does not
774 consider case significant in completion.
775 @end defvar
777 @defvar completion-regexp-list
778 This is a list of regular expressions.  The completion functions only
779 consider a completion acceptable if it matches all regular expressions
780 in this list, with @code{case-fold-search} (@pxref{Searching and Case})
781 bound to the value of @code{completion-ignore-case}.
782 @end defvar
784 @defmac lazy-completion-table var fun &rest args
785 This macro provides a way to initialize the variable @var{var} as a
786 collection for completion in a lazy way, not computing its actual
787 contents until they are first needed.  You use this macro to produce a
788 value that you store in @var{var}.  The actual computation of the
789 proper value is done the first time you do completion using @var{var}.
790 It is done by calling @var{fun} with the arguments @var{args}.  The
791 value @var{fun} returns becomes the permanent value of @var{var}.
793 Here are two examples of use:
795 @smallexample
796 (defvar foo (lazy-completion-table foo make-my-alist 'global))
798 (make-local-variable 'bar)
799 (setq bar (lazy-completion-table foo make-my-alist 'local)
800 @end smallexample
801 @end defmac
803 @node Minibuffer Completion
804 @subsection Completion and the Minibuffer
806   This section describes the basic interface for reading from the
807 minibuffer with completion.
809 @defun completing-read prompt collection &optional predicate require-match initial hist default inherit-input-method
810 This function reads a string in the minibuffer, assisting the user by
811 providing completion.  It activates the minibuffer with prompt
812 @var{prompt}, which must be a string.
814 The actual completion is done by passing @var{collection} and
815 @var{predicate} to the function @code{try-completion}.  This happens
816 in certain commands bound in the local keymaps used for completion.
817 Some of these commands also call @code{test-completion}.  Thus, if
818 @var{predicate} is non-@code{nil}, it should be compatible with
819 @var{collection} and @code{completion-ignore-case}.  @xref{Definition
820 of test-completion}.
822 If @var{require-match} is @code{nil}, the exit commands work regardless
823 of the input in the minibuffer.  If @var{require-match} is @code{t}, the
824 usual minibuffer exit commands won't exit unless the input completes to
825 an element of @var{collection}.  If @var{require-match} is neither
826 @code{nil} nor @code{t}, then the exit commands won't exit unless the
827 input already in the buffer matches an element of @var{collection}.
829 However, empty input is always permitted, regardless of the value of
830 @var{require-match}; in that case, @code{completing-read} returns
831 @var{default}, or @code{""}, if @var{default} is @code{nil}.  The
832 value of @var{default} (if non-@code{nil}) is also available to the
833 user through the history commands.
835 The function @code{completing-read} uses
836 @code{minibuffer-local-completion-map} as the keymap if
837 @var{require-match} is @code{nil}, and uses
838 @code{minibuffer-local-must-match-map} if @var{require-match} is
839 non-@code{nil}.  @xref{Completion Commands}.
841 The argument @var{hist} specifies which history list variable to use for
842 saving the input and for minibuffer history commands.  It defaults to
843 @code{minibuffer-history}.  @xref{Minibuffer History}.
845 The argument @var{initial} is mostly deprecated; we recommend using a
846 non-@code{nil} value only in conjunction with specifying a cons cell
847 for @var{hist}.  @xref{Initial Input}.  For default input, use
848 @var{default} instead.
850 If the argument @var{inherit-input-method} is non-@code{nil}, then the
851 minibuffer inherits the current input method (@pxref{Input
852 Methods}) and the setting of @code{enable-multibyte-characters}
853 (@pxref{Text Representations}) from whichever buffer was current before
854 entering the minibuffer.
856 If the built-in variable @code{completion-ignore-case} is
857 non-@code{nil}, completion ignores case when comparing the input
858 against the possible matches.  @xref{Basic Completion}.  In this mode
859 of operation, @var{predicate} must also ignore case, or you will get
860 surprising results.
862 Here's an example of using @code{completing-read}:
864 @smallexample
865 @group
866 (completing-read
867  "Complete a foo: "
868  '(("foobar1" 1) ("barfoo" 2) ("foobaz" 3) ("foobar2" 4))
869  nil t "fo")
870 @end group
872 @group
873 ;; @r{After evaluation of the preceding expression,}
874 ;;   @r{the following appears in the minibuffer:}
876 ---------- Buffer: Minibuffer ----------
877 Complete a foo: fo@point{}
878 ---------- Buffer: Minibuffer ----------
879 @end group
880 @end smallexample
882 @noindent
883 If the user then types @kbd{@key{DEL} @key{DEL} b @key{RET}},
884 @code{completing-read} returns @code{barfoo}.
886 The @code{completing-read} function binds variables to pass
887 information to the commands that actually do completion.
888 They are described in the following section.
889 @end defun
891 @node Completion Commands
892 @subsection Minibuffer Commands that Do Completion
894   This section describes the keymaps, commands and user options used
895 in the minibuffer to do completion.  The description refers to the
896 situation when Partial Completion mode is disabled (as it is by
897 default).  When enabled, this minor mode uses its own alternatives to
898 some of the commands described below.  @xref{Completion Options,,,
899 emacs, The GNU Emacs Manual}, for a short description of Partial
900 Completion mode.
902 @defvar minibuffer-completion-table
903 The value of this variable is the collection used for completion in
904 the minibuffer.  This is the global variable that contains what
905 @code{completing-read} passes to @code{try-completion}.  It is used by
906 minibuffer completion commands such as @code{minibuffer-complete-word}.
907 @end defvar
909 @defvar minibuffer-completion-predicate
910 This variable's value is the predicate that @code{completing-read}
911 passes to @code{try-completion}.  The variable is also used by the other
912 minibuffer completion functions.
913 @end defvar
915 @defvar minibuffer-completion-confirm
916 When the value of this variable is non-@code{nil}, Emacs asks for
917 confirmation of a completion before exiting the minibuffer.
918 @code{completing-read} binds this variable, and the function
919 @code{minibuffer-complete-and-exit} checks the value before exiting.
920 @end defvar
922 @deffn Command minibuffer-complete-word
923 This function completes the minibuffer contents by at most a single
924 word.  Even if the minibuffer contents have only one completion,
925 @code{minibuffer-complete-word} does not add any characters beyond the
926 first character that is not a word constituent.  @xref{Syntax Tables}.
927 @end deffn
929 @deffn Command minibuffer-complete
930 This function completes the minibuffer contents as far as possible.
931 @end deffn
933 @deffn Command minibuffer-complete-and-exit
934 This function completes the minibuffer contents, and exits if
935 confirmation is not required, i.e., if
936 @code{minibuffer-completion-confirm} is @code{nil}.  If confirmation
937 @emph{is} required, it is given by repeating this command
938 immediately---the command is programmed to work without confirmation
939 when run twice in succession.
940 @end deffn
942 @deffn Command minibuffer-completion-help
943 This function creates a list of the possible completions of the
944 current minibuffer contents.  It works by calling @code{all-completions}
945 using the value of the variable @code{minibuffer-completion-table} as
946 the @var{collection} argument, and the value of
947 @code{minibuffer-completion-predicate} as the @var{predicate} argument.
948 The list of completions is displayed as text in a buffer named
949 @samp{*Completions*}.
950 @end deffn
952 @defun display-completion-list completions
953 This function displays @var{completions} to the stream in
954 @code{standard-output}, usually a buffer.  (@xref{Read and Print}, for more
955 information about streams.)  The argument @var{completions} is normally
956 a list of completions just returned by @code{all-completions}, but it
957 does not have to be.  Each element may be a symbol or a string, either
958 of which is simply printed.  It can also be a list of two strings,
959 which is printed as if the strings were concatenated.  The first of
960 the two strings is the actual completion, the second string serves as
961 annotation.
963 This function is called by @code{minibuffer-completion-help}.  The
964 most common way to use it is together with
965 @code{with-output-to-temp-buffer}, like this:
967 @example
968 (with-output-to-temp-buffer "*Completions*"
969   (display-completion-list
970     (all-completions (buffer-string) my-alist)))
971 @end example
972 @end defun
974 @defopt completion-auto-help
975 If this variable is non-@code{nil}, the completion commands
976 automatically display a list of possible completions whenever nothing
977 can be completed because the next character is not uniquely determined.
978 @end defopt
980 @defvar minibuffer-local-completion-map
981 @code{completing-read} uses this value as the local keymap when an
982 exact match of one of the completions is not required.  By default, this
983 keymap makes the following bindings:
985 @table @asis
986 @item @kbd{?}
987 @code{minibuffer-completion-help}
989 @item @key{SPC}
990 @code{minibuffer-complete-word}
992 @item @key{TAB}
993 @code{minibuffer-complete}
994 @end table
996 @noindent
997 with other characters bound as in @code{minibuffer-local-map}
998 (@pxref{Definition of minibuffer-local-map}).
999 @end defvar
1001 @defvar minibuffer-local-must-match-map
1002 @code{completing-read} uses this value as the local keymap when an
1003 exact match of one of the completions is required.  Therefore, no keys
1004 are bound to @code{exit-minibuffer}, the command that exits the
1005 minibuffer unconditionally.  By default, this keymap makes the following
1006 bindings:
1008 @table @asis
1009 @item @kbd{?}
1010 @code{minibuffer-completion-help}
1012 @item @key{SPC}
1013 @code{minibuffer-complete-word}
1015 @item @key{TAB}
1016 @code{minibuffer-complete}
1018 @item @kbd{C-j}
1019 @code{minibuffer-complete-and-exit}
1021 @item @key{RET}
1022 @code{minibuffer-complete-and-exit}
1023 @end table
1025 @noindent
1026 with other characters bound as in @code{minibuffer-local-map}.
1027 @end defvar
1029 @node High-Level Completion
1030 @subsection High-Level Completion  Functions
1032   This section describes the higher-level convenient functions for
1033 reading certain sorts of names with completion.
1035   In most cases, you should not call these functions in the middle of a
1036 Lisp function.  When possible, do all minibuffer input as part of
1037 reading the arguments for a command, in the @code{interactive}
1038 specification.  @xref{Defining Commands}.
1040 @defun read-buffer prompt &optional default existing
1041 This function reads the name of a buffer and returns it as a string.
1042 The argument @var{default} is the default name to use, the value to
1043 return if the user exits with an empty minibuffer.  If non-@code{nil},
1044 it should be a string or a buffer.  It is mentioned in the prompt, but
1045 is not inserted in the minibuffer as initial input.
1047 The argument @var{prompt} should be a string ending with a colon and a
1048 space.  If @var{default} is non-@code{nil}, the function inserts it in
1049 @var{prompt} before the colon to follow the convention for reading from
1050 the minibuffer with a default value (@pxref{Programming Tips}).
1052 If @var{existing} is non-@code{nil}, then the name specified must be
1053 that of an existing buffer.  The usual commands to exit the minibuffer
1054 do not exit if the text is not valid, and @key{RET} does completion to
1055 attempt to find a valid name.  If @var{existing} is neither @code{nil}
1056 nor @code{t}, confirmation is required after completion.  (However,
1057 @var{default} is not checked for validity; it is returned, whatever it
1058 is, if the user exits with the minibuffer empty.)
1060 In the following example, the user enters @samp{minibuffer.t}, and
1061 then types @key{RET}.  The argument @var{existing} is @code{t}, and the
1062 only buffer name starting with the given input is
1063 @samp{minibuffer.texi}, so that name is the value.
1065 @example
1066 (read-buffer "Buffer name: " "foo" t)
1067 @group
1068 ;; @r{After evaluation of the preceding expression,}
1069 ;;   @r{the following prompt appears,}
1070 ;;   @r{with an empty minibuffer:}
1071 @end group
1073 @group
1074 ---------- Buffer: Minibuffer ----------
1075 Buffer name (default foo): @point{}
1076 ---------- Buffer: Minibuffer ----------
1077 @end group
1079 @group
1080 ;; @r{The user types @kbd{minibuffer.t @key{RET}}.}
1081      @result{} "minibuffer.texi"
1082 @end group
1083 @end example
1084 @end defun
1086 @defvar read-buffer-function
1087 This variable specifies how to read buffer names.  For example, if you
1088 set this variable to @code{iswitchb-read-buffer}, all Emacs commands
1089 that call @code{read-buffer} to read a buffer name will actually use the
1090 @code{iswitchb} package to read it.
1091 @end defvar
1093 @defun read-command prompt &optional default
1094 This function reads the name of a command and returns it as a Lisp
1095 symbol.  The argument @var{prompt} is used as in
1096 @code{read-from-minibuffer}.  Recall that a command is anything for
1097 which @code{commandp} returns @code{t}, and a command name is a symbol
1098 for which @code{commandp} returns @code{t}.  @xref{Interactive Call}.
1100 The argument @var{default} specifies what to return if the user enters
1101 null input.  It can be a symbol or a string; if it is a string,
1102 @code{read-command} interns it before returning it.  If @var{default} is
1103 @code{nil}, that means no default has been specified; then if the user
1104 enters null input, the return value is @code{(intern "")}, that is, a
1105 symbol whose name is an empty string.
1107 @example
1108 (read-command "Command name? ")
1110 @group
1111 ;; @r{After evaluation of the preceding expression,}
1112 ;;   @r{the following prompt appears with an empty minibuffer:}
1113 @end group
1115 @group
1116 ---------- Buffer: Minibuffer ----------
1117 Command name?
1118 ---------- Buffer: Minibuffer ----------
1119 @end group
1120 @end example
1122 @noindent
1123 If the user types @kbd{forward-c @key{RET}}, then this function returns
1124 @code{forward-char}.
1126 The @code{read-command} function is a simplified interface to
1127 @code{completing-read}.  It uses the variable @code{obarray} so as to
1128 complete in the set of extant Lisp symbols, and it uses the
1129 @code{commandp} predicate so as to accept only command names:
1131 @cindex @code{commandp} example
1132 @example
1133 @group
1134 (read-command @var{prompt})
1135 @equiv{}
1136 (intern (completing-read @var{prompt} obarray
1137                          'commandp t nil))
1138 @end group
1139 @end example
1140 @end defun
1142 @defun read-variable prompt &optional default
1143 @anchor{Definition of read-variable}
1144 This function reads the name of a user variable and returns it as a
1145 symbol.
1147 The argument @var{default} specifies what to return if the user enters
1148 null input.  It can be a symbol or a string; if it is a string,
1149 @code{read-variable} interns it before returning it.  If @var{default}
1150 is @code{nil}, that means no default has been specified; then if the
1151 user enters null input, the return value is @code{(intern "")}.
1153 @example
1154 @group
1155 (read-variable "Variable name? ")
1157 ;; @r{After evaluation of the preceding expression,}
1158 ;;   @r{the following prompt appears,}
1159 ;;   @r{with an empty minibuffer:}
1160 @end group
1162 @group
1163 ---------- Buffer: Minibuffer ----------
1164 Variable name? @point{}
1165 ---------- Buffer: Minibuffer ----------
1166 @end group
1167 @end example
1169 @noindent
1170 If the user then types @kbd{fill-p @key{RET}}, @code{read-variable}
1171 returns @code{fill-prefix}.
1173 This function is similar to @code{read-command}, but uses the
1174 predicate @code{user-variable-p} instead of @code{commandp}:
1176 @cindex @code{user-variable-p} example
1177 @example
1178 @group
1179 (read-variable @var{prompt})
1180 @equiv{}
1181 (intern
1182  (completing-read @var{prompt} obarray
1183                   'user-variable-p t nil))
1184 @end group
1185 @end example
1186 @end defun
1188   See also the functions @code{read-coding-system} and
1189 @code{read-non-nil-coding-system}, in @ref{User-Chosen Coding Systems}.
1191 @node Reading File Names
1192 @subsection Reading File Names
1194   Here is another high-level completion function, designed for reading a
1195 file name.  It provides special features including automatic insertion
1196 of the default directory.
1198 @defun read-file-name prompt &optional directory default existing initial predicate
1199 This function reads a file name in the minibuffer, prompting with
1200 @var{prompt} and providing completion.
1202 If @var{existing} is non-@code{nil}, then the user must specify the name
1203 of an existing file; @key{RET} performs completion to make the name
1204 valid if possible, and then refuses to exit if it is not valid.  If the
1205 value of @var{existing} is neither @code{nil} nor @code{t}, then
1206 @key{RET} also requires confirmation after completion.  If
1207 @var{existing} is @code{nil}, then the name of a nonexistent file is
1208 acceptable.
1210 The argument @var{directory} specifies the directory to use for
1211 completion of relative file names.  It should be an absolute directory
1212 name.  If @code{insert-default-directory} is non-@code{nil},
1213 @var{directory} is also inserted in the minibuffer as initial input.
1214 It defaults to the current buffer's value of @code{default-directory}.
1216 @c Emacs 19 feature
1217 If you specify @var{initial}, that is an initial file name to insert
1218 in the buffer (after @var{directory}, if that is inserted).  In this
1219 case, point goes at the beginning of @var{initial}.  The default for
1220 @var{initial} is @code{nil}---don't insert any file name.  To see what
1221 @var{initial} does, try the command @kbd{C-x C-v}.  @strong{Please
1222 note:} we recommend using @var{default} rather than @var{initial} in
1223 most cases.
1225 If @var{default} is non-@code{nil}, then the function returns
1226 @var{default} if the user exits the minibuffer with the same non-empty
1227 contents that @code{read-file-name} inserted initially.  The initial
1228 minibuffer contents are always non-empty if
1229 @code{insert-default-directory} is non-@code{nil}, as it is by
1230 default.  @var{default} is not checked for validity, regardless of the
1231 value of @var{existing}.  However, if @var{existing} is
1232 non-@code{nil}, the initial minibuffer contents should be a valid file
1233 (or directory) name.  Otherwise @code{read-file-name} attempts
1234 completion if the user exits without any editing, and does not return
1235 @var{default}.  @var{default} is also available through the history
1236 commands.
1238 If @var{default} is @code{nil}, @code{read-file-name} tries to find a
1239 substitute default to use in its place, which it treats in exactly the
1240 same way as if it had been specified explicitly.  If @var{default} is
1241 @code{nil}, but @var{initial} is non-@code{nil}, then the default is
1242 the absolute file name obtained from @var{directory} and
1243 @var{initial}.  If both @var{default} and @var{initial} are @code{nil}
1244 and the buffer is visiting a file, @code{read-file-name} uses the
1245 absolute file name of that file as default.  If the buffer is not
1246 visiting a file, then there is no default.  In that case, if the user
1247 types @key{RET} without any editing, @code{read-file-name} simply
1248 returns the pre-inserted contents of the minibuffer.
1250 If the user types @key{RET} in an empty minibuffer, this function
1251 returns an empty string, regardless of the value of @var{existing}.
1252 This is, for instance, how the user can make the current buffer visit
1253 no file using @code{M-x set-visited-file-name}.
1255 If @var{predicate} is non-@code{nil}, it specifies a function of one
1256 argument that decides which file names are acceptable completion
1257 possibilities.  A file name is an acceptable value if @var{predicate}
1258 returns non-@code{nil} for it.
1260 @code{read-file-name} does not automatically expand file names.  You
1261 must call @code{expand-file-name} yourself if an absolute file name is
1262 required.
1264 Here is an example:
1266 @example
1267 @group
1268 (read-file-name "The file is ")
1270 ;; @r{After evaluation of the preceding expression,}
1271 ;;   @r{the following appears in the minibuffer:}
1272 @end group
1274 @group
1275 ---------- Buffer: Minibuffer ----------
1276 The file is /gp/gnu/elisp/@point{}
1277 ---------- Buffer: Minibuffer ----------
1278 @end group
1279 @end example
1281 @noindent
1282 Typing @kbd{manual @key{TAB}} results in the following:
1284 @example
1285 @group
1286 ---------- Buffer: Minibuffer ----------
1287 The file is /gp/gnu/elisp/manual.texi@point{}
1288 ---------- Buffer: Minibuffer ----------
1289 @end group
1290 @end example
1292 @c Wordy to avoid overfull hbox in smallbook mode.
1293 @noindent
1294 If the user types @key{RET}, @code{read-file-name} returns the file name
1295 as the string @code{"/gp/gnu/elisp/manual.texi"}.
1296 @end defun
1298 @defvar read-file-name-function
1299 If non-@code{nil}, this should be a function that accepts the same
1300 arguments as @code{read-file-name}.  When @code{read-file-name} is
1301 called, it calls this function with the supplied arguments instead of
1302 doing its usual work.
1303 @end defvar
1305 @defvar read-file-name-completion-ignore-case
1306 If this variable is non-@code{nil}, @code{read-file-name} ignores case
1307 when performing completion.
1308 @end defvar
1310 @defun read-directory-name prompt &optional directory default existing initial
1311 This function is like @code{read-file-name} but allows only directory
1312 names as completion possibilities.
1314 If @var{default} is @code{nil} and @var{initial} is non-@code{nil},
1315 @code{read-directory-name} constructs a substitute default by
1316 combining @var{directory} (or the current buffer's default directory
1317 if @var{directory} is @code{nil}) and @var{initial}.  If both
1318 @var{default} and @var{initial} are @code{nil}, this function uses
1319 @var{directory} as substitute default, or the current buffer's default
1320 directory if @var{directory} is @code{nil}.
1321 @end defun
1323 @defopt insert-default-directory
1324 This variable is used by @code{read-file-name}, and thus, indirectly,
1325 by most commands reading file names.  (This includes all commands that
1326 use the code letters @samp{f} or @samp{F} in their interactive form.
1327 @xref{Interactive Codes,, Code Characters for interactive}.)  Its
1328 value controls whether @code{read-file-name} starts by placing the
1329 name of the default directory in the minibuffer, plus the initial file
1330 name if any.  If the value of this variable is @code{nil}, then
1331 @code{read-file-name} does not place any initial input in the
1332 minibuffer (unless you specify initial input with the @var{initial}
1333 argument).  In that case, the default directory is still used for
1334 completion of relative file names, but is not displayed.
1336 If this variable is @code{nil} and the initial minibuffer contents are
1337 empty, the user may have to explicitly fetch the next history element
1338 to access a default value.  If the variable is non-@code{nil}, the
1339 initial minibuffer contents are always non-empty and the user can
1340 always request a default value by immediately typing @key{RET} in an
1341 unedited minibuffer.  (See above.)
1343 For example:
1345 @example
1346 @group
1347 ;; @r{Here the minibuffer starts out with the default directory.}
1348 (let ((insert-default-directory t))
1349   (read-file-name "The file is "))
1350 @end group
1352 @group
1353 ---------- Buffer: Minibuffer ----------
1354 The file is ~lewis/manual/@point{}
1355 ---------- Buffer: Minibuffer ----------
1356 @end group
1358 @group
1359 ;; @r{Here the minibuffer is empty and only the prompt}
1360 ;;   @r{appears on its line.}
1361 (let ((insert-default-directory nil))
1362   (read-file-name "The file is "))
1363 @end group
1365 @group
1366 ---------- Buffer: Minibuffer ----------
1367 The file is @point{}
1368 ---------- Buffer: Minibuffer ----------
1369 @end group
1370 @end example
1371 @end defopt
1373 @node Programmed Completion
1374 @subsection Programmed Completion
1375 @cindex programmed completion
1377   Sometimes it is not possible to create an alist or an obarray
1378 containing all the intended possible completions.  In such a case, you
1379 can supply your own function to compute the completion of a given string.
1380 This is called @dfn{programmed completion}.
1382   To use this feature, pass a symbol with a function definition as the
1383 @var{collection} argument to @code{completing-read}.  The function
1384 @code{completing-read} arranges to pass your completion function along
1385 to @code{try-completion} and @code{all-completions}, which will then let
1386 your function do all the work.
1388   The completion function should accept three arguments:
1390 @itemize @bullet
1391 @item
1392 The string to be completed.
1394 @item
1395 The predicate function to filter possible matches, or @code{nil} if
1396 none.  Your function should call the predicate for each possible match,
1397 and ignore the possible match if the predicate returns @code{nil}.
1399 @item
1400 A flag specifying the type of operation.
1401 @end itemize
1403   There are three flag values for three operations:
1405 @itemize @bullet
1406 @item
1407 @code{nil} specifies @code{try-completion}.  The completion function
1408 should return the completion of the specified string, or @code{t} if the
1409 string is a unique and exact match already, or @code{nil} if the string
1410 matches no possibility.
1412 If the string is an exact match for one possibility, but also matches
1413 other longer possibilities, the function should return the string, not
1414 @code{t}.
1416 @item
1417 @code{t} specifies @code{all-completions}.  The completion function
1418 should return a list of all possible completions of the specified
1419 string.
1421 @item
1422 @code{lambda} specifies @code{test-completion}.  The completion
1423 function should return @code{t} if the specified string is an exact
1424 match for some possibility; @code{nil} otherwise.
1425 @end itemize
1427   It would be consistent and clean for completion functions to allow
1428 lambda expressions (lists that are functions) as well as function
1429 symbols as @var{collection}, but this is impossible.  Lists as
1430 completion tables already have other meanings, and it would be
1431 unreliable to treat one differently just because it is also a possible
1432 function.  So you must arrange for any function you wish to use for
1433 completion to be encapsulated in a symbol.
1435   Emacs uses programmed completion when completing file names.
1436 @xref{File Name Completion}.
1438 @defmac dynamic-completion-table function
1439 This macro is a convenient way to write a function that can act as
1440 programmed completion function.  The argument @var{function} should be
1441 a function that takes one argument, a string, and returns an alist of
1442 possible completions of it.  You can think of
1443 @code{dynamic-completion-table} as a transducer between that interface
1444 and the interface for programmed completion functions.
1445 @end defmac
1447 @node Yes-or-No Queries
1448 @section Yes-or-No Queries
1449 @cindex asking the user questions
1450 @cindex querying the user
1451 @cindex yes-or-no questions
1453   This section describes functions used to ask the user a yes-or-no
1454 question.  The function @code{y-or-n-p} can be answered with a single
1455 character; it is useful for questions where an inadvertent wrong answer
1456 will not have serious consequences.  @code{yes-or-no-p} is suitable for
1457 more momentous questions, since it requires three or four characters to
1458 answer.
1460    If either of these functions is called in a command that was invoked
1461 using the mouse---more precisely, if @code{last-nonmenu-event}
1462 (@pxref{Command Loop Info}) is either @code{nil} or a list---then it
1463 uses a dialog box or pop-up menu to ask the question.  Otherwise, it
1464 uses keyboard input.  You can force use of the mouse or use of keyboard
1465 input by binding @code{last-nonmenu-event} to a suitable value around
1466 the call.
1468   Strictly speaking, @code{yes-or-no-p} uses the minibuffer and
1469 @code{y-or-n-p} does not; but it seems best to describe them together.
1471 @defun y-or-n-p prompt
1472 This function asks the user a question, expecting input in the echo
1473 area.  It returns @code{t} if the user types @kbd{y}, @code{nil} if the
1474 user types @kbd{n}.  This function also accepts @key{SPC} to mean yes
1475 and @key{DEL} to mean no.  It accepts @kbd{C-]} to mean ``quit'', like
1476 @kbd{C-g}, because the question might look like a minibuffer and for
1477 that reason the user might try to use @kbd{C-]} to get out.  The answer
1478 is a single character, with no @key{RET} needed to terminate it.  Upper
1479 and lower case are equivalent.
1481 ``Asking the question'' means printing @var{prompt} in the echo area,
1482 followed by the string @w{@samp{(y or n) }}.  If the input is not one of
1483 the expected answers (@kbd{y}, @kbd{n}, @kbd{@key{SPC}},
1484 @kbd{@key{DEL}}, or something that quits), the function responds
1485 @samp{Please answer y or n.}, and repeats the request.
1487 This function does not actually use the minibuffer, since it does not
1488 allow editing of the answer.  It actually uses the echo area (@pxref{The
1489 Echo Area}), which uses the same screen space as the minibuffer.  The
1490 cursor moves to the echo area while the question is being asked.
1492 The answers and their meanings, even @samp{y} and @samp{n}, are not
1493 hardwired.  The keymap @code{query-replace-map} specifies them.
1494 @xref{Search and Replace}.
1496 In the following example, the user first types @kbd{q}, which is
1497 invalid.  At the next prompt the user types @kbd{y}.
1499 @smallexample
1500 @group
1501 (y-or-n-p "Do you need a lift? ")
1503 ;; @r{After evaluation of the preceding expression,}
1504 ;;   @r{the following prompt appears in the echo area:}
1505 @end group
1507 @group
1508 ---------- Echo area ----------
1509 Do you need a lift? (y or n)
1510 ---------- Echo area ----------
1511 @end group
1513 ;; @r{If the user then types @kbd{q}, the following appears:}
1515 @group
1516 ---------- Echo area ----------
1517 Please answer y or n.  Do you need a lift? (y or n)
1518 ---------- Echo area ----------
1519 @end group
1521 ;; @r{When the user types a valid answer,}
1522 ;;   @r{it is displayed after the question:}
1524 @group
1525 ---------- Echo area ----------
1526 Do you need a lift? (y or n) y
1527 ---------- Echo area ----------
1528 @end group
1529 @end smallexample
1531 @noindent
1532 We show successive lines of echo area messages, but only one actually
1533 appears on the screen at a time.
1534 @end defun
1536 @defun y-or-n-p-with-timeout prompt seconds default-value
1537 Like @code{y-or-n-p}, except that if the user fails to answer within
1538 @var{seconds} seconds, this function stops waiting and returns
1539 @var{default-value}.  It works by setting up a timer; see @ref{Timers}.
1540 The argument @var{seconds} may be an integer or a floating point number.
1541 @end defun
1543 @defun yes-or-no-p prompt
1544 This function asks the user a question, expecting input in the
1545 minibuffer.  It returns @code{t} if the user enters @samp{yes},
1546 @code{nil} if the user types @samp{no}.  The user must type @key{RET} to
1547 finalize the response.  Upper and lower case are equivalent.
1549 @code{yes-or-no-p} starts by displaying @var{prompt} in the echo area,
1550 followed by @w{@samp{(yes or no) }}.  The user must type one of the
1551 expected responses; otherwise, the function responds @samp{Please answer
1552 yes or no.}, waits about two seconds and repeats the request.
1554 @code{yes-or-no-p} requires more work from the user than
1555 @code{y-or-n-p} and is appropriate for more crucial decisions.
1557 Here is an example:
1559 @smallexample
1560 @group
1561 (yes-or-no-p "Do you really want to remove everything? ")
1563 ;; @r{After evaluation of the preceding expression,}
1564 ;;   @r{the following prompt appears,}
1565 ;;   @r{with an empty minibuffer:}
1566 @end group
1568 @group
1569 ---------- Buffer: minibuffer ----------
1570 Do you really want to remove everything? (yes or no)
1571 ---------- Buffer: minibuffer ----------
1572 @end group
1573 @end smallexample
1575 @noindent
1576 If the user first types @kbd{y @key{RET}}, which is invalid because this
1577 function demands the entire word @samp{yes}, it responds by displaying
1578 these prompts, with a brief pause between them:
1580 @smallexample
1581 @group
1582 ---------- Buffer: minibuffer ----------
1583 Please answer yes or no.
1584 Do you really want to remove everything? (yes or no)
1585 ---------- Buffer: minibuffer ----------
1586 @end group
1587 @end smallexample
1588 @end defun
1590 @node Multiple Queries
1591 @section Asking Multiple Y-or-N Questions
1593   When you have a series of similar questions to ask, such as ``Do you
1594 want to save this buffer'' for each buffer in turn, you should use
1595 @code{map-y-or-n-p} to ask the collection of questions, rather than
1596 asking each question individually.  This gives the user certain
1597 convenient facilities such as the ability to answer the whole series at
1598 once.
1600 @defun map-y-or-n-p prompter actor list &optional help action-alist no-cursor-in-echo-area
1601 This function asks the user a series of questions, reading a
1602 single-character answer in the echo area for each one.
1604 The value of @var{list} specifies the objects to ask questions about.
1605 It should be either a list of objects or a generator function.  If it is
1606 a function, it should expect no arguments, and should return either the
1607 next object to ask about, or @code{nil} meaning stop asking questions.
1609 The argument @var{prompter} specifies how to ask each question.  If
1610 @var{prompter} is a string, the question text is computed like this:
1612 @example
1613 (format @var{prompter} @var{object})
1614 @end example
1616 @noindent
1617 where @var{object} is the next object to ask about (as obtained from
1618 @var{list}).
1620 If not a string, @var{prompter} should be a function of one argument
1621 (the next object to ask about) and should return the question text.  If
1622 the value is a string, that is the question to ask the user.  The
1623 function can also return @code{t} meaning do act on this object (and
1624 don't ask the user), or @code{nil} meaning ignore this object (and don't
1625 ask the user).
1627 The argument @var{actor} says how to act on the answers that the user
1628 gives.  It should be a function of one argument, and it is called with
1629 each object that the user says yes for.  Its argument is always an
1630 object obtained from @var{list}.
1632 If the argument @var{help} is given, it should be a list of this form:
1634 @example
1635 (@var{singular} @var{plural} @var{action})
1636 @end example
1638 @noindent
1639 where @var{singular} is a string containing a singular noun that
1640 describes the objects conceptually being acted on, @var{plural} is the
1641 corresponding plural noun, and @var{action} is a transitive verb
1642 describing what @var{actor} does.
1644 If you don't specify @var{help}, the default is @code{("object"
1645 "objects" "act on")}.
1647 Each time a question is asked, the user may enter @kbd{y}, @kbd{Y}, or
1648 @key{SPC} to act on that object; @kbd{n}, @kbd{N}, or @key{DEL} to skip
1649 that object; @kbd{!} to act on all following objects; @key{ESC} or
1650 @kbd{q} to exit (skip all following objects); @kbd{.} (period) to act on
1651 the current object and then exit; or @kbd{C-h} to get help.  These are
1652 the same answers that @code{query-replace} accepts.  The keymap
1653 @code{query-replace-map} defines their meaning for @code{map-y-or-n-p}
1654 as well as for @code{query-replace}; see @ref{Search and Replace}.
1656 You can use @var{action-alist} to specify additional possible answers
1657 and what they mean.  It is an alist of elements of the form
1658 @code{(@var{char} @var{function} @var{help})}, each of which defines one
1659 additional answer.  In this element, @var{char} is a character (the
1660 answer); @var{function} is a function of one argument (an object from
1661 @var{list}); @var{help} is a string.
1663 When the user responds with @var{char}, @code{map-y-or-n-p} calls
1664 @var{function}.  If it returns non-@code{nil}, the object is considered
1665 ``acted upon'', and @code{map-y-or-n-p} advances to the next object in
1666 @var{list}.  If it returns @code{nil}, the prompt is repeated for the
1667 same object.
1669 Normally, @code{map-y-or-n-p} binds @code{cursor-in-echo-area} while
1670 prompting.  But if @var{no-cursor-in-echo-area} is non-@code{nil}, it
1671 does not do that.
1673 If @code{map-y-or-n-p} is called in a command that was invoked using the
1674 mouse---more precisely, if @code{last-nonmenu-event} (@pxref{Command
1675 Loop Info}) is either @code{nil} or a list---then it uses a dialog box
1676 or pop-up menu to ask the question.  In this case, it does not use
1677 keyboard input or the echo area.  You can force use of the mouse or use
1678 of keyboard input by binding @code{last-nonmenu-event} to a suitable
1679 value around the call.
1681 The return value of @code{map-y-or-n-p} is the number of objects acted on.
1682 @end defun
1684 @node Reading a Password
1685 @section Reading a Password
1686 @cindex passwords, reading
1688   To read a password to pass to another program, you can use the
1689 function @code{read-passwd}.
1691 @defun read-passwd prompt &optional confirm default
1692 This function reads a password, prompting with @var{prompt}.  It does
1693 not echo the password as the user types it; instead, it echoes @samp{.}
1694 for each character in the password.
1696 The optional argument @var{confirm}, if non-@code{nil}, says to read the
1697 password twice and insist it must be the same both times.  If it isn't
1698 the same, the user has to type it over and over until the last two
1699 times match.
1701 The optional argument @var{default} specifies the default password to
1702 return if the user enters empty input.  If @var{default} is @code{nil},
1703 then @code{read-passwd} returns the null string in that case.
1704 @end defun
1706 @node Minibuffer Commands
1707 @section Minibuffer Commands
1709   This section describes some commands meant for use in the
1710 minibuffer.
1712 @deffn Command exit-minibuffer
1713 This command exits the active minibuffer.  It is normally bound to
1714 keys in minibuffer local keymaps.
1715 @end deffn
1717 @deffn Command self-insert-and-exit
1718 This command exits the active minibuffer after inserting the last
1719 character typed on the keyboard (found in @code{last-command-char};
1720 @pxref{Command Loop Info}).
1721 @end deffn
1723 @deffn Command previous-history-element n
1724 This command replaces the minibuffer contents with the value of the
1725 @var{n}th previous (older) history element.
1726 @end deffn
1728 @deffn Command next-history-element n
1729 This command replaces the minibuffer contents with the value of the
1730 @var{n}th more recent history element.
1731 @end deffn
1733 @deffn Command previous-matching-history-element pattern n
1734 This command replaces the minibuffer contents with the value of the
1735 @var{n}th previous (older) history element that matches @var{pattern} (a
1736 regular expression).
1737 @end deffn
1739 @deffn Command next-matching-history-element pattern n
1740 This command replaces the minibuffer contents with the value of the
1741 @var{n}th next (newer) history element that matches @var{pattern} (a
1742 regular expression).
1743 @end deffn
1745 @node Minibuffer Windows
1746 @section Minibuffer Windows
1748   These functions access and select minibuffer windows
1749 and test whether they are active.
1751 @defun active-minibuffer-window
1752 This function returns the currently active minibuffer window, or
1753 @code{nil} if none is currently active.
1754 @end defun
1756 @defun minibuffer-window &optional frame
1757 @anchor{Definition of minibuffer-window}
1758 This function returns the minibuffer window used for frame @var{frame}.
1759 If @var{frame} is @code{nil}, that stands for the current frame.  Note
1760 that the minibuffer window used by a frame need not be part of that
1761 frame---a frame that has no minibuffer of its own necessarily uses some
1762 other frame's minibuffer window.
1763 @end defun
1765 @defun set-minibuffer-window window
1766 This function specifies @var{window} as the minibuffer window to use.
1767 This affects where the minibuffer is displayed if you put text in it
1768 without invoking the usual minibuffer commands.  It has no effect on
1769 the usual minibuffer input functions because they all start by
1770 choosing the minibuffer window according to the current frame.
1771 @end defun
1773 @c Emacs 19 feature
1774 @defun window-minibuffer-p &optional window
1775 This function returns non-@code{nil} if @var{window} is a minibuffer
1776 window.
1777 @var{window} defaults to the selected window.
1778 @end defun
1780 It is not correct to determine whether a given window is a minibuffer by
1781 comparing it with the result of @code{(minibuffer-window)}, because
1782 there can be more than one minibuffer window if there is more than one
1783 frame.
1785 @defun minibuffer-window-active-p window
1786 This function returns non-@code{nil} if @var{window}, assumed to be
1787 a minibuffer window, is currently active.
1788 @end defun
1790 @node Minibuffer Contents
1791 @section Minibuffer Contents
1793   These functions access the minibuffer prompt and contents.
1795 @defun minibuffer-prompt
1796 This function returns the prompt string of the currently active
1797 minibuffer.  If no minibuffer is active, it returns @code{nil}.
1798 @end defun
1800 @defun minibuffer-prompt-end
1801 @tindex minibuffer-prompt-end
1802 This function returns the current
1803 position of the end of the minibuffer prompt, if a minibuffer is
1804 current.  Otherwise, it returns the minimum valid buffer position.
1805 @end defun
1807 @defun minibuffer-prompt-width
1808 This function returns the current display-width of the minibuffer
1809 prompt, if a minibuffer is current.  Otherwise, it returns zero.
1810 @end defun
1812 @defun minibuffer-contents
1813 @tindex minibuffer-contents
1814 This function returns the editable
1815 contents of the minibuffer (that is, everything except the prompt) as
1816 a string, if a minibuffer is current.  Otherwise, it returns the
1817 entire contents of the current buffer.
1818 @end defun
1820 @defun minibuffer-contents-no-properties
1821 @tindex minibuffer-contents-no-properties
1822 This is like @code{minibuffer-contents}, except that it does not copy text
1823 properties, just the characters themselves.  @xref{Text Properties}.
1824 @end defun
1826 @defun delete-minibuffer-contents
1827 @tindex delete-minibuffer-contents
1828 This function erases the editable contents of the minibuffer (that is,
1829 everything except the prompt), if a minibuffer is current.  Otherwise,
1830 it erases the entire current buffer.
1831 @end defun
1833 @node Recursive Mini
1834 @section Recursive Minibuffers
1836   These functions and variables deal with recursive minibuffers
1837 (@pxref{Recursive Editing}):
1839 @defun minibuffer-depth
1840 This function returns the current depth of activations of the
1841 minibuffer, a nonnegative integer.  If no minibuffers are active, it
1842 returns zero.
1843 @end defun
1845 @defopt enable-recursive-minibuffers
1846 If this variable is non-@code{nil}, you can invoke commands (such as
1847 @code{find-file}) that use minibuffers even while the minibuffer window
1848 is active.  Such invocation produces a recursive editing level for a new
1849 minibuffer.  The outer-level minibuffer is invisible while you are
1850 editing the inner one.
1852 If this variable is @code{nil}, you cannot invoke minibuffer
1853 commands when the minibuffer window is active, not even if you switch to
1854 another window to do it.
1855 @end defopt
1857 @c Emacs 19 feature
1858 If a command name has a property @code{enable-recursive-minibuffers}
1859 that is non-@code{nil}, then the command can use the minibuffer to read
1860 arguments even if it is invoked from the minibuffer.  A command can
1861 also achieve this by binding @code{enable-recursive-minibuffers}
1862 to @code{t} in the interactive declaration (@pxref{Using Interactive}).
1863 The minibuffer command @code{next-matching-history-element} (normally
1864 @kbd{M-s} in the minibuffer) does the latter.
1866 @node Minibuffer Misc
1867 @section Minibuffer Miscellany
1869 @defun minibufferp &optional buffer-or-name
1870 This function returns non-@code{nil} if @var{buffer-or-name} is a
1871 minibuffer.  If @var{buffer-or-name} is omitted, it tests the current
1872 buffer.
1873 @end defun
1875 @defvar minibuffer-setup-hook
1876 This is a normal hook that is run whenever the minibuffer is entered.
1877 @xref{Hooks}.
1878 @end defvar
1880 @defvar minibuffer-exit-hook
1881 This is a normal hook that is run whenever the minibuffer is exited.
1882 @xref{Hooks}.
1883 @end defvar
1885 @defvar minibuffer-help-form
1886 @anchor{Definition of minibuffer-help-form}
1887 The current value of this variable is used to rebind @code{help-form}
1888 locally inside the minibuffer (@pxref{Help Functions}).
1889 @end defvar
1891 @defvar minibuffer-scroll-window
1892 @anchor{Definition of minibuffer-scroll-window}
1893 If the value of this variable is non-@code{nil}, it should be a window
1894 object.  When the function @code{scroll-other-window} is called in the
1895 minibuffer, it scrolls this window.
1896 @end defvar
1898 @defun minibuffer-selected-window
1899 This function returns the window which was selected when the
1900 minibuffer was entered.  If selected window is not a minibuffer
1901 window, it returns @code{nil}.
1902 @end defun
1904 @defopt max-mini-window-height
1905 This variable specifies the maximum height for resizing minibuffer
1906 windows.  If a float, it specifies a fraction of the height of the
1907 frame.  If an integer, it specifies a number of lines.
1908 @end defopt
1910 @defun minibuffer-message string
1911 This function displays @var{string} temporarily at the end of the
1912 minibuffer text, for two seconds, or until the next input event
1913 arrives, whichever comes first.
1914 @end defun
1916 @ignore
1917    arch-tag: bba7f945-9078-477f-a2ce-18818a6e1218
1918 @end ignore