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