]> code.delx.au - gnu-emacs/blob - src/keymap.c
Merge from emacs--devo--0
[gnu-emacs] / src / keymap.c
1 /* Manipulation of keymaps
2 Copyright (C) 1985, 1986, 1987, 1988, 1993, 1994, 1995,
3 1998, 1999, 2000, 2001, 2002, 2003, 2004,
4 2005, 2006 Free Software Foundation, Inc.
5
6 This file is part of GNU Emacs.
7
8 GNU Emacs is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
11 any later version.
12
13 GNU Emacs is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GNU Emacs; see the file COPYING. If not, write to
20 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
21 Boston, MA 02110-1301, USA. */
22
23
24 #include <config.h>
25 #include <stdio.h>
26 #include "lisp.h"
27 #include "commands.h"
28 #include "buffer.h"
29 #include "character.h"
30 #include "charset.h"
31 #include "keyboard.h"
32 #include "termhooks.h"
33 #include "blockinput.h"
34 #include "puresize.h"
35 #include "intervals.h"
36 #include "keymap.h"
37
38 /* The number of elements in keymap vectors. */
39 #define DENSE_TABLE_SIZE (0200)
40
41 /* Actually allocate storage for these variables */
42
43 Lisp_Object current_global_map; /* Current global keymap */
44
45 Lisp_Object global_map; /* default global key bindings */
46
47 Lisp_Object meta_map; /* The keymap used for globally bound
48 ESC-prefixed default commands */
49
50 Lisp_Object control_x_map; /* The keymap used for globally bound
51 C-x-prefixed default commands */
52
53 /* was MinibufLocalMap */
54 Lisp_Object Vminibuffer_local_map;
55 /* The keymap used by the minibuf for local
56 bindings when spaces are allowed in the
57 minibuf */
58
59 /* was MinibufLocalNSMap */
60 Lisp_Object Vminibuffer_local_ns_map;
61 /* The keymap used by the minibuf for local
62 bindings when spaces are not encouraged
63 in the minibuf */
64
65 /* keymap used for minibuffers when doing completion */
66 /* was MinibufLocalCompletionMap */
67 Lisp_Object Vminibuffer_local_completion_map;
68
69 /* keymap used for minibuffers when doing completion in filenames */
70 Lisp_Object Vminibuffer_local_filename_completion_map;
71
72 /* keymap used for minibuffers when doing completion in filenames
73 with require-match*/
74 Lisp_Object Vminibuffer_local_must_match_filename_map;
75
76 /* keymap used for minibuffers when doing completion and require a match */
77 /* was MinibufLocalMustMatchMap */
78 Lisp_Object Vminibuffer_local_must_match_map;
79
80 /* Alist of minor mode variables and keymaps. */
81 Lisp_Object Vminor_mode_map_alist;
82
83 /* Alist of major-mode-specific overrides for
84 minor mode variables and keymaps. */
85 Lisp_Object Vminor_mode_overriding_map_alist;
86
87 /* List of emulation mode keymap alists. */
88 Lisp_Object Vemulation_mode_map_alists;
89
90 /* Keymap mapping ASCII function key sequences onto their preferred forms.
91 Initialized by the terminal-specific lisp files. See DEFVAR for more
92 documentation. */
93 Lisp_Object Vfunction_key_map;
94
95 /* Keymap mapping ASCII function key sequences onto their preferred forms. */
96 Lisp_Object Vkey_translation_map;
97
98 /* A list of all commands given new bindings since a certain time
99 when nil was stored here.
100 This is used to speed up recomputation of menu key equivalents
101 when Emacs starts up. t means don't record anything here. */
102 Lisp_Object Vdefine_key_rebound_commands;
103
104 Lisp_Object Qkeymapp, Qkeymap, Qnon_ascii, Qmenu_item, Qremap;
105
106 /* Alist of elements like (DEL . "\d"). */
107 static Lisp_Object exclude_keys;
108
109 /* Pre-allocated 2-element vector for Fcommand_remapping to use. */
110 static Lisp_Object command_remapping_vector;
111
112 /* A char with the CHAR_META bit set in a vector or the 0200 bit set
113 in a string key sequence is equivalent to prefixing with this
114 character. */
115 extern Lisp_Object meta_prefix_char;
116
117 extern Lisp_Object Voverriding_local_map;
118
119 /* Hash table used to cache a reverse-map to speed up calls to where-is. */
120 static Lisp_Object where_is_cache;
121 /* Which keymaps are reverse-stored in the cache. */
122 static Lisp_Object where_is_cache_keymaps;
123
124 static Lisp_Object store_in_keymap P_ ((Lisp_Object, Lisp_Object, Lisp_Object));
125 static void fix_submap_inheritance P_ ((Lisp_Object, Lisp_Object, Lisp_Object));
126
127 static Lisp_Object define_as_prefix P_ ((Lisp_Object, Lisp_Object));
128 static void describe_command P_ ((Lisp_Object, Lisp_Object));
129 static void describe_translation P_ ((Lisp_Object, Lisp_Object));
130 static void describe_map P_ ((Lisp_Object, Lisp_Object,
131 void (*) P_ ((Lisp_Object, Lisp_Object)),
132 int, Lisp_Object, Lisp_Object*, int, int));
133 static void describe_vector P_ ((Lisp_Object, Lisp_Object, Lisp_Object,
134 void (*) (Lisp_Object, Lisp_Object), int,
135 Lisp_Object, Lisp_Object, int *,
136 int, int, int));
137 static void silly_event_symbol_error P_ ((Lisp_Object));
138 \f
139 /* Keymap object support - constructors and predicates. */
140
141 DEFUN ("make-keymap", Fmake_keymap, Smake_keymap, 0, 1, 0,
142 doc: /* Construct and return a new keymap, of the form (keymap CHARTABLE . ALIST).
143 CHARTABLE is a char-table that holds the bindings for all characters
144 without modifiers. All entries in it are initially nil, meaning
145 "command undefined". ALIST is an assoc-list which holds bindings for
146 function keys, mouse events, and any other things that appear in the
147 input stream. Initially, ALIST is nil.
148
149 The optional arg STRING supplies a menu name for the keymap
150 in case you use it as a menu with `x-popup-menu'. */)
151 (string)
152 Lisp_Object string;
153 {
154 Lisp_Object tail;
155 if (!NILP (string))
156 tail = Fcons (string, Qnil);
157 else
158 tail = Qnil;
159 return Fcons (Qkeymap,
160 Fcons (Fmake_char_table (Qkeymap, Qnil), tail));
161 }
162
163 DEFUN ("make-sparse-keymap", Fmake_sparse_keymap, Smake_sparse_keymap, 0, 1, 0,
164 doc: /* Construct and return a new sparse keymap.
165 Its car is `keymap' and its cdr is an alist of (CHAR . DEFINITION),
166 which binds the character CHAR to DEFINITION, or (SYMBOL . DEFINITION),
167 which binds the function key or mouse event SYMBOL to DEFINITION.
168 Initially the alist is nil.
169
170 The optional arg STRING supplies a menu name for the keymap
171 in case you use it as a menu with `x-popup-menu'. */)
172 (string)
173 Lisp_Object string;
174 {
175 if (!NILP (string))
176 return Fcons (Qkeymap, Fcons (string, Qnil));
177 return Fcons (Qkeymap, Qnil);
178 }
179
180 /* This function is used for installing the standard key bindings
181 at initialization time.
182
183 For example:
184
185 initial_define_key (control_x_map, Ctl('X'), "exchange-point-and-mark"); */
186
187 void
188 initial_define_key (keymap, key, defname)
189 Lisp_Object keymap;
190 int key;
191 char *defname;
192 {
193 store_in_keymap (keymap, make_number (key), intern (defname));
194 }
195
196 void
197 initial_define_lispy_key (keymap, keyname, defname)
198 Lisp_Object keymap;
199 char *keyname;
200 char *defname;
201 {
202 store_in_keymap (keymap, intern (keyname), intern (defname));
203 }
204
205 DEFUN ("keymapp", Fkeymapp, Skeymapp, 1, 1, 0,
206 doc: /* Return t if OBJECT is a keymap.
207
208 A keymap is a list (keymap . ALIST),
209 or a symbol whose function definition is itself a keymap.
210 ALIST elements look like (CHAR . DEFN) or (SYMBOL . DEFN);
211 a vector of densely packed bindings for small character codes
212 is also allowed as an element. */)
213 (object)
214 Lisp_Object object;
215 {
216 return (KEYMAPP (object) ? Qt : Qnil);
217 }
218
219 DEFUN ("keymap-prompt", Fkeymap_prompt, Skeymap_prompt, 1, 1, 0,
220 doc: /* Return the prompt-string of a keymap MAP.
221 If non-nil, the prompt is shown in the echo-area
222 when reading a key-sequence to be looked-up in this keymap. */)
223 (map)
224 Lisp_Object map;
225 {
226 map = get_keymap (map, 0, 0);
227 while (CONSP (map))
228 {
229 Lisp_Object tem = XCAR (map);
230 if (STRINGP (tem))
231 return tem;
232 map = XCDR (map);
233 }
234 return Qnil;
235 }
236
237 /* Check that OBJECT is a keymap (after dereferencing through any
238 symbols). If it is, return it.
239
240 If AUTOLOAD is non-zero and OBJECT is a symbol whose function value
241 is an autoload form, do the autoload and try again.
242 If AUTOLOAD is nonzero, callers must assume GC is possible.
243
244 If the map needs to be autoloaded, but AUTOLOAD is zero (and ERROR
245 is zero as well), return Qt.
246
247 ERROR controls how we respond if OBJECT isn't a keymap.
248 If ERROR is non-zero, signal an error; otherwise, just return Qnil.
249
250 Note that most of the time, we don't want to pursue autoloads.
251 Functions like Faccessible_keymaps which scan entire keymap trees
252 shouldn't load every autoloaded keymap. I'm not sure about this,
253 but it seems to me that only read_key_sequence, Flookup_key, and
254 Fdefine_key should cause keymaps to be autoloaded.
255
256 This function can GC when AUTOLOAD is non-zero, because it calls
257 do_autoload which can GC. */
258
259 Lisp_Object
260 get_keymap (object, error, autoload)
261 Lisp_Object object;
262 int error, autoload;
263 {
264 Lisp_Object tem;
265
266 autoload_retry:
267 if (NILP (object))
268 goto end;
269 if (CONSP (object) && EQ (XCAR (object), Qkeymap))
270 return object;
271
272 tem = indirect_function (object);
273 if (CONSP (tem))
274 {
275 if (EQ (XCAR (tem), Qkeymap))
276 return tem;
277
278 /* Should we do an autoload? Autoload forms for keymaps have
279 Qkeymap as their fifth element. */
280 if ((autoload || !error) && EQ (XCAR (tem), Qautoload)
281 && SYMBOLP (object))
282 {
283 Lisp_Object tail;
284
285 tail = Fnth (make_number (4), tem);
286 if (EQ (tail, Qkeymap))
287 {
288 if (autoload)
289 {
290 struct gcpro gcpro1, gcpro2;
291
292 GCPRO2 (tem, object);
293 do_autoload (tem, object);
294 UNGCPRO;
295
296 goto autoload_retry;
297 }
298 else
299 return Qt;
300 }
301 }
302 }
303
304 end:
305 if (error)
306 wrong_type_argument (Qkeymapp, object);
307 return Qnil;
308 }
309 \f
310 /* Return the parent map of KEYMAP, or nil if it has none.
311 We assume that KEYMAP is a valid keymap. */
312
313 Lisp_Object
314 keymap_parent (keymap, autoload)
315 Lisp_Object keymap;
316 int autoload;
317 {
318 Lisp_Object list;
319
320 keymap = get_keymap (keymap, 1, autoload);
321
322 /* Skip past the initial element `keymap'. */
323 list = XCDR (keymap);
324 for (; CONSP (list); list = XCDR (list))
325 {
326 /* See if there is another `keymap'. */
327 if (KEYMAPP (list))
328 return list;
329 }
330
331 return get_keymap (list, 0, autoload);
332 }
333
334 DEFUN ("keymap-parent", Fkeymap_parent, Skeymap_parent, 1, 1, 0,
335 doc: /* Return the parent keymap of KEYMAP. */)
336 (keymap)
337 Lisp_Object keymap;
338 {
339 return keymap_parent (keymap, 1);
340 }
341
342 /* Check whether MAP is one of MAPS parents. */
343 int
344 keymap_memberp (map, maps)
345 Lisp_Object map, maps;
346 {
347 if (NILP (map)) return 0;
348 while (KEYMAPP (maps) && !EQ (map, maps))
349 maps = keymap_parent (maps, 0);
350 return (EQ (map, maps));
351 }
352
353 /* Set the parent keymap of MAP to PARENT. */
354
355 DEFUN ("set-keymap-parent", Fset_keymap_parent, Sset_keymap_parent, 2, 2, 0,
356 doc: /* Modify KEYMAP to set its parent map to PARENT.
357 Return PARENT. PARENT should be nil or another keymap. */)
358 (keymap, parent)
359 Lisp_Object keymap, parent;
360 {
361 Lisp_Object list, prev;
362 struct gcpro gcpro1, gcpro2;
363 int i;
364
365 /* Force a keymap flush for the next call to where-is.
366 Since this can be called from within where-is, we don't set where_is_cache
367 directly but only where_is_cache_keymaps, since where_is_cache shouldn't
368 be changed during where-is, while where_is_cache_keymaps is only used at
369 the very beginning of where-is and can thus be changed here without any
370 adverse effect.
371 This is a very minor correctness (rather than safety) issue. */
372 where_is_cache_keymaps = Qt;
373
374 GCPRO2 (keymap, parent);
375 keymap = get_keymap (keymap, 1, 1);
376
377 if (!NILP (parent))
378 {
379 parent = get_keymap (parent, 1, 1);
380
381 /* Check for cycles. */
382 if (keymap_memberp (keymap, parent))
383 error ("Cyclic keymap inheritance");
384 }
385
386 /* Skip past the initial element `keymap'. */
387 prev = keymap;
388 while (1)
389 {
390 list = XCDR (prev);
391 /* If there is a parent keymap here, replace it.
392 If we came to the end, add the parent in PREV. */
393 if (!CONSP (list) || KEYMAPP (list))
394 {
395 /* If we already have the right parent, return now
396 so that we avoid the loops below. */
397 if (EQ (XCDR (prev), parent))
398 RETURN_UNGCPRO (parent);
399
400 CHECK_IMPURE (prev);
401 XSETCDR (prev, parent);
402 break;
403 }
404 prev = list;
405 }
406
407 /* Scan through for submaps, and set their parents too. */
408
409 for (list = XCDR (keymap); CONSP (list); list = XCDR (list))
410 {
411 /* Stop the scan when we come to the parent. */
412 if (EQ (XCAR (list), Qkeymap))
413 break;
414
415 /* If this element holds a prefix map, deal with it. */
416 if (CONSP (XCAR (list))
417 && CONSP (XCDR (XCAR (list))))
418 fix_submap_inheritance (keymap, XCAR (XCAR (list)),
419 XCDR (XCAR (list)));
420
421 if (VECTORP (XCAR (list)))
422 for (i = 0; i < XVECTOR (XCAR (list))->size; i++)
423 if (CONSP (XVECTOR (XCAR (list))->contents[i]))
424 fix_submap_inheritance (keymap, make_number (i),
425 XVECTOR (XCAR (list))->contents[i]);
426
427 if (CHAR_TABLE_P (XCAR (list)))
428 {
429 map_char_table (fix_submap_inheritance, Qnil, XCAR (list), keymap);
430 }
431 }
432
433 RETURN_UNGCPRO (parent);
434 }
435
436 /* EVENT is defined in MAP as a prefix, and SUBMAP is its definition.
437 if EVENT is also a prefix in MAP's parent,
438 make sure that SUBMAP inherits that definition as its own parent. */
439
440 static void
441 fix_submap_inheritance (map, event, submap)
442 Lisp_Object map, event, submap;
443 {
444 Lisp_Object map_parent, parent_entry;
445
446 /* SUBMAP is a cons that we found as a key binding.
447 Discard the other things found in a menu key binding. */
448
449 submap = get_keymap (get_keyelt (submap, 0), 0, 0);
450
451 /* If it isn't a keymap now, there's no work to do. */
452 if (!CONSP (submap))
453 return;
454
455 map_parent = keymap_parent (map, 0);
456 if (!NILP (map_parent))
457 parent_entry =
458 get_keymap (access_keymap (map_parent, event, 0, 0, 0), 0, 0);
459 else
460 parent_entry = Qnil;
461
462 /* If MAP's parent has something other than a keymap,
463 our own submap shadows it completely. */
464 if (!CONSP (parent_entry))
465 return;
466
467 if (! EQ (parent_entry, submap))
468 {
469 Lisp_Object submap_parent;
470 submap_parent = submap;
471 while (1)
472 {
473 Lisp_Object tem;
474
475 tem = keymap_parent (submap_parent, 0);
476
477 if (KEYMAPP (tem))
478 {
479 if (keymap_memberp (tem, parent_entry))
480 /* Fset_keymap_parent could create a cycle. */
481 return;
482 submap_parent = tem;
483 }
484 else
485 break;
486 }
487 Fset_keymap_parent (submap_parent, parent_entry);
488 }
489 }
490 \f
491 /* Look up IDX in MAP. IDX may be any sort of event.
492 Note that this does only one level of lookup; IDX must be a single
493 event, not a sequence.
494
495 If T_OK is non-zero, bindings for Qt are treated as default
496 bindings; any key left unmentioned by other tables and bindings is
497 given the binding of Qt.
498
499 If T_OK is zero, bindings for Qt are not treated specially.
500
501 If NOINHERIT, don't accept a subkeymap found in an inherited keymap. */
502
503 Lisp_Object
504 access_keymap (map, idx, t_ok, noinherit, autoload)
505 Lisp_Object map;
506 Lisp_Object idx;
507 int t_ok;
508 int noinherit;
509 int autoload;
510 {
511 Lisp_Object val;
512
513 /* Qunbound in VAL means we have found no binding yet. */
514 val = Qunbound;
515
516 /* If idx is a list (some sort of mouse click, perhaps?),
517 the index we want to use is the car of the list, which
518 ought to be a symbol. */
519 idx = EVENT_HEAD (idx);
520
521 /* If idx is a symbol, it might have modifiers, which need to
522 be put in the canonical order. */
523 if (SYMBOLP (idx))
524 idx = reorder_modifiers (idx);
525 else if (INTEGERP (idx))
526 /* Clobber the high bits that can be present on a machine
527 with more than 24 bits of integer. */
528 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
529
530 /* Handle the special meta -> esc mapping. */
531 if (INTEGERP (idx) && XUINT (idx) & meta_modifier)
532 {
533 /* See if there is a meta-map. If there's none, there is
534 no binding for IDX, unless a default binding exists in MAP. */
535 struct gcpro gcpro1;
536 Lisp_Object meta_map;
537 GCPRO1 (map);
538 /* A strange value in which Meta is set would cause
539 infinite recursion. Protect against that. */
540 if (XINT (meta_prefix_char) & CHAR_META)
541 meta_prefix_char = make_number (27);
542 meta_map = get_keymap (access_keymap (map, meta_prefix_char,
543 t_ok, noinherit, autoload),
544 0, autoload);
545 UNGCPRO;
546 if (CONSP (meta_map))
547 {
548 map = meta_map;
549 idx = make_number (XUINT (idx) & ~meta_modifier);
550 }
551 else if (t_ok)
552 /* Set IDX to t, so that we only find a default binding. */
553 idx = Qt;
554 else
555 /* We know there is no binding. */
556 return Qnil;
557 }
558
559 /* t_binding is where we put a default binding that applies,
560 to use in case we do not find a binding specifically
561 for this key sequence. */
562 {
563 Lisp_Object tail;
564 Lisp_Object t_binding = Qnil;
565 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
566
567 GCPRO4 (map, tail, idx, t_binding);
568
569 /* If `t_ok' is 2, both `t' is accepted. */
570 t_ok = t_ok ? 2 : 0;
571
572 for (tail = XCDR (map);
573 (CONSP (tail)
574 || (tail = get_keymap (tail, 0, autoload), CONSP (tail)));
575 tail = XCDR (tail))
576 {
577 Lisp_Object binding;
578
579 binding = XCAR (tail);
580 if (SYMBOLP (binding))
581 {
582 /* If NOINHERIT, stop finding prefix definitions
583 after we pass a second occurrence of the `keymap' symbol. */
584 if (noinherit && EQ (binding, Qkeymap))
585 RETURN_UNGCPRO (Qnil);
586 }
587 else if (CONSP (binding))
588 {
589 Lisp_Object key = XCAR (binding);
590
591 if (EQ (key, idx))
592 val = XCDR (binding);
593 else if (t_ok > 1 && EQ (key, Qt))
594 {
595 t_binding = XCDR (binding);
596 t_ok = 1;
597 }
598 }
599 else if (VECTORP (binding))
600 {
601 if (NATNUMP (idx) && XFASTINT (idx) < ASIZE (binding))
602 val = AREF (binding, XFASTINT (idx));
603 }
604 else if (CHAR_TABLE_P (binding))
605 {
606 /* Character codes with modifiers
607 are not included in a char-table.
608 All character codes without modifiers are included. */
609 if (NATNUMP (idx) && (XFASTINT (idx) & CHAR_MODIFIER_MASK) == 0)
610 {
611 val = Faref (binding, idx);
612 /* `nil' has a special meaning for char-tables, so
613 we use something else to record an explicitly
614 unbound entry. */
615 if (NILP (val))
616 val = Qunbound;
617 }
618 }
619
620 /* If we found a binding, clean it up and return it. */
621 if (!EQ (val, Qunbound))
622 {
623 if (EQ (val, Qt))
624 /* A Qt binding is just like an explicit nil binding
625 (i.e. it shadows any parent binding but not bindings in
626 keymaps of lower precedence). */
627 val = Qnil;
628 val = get_keyelt (val, autoload);
629 if (KEYMAPP (val))
630 fix_submap_inheritance (map, idx, val);
631 RETURN_UNGCPRO (val);
632 }
633 QUIT;
634 }
635 UNGCPRO;
636 return get_keyelt (t_binding, autoload);
637 }
638 }
639
640 static void
641 map_keymap_item (fun, args, key, val, data)
642 map_keymap_function_t fun;
643 Lisp_Object args, key, val;
644 void *data;
645 {
646 /* We should maybe try to detect bindings shadowed by previous
647 ones and things like that. */
648 if (EQ (val, Qt))
649 val = Qnil;
650 (*fun) (key, val, args, data);
651 }
652
653 static void
654 map_keymap_char_table_item (args, key, val)
655 Lisp_Object args, key, val;
656 {
657 if (!NILP (val))
658 {
659 map_keymap_function_t fun = XSAVE_VALUE (XCAR (args))->pointer;
660 args = XCDR (args);
661 map_keymap_item (fun, XCDR (args), key, val,
662 XSAVE_VALUE (XCAR (args))->pointer);
663 }
664 }
665
666 /* Call FUN for every binding in MAP.
667 FUN is called with 4 arguments: FUN (KEY, BINDING, ARGS, DATA).
668 AUTOLOAD if non-zero means that we can autoload keymaps if necessary. */
669 void
670 map_keymap (map, fun, args, data, autoload)
671 map_keymap_function_t fun;
672 Lisp_Object map, args;
673 void *data;
674 int autoload;
675 {
676 struct gcpro gcpro1, gcpro2, gcpro3;
677 Lisp_Object tail;
678
679 tail = Qnil;
680 GCPRO3 (map, args, tail);
681 map = get_keymap (map, 1, autoload);
682 for (tail = (CONSP (map) && EQ (Qkeymap, XCAR (map))) ? XCDR (map) : map;
683 CONSP (tail) || (tail = get_keymap (tail, 0, autoload), CONSP (tail));
684 tail = XCDR (tail))
685 {
686 Lisp_Object binding = XCAR (tail);
687
688 if (CONSP (binding))
689 map_keymap_item (fun, args, XCAR (binding), XCDR (binding), data);
690 else if (VECTORP (binding))
691 {
692 /* Loop over the char values represented in the vector. */
693 int len = ASIZE (binding);
694 int c;
695 for (c = 0; c < len; c++)
696 {
697 Lisp_Object character;
698 XSETFASTINT (character, c);
699 map_keymap_item (fun, args, character, AREF (binding, c), data);
700 }
701 }
702 else if (CHAR_TABLE_P (binding))
703 {
704 map_char_table (map_keymap_char_table_item, Qnil, binding,
705 Fcons (make_save_value (fun, 0),
706 Fcons (make_save_value (data, 0),
707 args)));
708 }
709 }
710 UNGCPRO;
711 }
712
713 static void
714 map_keymap_call (key, val, fun, dummy)
715 Lisp_Object key, val, fun;
716 void *dummy;
717 {
718 call2 (fun, key, val);
719 }
720
721 DEFUN ("map-keymap", Fmap_keymap, Smap_keymap, 2, 3, 0,
722 doc: /* Call FUNCTION once for each event binding in KEYMAP.
723 FUNCTION is called with two arguments: the event that is bound, and
724 the definition it is bound to.
725
726 If KEYMAP has a parent, the parent's bindings are included as well.
727 This works recursively: if the parent has itself a parent, then the
728 grandparent's bindings are also included and so on.
729 usage: (map-keymap FUNCTION KEYMAP) */)
730 (function, keymap, sort_first)
731 Lisp_Object function, keymap, sort_first;
732 {
733 if (INTEGERP (function))
734 /* We have to stop integers early since map_keymap gives them special
735 significance. */
736 xsignal1 (Qinvalid_function, function);
737 if (! NILP (sort_first))
738 return call3 (intern ("map-keymap-internal"), function, keymap, Qt);
739
740 map_keymap (keymap, map_keymap_call, function, NULL, 1);
741 return Qnil;
742 }
743
744 /* Given OBJECT which was found in a slot in a keymap,
745 trace indirect definitions to get the actual definition of that slot.
746 An indirect definition is a list of the form
747 (KEYMAP . INDEX), where KEYMAP is a keymap or a symbol defined as one
748 and INDEX is the object to look up in KEYMAP to yield the definition.
749
750 Also if OBJECT has a menu string as the first element,
751 remove that. Also remove a menu help string as second element.
752
753 If AUTOLOAD is nonzero, load autoloadable keymaps
754 that are referred to with indirection.
755
756 This can GC because menu_item_eval_property calls Feval. */
757
758 Lisp_Object
759 get_keyelt (object, autoload)
760 Lisp_Object object;
761 int autoload;
762 {
763 while (1)
764 {
765 if (!(CONSP (object)))
766 /* This is really the value. */
767 return object;
768
769 /* If the keymap contents looks like (keymap ...) or (lambda ...)
770 then use itself. */
771 else if (EQ (XCAR (object), Qkeymap) || EQ (XCAR (object), Qlambda))
772 return object;
773
774 /* If the keymap contents looks like (menu-item name . DEFN)
775 or (menu-item name DEFN ...) then use DEFN.
776 This is a new format menu item. */
777 else if (EQ (XCAR (object), Qmenu_item))
778 {
779 if (CONSP (XCDR (object)))
780 {
781 Lisp_Object tem;
782
783 object = XCDR (XCDR (object));
784 tem = object;
785 if (CONSP (object))
786 object = XCAR (object);
787
788 /* If there's a `:filter FILTER', apply FILTER to the
789 menu-item's definition to get the real definition to
790 use. */
791 for (; CONSP (tem) && CONSP (XCDR (tem)); tem = XCDR (tem))
792 if (EQ (XCAR (tem), QCfilter) && autoload)
793 {
794 Lisp_Object filter;
795 filter = XCAR (XCDR (tem));
796 filter = list2 (filter, list2 (Qquote, object));
797 object = menu_item_eval_property (filter);
798 break;
799 }
800 }
801 else
802 /* Invalid keymap. */
803 return object;
804 }
805
806 /* If the keymap contents looks like (STRING . DEFN), use DEFN.
807 Keymap alist elements like (CHAR MENUSTRING . DEFN)
808 will be used by HierarKey menus. */
809 else if (STRINGP (XCAR (object)))
810 {
811 object = XCDR (object);
812 /* Also remove a menu help string, if any,
813 following the menu item name. */
814 if (CONSP (object) && STRINGP (XCAR (object)))
815 object = XCDR (object);
816 /* Also remove the sublist that caches key equivalences, if any. */
817 if (CONSP (object) && CONSP (XCAR (object)))
818 {
819 Lisp_Object carcar;
820 carcar = XCAR (XCAR (object));
821 if (NILP (carcar) || VECTORP (carcar))
822 object = XCDR (object);
823 }
824 }
825
826 /* If the contents are (KEYMAP . ELEMENT), go indirect. */
827 else
828 {
829 struct gcpro gcpro1;
830 Lisp_Object map;
831 GCPRO1 (object);
832 map = get_keymap (Fcar_safe (object), 0, autoload);
833 UNGCPRO;
834 return (!CONSP (map) ? object /* Invalid keymap */
835 : access_keymap (map, Fcdr (object), 0, 0, autoload));
836 }
837 }
838 }
839
840 static Lisp_Object
841 store_in_keymap (keymap, idx, def)
842 Lisp_Object keymap;
843 register Lisp_Object idx;
844 Lisp_Object def;
845 {
846 /* Flush any reverse-map cache. */
847 where_is_cache = Qnil;
848 where_is_cache_keymaps = Qt;
849
850 /* If we are preparing to dump, and DEF is a menu element
851 with a menu item indicator, copy it to ensure it is not pure. */
852 if (CONSP (def) && PURE_P (def)
853 && (EQ (XCAR (def), Qmenu_item) || STRINGP (XCAR (def))))
854 def = Fcons (XCAR (def), XCDR (def));
855
856 if (!CONSP (keymap) || !EQ (XCAR (keymap), Qkeymap))
857 error ("attempt to define a key in a non-keymap");
858
859 /* If idx is a cons, and the car part is a character, idx must be of
860 the form (FROM-CHAR . TO-CHAR). */
861 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
862 CHECK_CHARACTER_CDR (idx);
863 else
864 /* If idx is a list (some sort of mouse click, perhaps?),
865 the index we want to use is the car of the list, which
866 ought to be a symbol. */
867 idx = EVENT_HEAD (idx);
868
869 /* If idx is a symbol, it might have modifiers, which need to
870 be put in the canonical order. */
871 if (SYMBOLP (idx))
872 idx = reorder_modifiers (idx);
873 else if (INTEGERP (idx))
874 /* Clobber the high bits that can be present on a machine
875 with more than 24 bits of integer. */
876 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
877
878 /* Scan the keymap for a binding of idx. */
879 {
880 Lisp_Object tail;
881
882 /* The cons after which we should insert new bindings. If the
883 keymap has a table element, we record its position here, so new
884 bindings will go after it; this way, the table will stay
885 towards the front of the alist and character lookups in dense
886 keymaps will remain fast. Otherwise, this just points at the
887 front of the keymap. */
888 Lisp_Object insertion_point;
889
890 insertion_point = keymap;
891 for (tail = XCDR (keymap); CONSP (tail); tail = XCDR (tail))
892 {
893 Lisp_Object elt;
894
895 elt = XCAR (tail);
896 if (VECTORP (elt))
897 {
898 if (NATNUMP (idx) && XFASTINT (idx) < ASIZE (elt))
899 {
900 CHECK_IMPURE (elt);
901 ASET (elt, XFASTINT (idx), def);
902 return def;
903 }
904 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
905 {
906 int from = XFASTINT (XCAR (idx));
907 int to = XFASTINT (XCDR (idx));
908
909 if (to >= ASIZE (elt))
910 to = ASIZE (elt) - 1;
911 for (; from <= to; from++)
912 ASET (elt, from, def);
913 if (to == XFASTINT (XCDR (idx)))
914 /* We have defined all keys in IDX. */
915 return def;
916 }
917 insertion_point = tail;
918 }
919 else if (CHAR_TABLE_P (elt))
920 {
921 /* Character codes with modifiers
922 are not included in a char-table.
923 All character codes without modifiers are included. */
924 if (NATNUMP (idx) && !(XFASTINT (idx) & CHAR_MODIFIER_MASK))
925 {
926 Faset (elt, idx,
927 /* `nil' has a special meaning for char-tables, so
928 we use something else to record an explicitly
929 unbound entry. */
930 NILP (def) ? Qt : def);
931 return def;
932 }
933 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
934 {
935 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
936 return def;
937 }
938 insertion_point = tail;
939 }
940 else if (CONSP (elt))
941 {
942 if (EQ (idx, XCAR (elt)))
943 {
944 CHECK_IMPURE (elt);
945 XSETCDR (elt, def);
946 return def;
947 }
948 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
949 {
950 int from = XFASTINT (XCAR (idx));
951 int to = XFASTINT (XCDR (idx));
952
953 if (from <= XFASTINT (XCAR (elt))
954 && to >= XFASTINT (XCAR (elt)))
955 {
956 XSETCDR (elt, def);
957 if (from == to)
958 return def;
959 }
960 }
961 }
962 else if (EQ (elt, Qkeymap))
963 /* If we find a 'keymap' symbol in the spine of KEYMAP,
964 then we must have found the start of a second keymap
965 being used as the tail of KEYMAP, and a binding for IDX
966 should be inserted before it. */
967 goto keymap_end;
968
969 QUIT;
970 }
971
972 keymap_end:
973 /* We have scanned the entire keymap, and not found a binding for
974 IDX. Let's add one. */
975 {
976 Lisp_Object elt;
977
978 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
979 {
980 /* IDX specifies a range of characters, and not all of them
981 were handled yet, which means this keymap doesn't have a
982 char-table. So, we insert a char-table now. */
983 elt = Fmake_char_table (Qkeymap, Qnil);
984 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
985 }
986 else
987 elt = Fcons (idx, def);
988 CHECK_IMPURE (insertion_point);
989 XSETCDR (insertion_point, Fcons (elt, XCDR (insertion_point)));
990 }
991 }
992
993 return def;
994 }
995
996 EXFUN (Fcopy_keymap, 1);
997
998 Lisp_Object
999 copy_keymap_item (elt)
1000 Lisp_Object elt;
1001 {
1002 Lisp_Object res, tem;
1003
1004 if (!CONSP (elt))
1005 return elt;
1006
1007 res = tem = elt;
1008
1009 /* Is this a new format menu item. */
1010 if (EQ (XCAR (tem), Qmenu_item))
1011 {
1012 /* Copy cell with menu-item marker. */
1013 res = elt = Fcons (XCAR (tem), XCDR (tem));
1014 tem = XCDR (elt);
1015 if (CONSP (tem))
1016 {
1017 /* Copy cell with menu-item name. */
1018 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
1019 elt = XCDR (elt);
1020 tem = XCDR (elt);
1021 }
1022 if (CONSP (tem))
1023 {
1024 /* Copy cell with binding and if the binding is a keymap,
1025 copy that. */
1026 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
1027 elt = XCDR (elt);
1028 tem = XCAR (elt);
1029 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
1030 XSETCAR (elt, Fcopy_keymap (tem));
1031 tem = XCDR (elt);
1032 if (CONSP (tem) && CONSP (XCAR (tem)))
1033 /* Delete cache for key equivalences. */
1034 XSETCDR (elt, XCDR (tem));
1035 }
1036 }
1037 else
1038 {
1039 /* It may be an old fomat menu item.
1040 Skip the optional menu string. */
1041 if (STRINGP (XCAR (tem)))
1042 {
1043 /* Copy the cell, since copy-alist didn't go this deep. */
1044 res = elt = Fcons (XCAR (tem), XCDR (tem));
1045 tem = XCDR (elt);
1046 /* Also skip the optional menu help string. */
1047 if (CONSP (tem) && STRINGP (XCAR (tem)))
1048 {
1049 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
1050 elt = XCDR (elt);
1051 tem = XCDR (elt);
1052 }
1053 /* There may also be a list that caches key equivalences.
1054 Just delete it for the new keymap. */
1055 if (CONSP (tem)
1056 && CONSP (XCAR (tem))
1057 && (NILP (XCAR (XCAR (tem)))
1058 || VECTORP (XCAR (XCAR (tem)))))
1059 {
1060 XSETCDR (elt, XCDR (tem));
1061 tem = XCDR (tem);
1062 }
1063 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
1064 XSETCDR (elt, Fcopy_keymap (tem));
1065 }
1066 else if (EQ (XCAR (tem), Qkeymap))
1067 res = Fcopy_keymap (elt);
1068 }
1069 return res;
1070 }
1071
1072 static void
1073 copy_keymap_1 (chartable, idx, elt)
1074 Lisp_Object chartable, idx, elt;
1075 {
1076 Fset_char_table_range (chartable, idx, copy_keymap_item (elt));
1077 }
1078
1079 DEFUN ("copy-keymap", Fcopy_keymap, Scopy_keymap, 1, 1, 0,
1080 doc: /* Return a copy of the keymap KEYMAP.
1081 The copy starts out with the same definitions of KEYMAP,
1082 but changing either the copy or KEYMAP does not affect the other.
1083 Any key definitions that are subkeymaps are recursively copied.
1084 However, a key definition which is a symbol whose definition is a keymap
1085 is not copied. */)
1086 (keymap)
1087 Lisp_Object keymap;
1088 {
1089 register Lisp_Object copy, tail;
1090 keymap = get_keymap (keymap, 1, 0);
1091 copy = tail = Fcons (Qkeymap, Qnil);
1092 keymap = XCDR (keymap); /* Skip the `keymap' symbol. */
1093
1094 while (CONSP (keymap) && !EQ (XCAR (keymap), Qkeymap))
1095 {
1096 Lisp_Object elt = XCAR (keymap);
1097 if (CHAR_TABLE_P (elt))
1098 {
1099 elt = Fcopy_sequence (elt);
1100 map_char_table (copy_keymap_1, Qnil, elt, elt);
1101 }
1102 else if (VECTORP (elt))
1103 {
1104 int i;
1105 elt = Fcopy_sequence (elt);
1106 for (i = 0; i < ASIZE (elt); i++)
1107 ASET (elt, i, copy_keymap_item (AREF (elt, i)));
1108 }
1109 else if (CONSP (elt))
1110 elt = Fcons (XCAR (elt), copy_keymap_item (XCDR (elt)));
1111 XSETCDR (tail, Fcons (elt, Qnil));
1112 tail = XCDR (tail);
1113 keymap = XCDR (keymap);
1114 }
1115 XSETCDR (tail, keymap);
1116 return copy;
1117 }
1118 \f
1119 /* Simple Keymap mutators and accessors. */
1120
1121 /* GC is possible in this function if it autoloads a keymap. */
1122
1123 DEFUN ("define-key", Fdefine_key, Sdefine_key, 3, 3, 0,
1124 doc: /* In KEYMAP, define key sequence KEY as DEF.
1125 KEYMAP is a keymap.
1126
1127 KEY is a string or a vector of symbols and characters meaning a
1128 sequence of keystrokes and events. Non-ASCII characters with codes
1129 above 127 (such as ISO Latin-1) can be included if you use a vector.
1130 Using [t] for KEY creates a default definition, which applies to any
1131 event type that has no other definition in this keymap.
1132
1133 DEF is anything that can be a key's definition:
1134 nil (means key is undefined in this keymap),
1135 a command (a Lisp function suitable for interactive calling),
1136 a string (treated as a keyboard macro),
1137 a keymap (to define a prefix key),
1138 a symbol (when the key is looked up, the symbol will stand for its
1139 function definition, which should at that time be one of the above,
1140 or another symbol whose function definition is used, etc.),
1141 a cons (STRING . DEFN), meaning that DEFN is the definition
1142 (DEFN should be a valid definition in its own right),
1143 or a cons (MAP . CHAR), meaning use definition of CHAR in keymap MAP.
1144
1145 If KEYMAP is a sparse keymap with a binding for KEY, the existing
1146 binding is altered. If there is no binding for KEY, the new pair
1147 binding KEY to DEF is added at the front of KEYMAP. */)
1148 (keymap, key, def)
1149 Lisp_Object keymap;
1150 Lisp_Object key;
1151 Lisp_Object def;
1152 {
1153 register int idx;
1154 register Lisp_Object c;
1155 register Lisp_Object cmd;
1156 int metized = 0;
1157 int meta_bit;
1158 int length;
1159 struct gcpro gcpro1, gcpro2, gcpro3;
1160
1161 GCPRO3 (keymap, key, def);
1162 keymap = get_keymap (keymap, 1, 1);
1163
1164 CHECK_VECTOR_OR_STRING (key);
1165
1166 length = XFASTINT (Flength (key));
1167 if (length == 0)
1168 RETURN_UNGCPRO (Qnil);
1169
1170 if (SYMBOLP (def) && !EQ (Vdefine_key_rebound_commands, Qt))
1171 Vdefine_key_rebound_commands = Fcons (def, Vdefine_key_rebound_commands);
1172
1173 meta_bit = VECTORP (key) ? meta_modifier : 0x80;
1174
1175 idx = 0;
1176 while (1)
1177 {
1178 c = Faref (key, make_number (idx));
1179
1180 if (CONSP (c))
1181 {
1182 /* C may be a Lucid style event type list or a cons (FROM .
1183 TO) specifying a range of characters. */
1184 if (lucid_event_type_list_p (c))
1185 c = Fevent_convert_list (c);
1186 else if (CHARACTERP (XCAR (c)))
1187 CHECK_CHARACTER_CDR (c);
1188 }
1189
1190 if (SYMBOLP (c))
1191 silly_event_symbol_error (c);
1192
1193 if (INTEGERP (c)
1194 && (XINT (c) & meta_bit)
1195 && !metized)
1196 {
1197 c = meta_prefix_char;
1198 metized = 1;
1199 }
1200 else
1201 {
1202 if (INTEGERP (c))
1203 XSETINT (c, XINT (c) & ~meta_bit);
1204
1205 metized = 0;
1206 idx++;
1207 }
1208
1209 if (!INTEGERP (c) && !SYMBOLP (c)
1210 && (!CONSP (c)
1211 /* If C is a range, it must be a leaf. */
1212 || (INTEGERP (XCAR (c)) && idx != length)))
1213 error ("Key sequence contains invalid event");
1214
1215 if (idx == length)
1216 RETURN_UNGCPRO (store_in_keymap (keymap, c, def));
1217
1218 cmd = access_keymap (keymap, c, 0, 1, 1);
1219
1220 /* If this key is undefined, make it a prefix. */
1221 if (NILP (cmd))
1222 cmd = define_as_prefix (keymap, c);
1223
1224 keymap = get_keymap (cmd, 0, 1);
1225 if (!CONSP (keymap))
1226 /* We must use Fkey_description rather than just passing key to
1227 error; key might be a vector, not a string. */
1228 error ("Key sequence %s starts with non-prefix key %s",
1229 SDATA (Fkey_description (key, Qnil)),
1230 SDATA (Fkey_description (Fsubstring (key, make_number (0),
1231 make_number (idx)),
1232 Qnil)));
1233 }
1234 }
1235
1236 /* This function may GC (it calls Fkey_binding). */
1237
1238 DEFUN ("command-remapping", Fcommand_remapping, Scommand_remapping, 1, 1, 0,
1239 doc: /* Return the remapping for command COMMAND in current keymaps.
1240 Returns nil if COMMAND is not remapped (or not a symbol). */)
1241 (command)
1242 Lisp_Object command;
1243 {
1244 if (!SYMBOLP (command))
1245 return Qnil;
1246
1247 ASET (command_remapping_vector, 1, command);
1248 return Fkey_binding (command_remapping_vector, Qnil, Qt);
1249 }
1250
1251 /* Value is number if KEY is too long; nil if valid but has no definition. */
1252 /* GC is possible in this function if it autoloads a keymap. */
1253
1254 DEFUN ("lookup-key", Flookup_key, Slookup_key, 2, 3, 0,
1255 doc: /* In keymap KEYMAP, look up key sequence KEY. Return the definition.
1256 nil means undefined. See doc of `define-key' for kinds of definitions.
1257
1258 A number as value means KEY is "too long";
1259 that is, characters or symbols in it except for the last one
1260 fail to be a valid sequence of prefix characters in KEYMAP.
1261 The number is how many characters at the front of KEY
1262 it takes to reach a non-prefix key.
1263
1264 Normally, `lookup-key' ignores bindings for t, which act as default
1265 bindings, used when nothing else in the keymap applies; this makes it
1266 usable as a general function for probing keymaps. However, if the
1267 third optional argument ACCEPT-DEFAULT is non-nil, `lookup-key' will
1268 recognize the default bindings, just as `read-key-sequence' does. */)
1269 (keymap, key, accept_default)
1270 Lisp_Object keymap;
1271 Lisp_Object key;
1272 Lisp_Object accept_default;
1273 {
1274 register int idx;
1275 register Lisp_Object cmd;
1276 register Lisp_Object c;
1277 int length;
1278 int t_ok = !NILP (accept_default);
1279 struct gcpro gcpro1, gcpro2;
1280
1281 GCPRO2 (keymap, key);
1282 keymap = get_keymap (keymap, 1, 1);
1283
1284 CHECK_VECTOR_OR_STRING (key);
1285
1286 length = XFASTINT (Flength (key));
1287 if (length == 0)
1288 RETURN_UNGCPRO (keymap);
1289
1290 idx = 0;
1291 while (1)
1292 {
1293 c = Faref (key, make_number (idx++));
1294
1295 if (CONSP (c) && lucid_event_type_list_p (c))
1296 c = Fevent_convert_list (c);
1297
1298 /* Turn the 8th bit of string chars into a meta modifier. */
1299 if (INTEGERP (c) && XINT (c) & 0x80 && STRINGP (key))
1300 XSETINT (c, (XINT (c) | meta_modifier) & ~0x80);
1301
1302 /* Allow string since binding for `menu-bar-select-buffer'
1303 includes the buffer name in the key sequence. */
1304 if (!INTEGERP (c) && !SYMBOLP (c) && !CONSP (c) && !STRINGP (c))
1305 error ("Key sequence contains invalid event");
1306
1307 cmd = access_keymap (keymap, c, t_ok, 0, 1);
1308 if (idx == length)
1309 RETURN_UNGCPRO (cmd);
1310
1311 keymap = get_keymap (cmd, 0, 1);
1312 if (!CONSP (keymap))
1313 RETURN_UNGCPRO (make_number (idx));
1314
1315 QUIT;
1316 }
1317 }
1318
1319 /* Make KEYMAP define event C as a keymap (i.e., as a prefix).
1320 Assume that currently it does not define C at all.
1321 Return the keymap. */
1322
1323 static Lisp_Object
1324 define_as_prefix (keymap, c)
1325 Lisp_Object keymap, c;
1326 {
1327 Lisp_Object cmd;
1328
1329 cmd = Fmake_sparse_keymap (Qnil);
1330 /* If this key is defined as a prefix in an inherited keymap,
1331 make it a prefix in this map, and make its definition
1332 inherit the other prefix definition. */
1333 cmd = nconc2 (cmd, access_keymap (keymap, c, 0, 0, 0));
1334 store_in_keymap (keymap, c, cmd);
1335
1336 return cmd;
1337 }
1338
1339 /* Append a key to the end of a key sequence. We always make a vector. */
1340
1341 Lisp_Object
1342 append_key (key_sequence, key)
1343 Lisp_Object key_sequence, key;
1344 {
1345 Lisp_Object args[2];
1346
1347 args[0] = key_sequence;
1348
1349 args[1] = Fcons (key, Qnil);
1350 return Fvconcat (2, args);
1351 }
1352
1353 /* Given a event type C which is a symbol,
1354 signal an error if is a mistake such as RET or M-RET or C-DEL, etc. */
1355
1356 static void
1357 silly_event_symbol_error (c)
1358 Lisp_Object c;
1359 {
1360 Lisp_Object parsed, base, name, assoc;
1361 int modifiers;
1362
1363 parsed = parse_modifiers (c);
1364 modifiers = (int) XUINT (XCAR (XCDR (parsed)));
1365 base = XCAR (parsed);
1366 name = Fsymbol_name (base);
1367 /* This alist includes elements such as ("RET" . "\\r"). */
1368 assoc = Fassoc (name, exclude_keys);
1369
1370 if (! NILP (assoc))
1371 {
1372 char new_mods[sizeof ("\\A-\\C-\\H-\\M-\\S-\\s-")];
1373 char *p = new_mods;
1374 Lisp_Object keystring;
1375 if (modifiers & alt_modifier)
1376 { *p++ = '\\'; *p++ = 'A'; *p++ = '-'; }
1377 if (modifiers & ctrl_modifier)
1378 { *p++ = '\\'; *p++ = 'C'; *p++ = '-'; }
1379 if (modifiers & hyper_modifier)
1380 { *p++ = '\\'; *p++ = 'H'; *p++ = '-'; }
1381 if (modifiers & meta_modifier)
1382 { *p++ = '\\'; *p++ = 'M'; *p++ = '-'; }
1383 if (modifiers & shift_modifier)
1384 { *p++ = '\\'; *p++ = 'S'; *p++ = '-'; }
1385 if (modifiers & super_modifier)
1386 { *p++ = '\\'; *p++ = 's'; *p++ = '-'; }
1387 *p = 0;
1388
1389 c = reorder_modifiers (c);
1390 keystring = concat2 (build_string (new_mods), XCDR (assoc));
1391
1392 error ((modifiers & ~meta_modifier
1393 ? "To bind the key %s, use [?%s], not [%s]"
1394 : "To bind the key %s, use \"%s\", not [%s]"),
1395 SDATA (SYMBOL_NAME (c)), SDATA (keystring),
1396 SDATA (SYMBOL_NAME (c)));
1397 }
1398 }
1399 \f
1400 /* Global, local, and minor mode keymap stuff. */
1401
1402 /* We can't put these variables inside current_minor_maps, since under
1403 some systems, static gets macro-defined to be the empty string.
1404 Ickypoo. */
1405 static Lisp_Object *cmm_modes = NULL, *cmm_maps = NULL;
1406 static int cmm_size = 0;
1407
1408 /* Store a pointer to an array of the keymaps of the currently active
1409 minor modes in *buf, and return the number of maps it contains.
1410
1411 This function always returns a pointer to the same buffer, and may
1412 free or reallocate it, so if you want to keep it for a long time or
1413 hand it out to lisp code, copy it. This procedure will be called
1414 for every key sequence read, so the nice lispy approach (return a
1415 new assoclist, list, what have you) for each invocation would
1416 result in a lot of consing over time.
1417
1418 If we used xrealloc/xmalloc and ran out of memory, they would throw
1419 back to the command loop, which would try to read a key sequence,
1420 which would call this function again, resulting in an infinite
1421 loop. Instead, we'll use realloc/malloc and silently truncate the
1422 list, let the key sequence be read, and hope some other piece of
1423 code signals the error. */
1424 int
1425 current_minor_maps (modeptr, mapptr)
1426 Lisp_Object **modeptr, **mapptr;
1427 {
1428 int i = 0;
1429 int list_number = 0;
1430 Lisp_Object alist, assoc, var, val;
1431 Lisp_Object emulation_alists;
1432 Lisp_Object lists[2];
1433
1434 emulation_alists = Vemulation_mode_map_alists;
1435 lists[0] = Vminor_mode_overriding_map_alist;
1436 lists[1] = Vminor_mode_map_alist;
1437
1438 for (list_number = 0; list_number < 2; list_number++)
1439 {
1440 if (CONSP (emulation_alists))
1441 {
1442 alist = XCAR (emulation_alists);
1443 emulation_alists = XCDR (emulation_alists);
1444 if (SYMBOLP (alist))
1445 alist = find_symbol_value (alist);
1446 list_number = -1;
1447 }
1448 else
1449 alist = lists[list_number];
1450
1451 for ( ; CONSP (alist); alist = XCDR (alist))
1452 if ((assoc = XCAR (alist), CONSP (assoc))
1453 && (var = XCAR (assoc), SYMBOLP (var))
1454 && (val = find_symbol_value (var), !EQ (val, Qunbound))
1455 && !NILP (val))
1456 {
1457 Lisp_Object temp;
1458
1459 /* If a variable has an entry in Vminor_mode_overriding_map_alist,
1460 and also an entry in Vminor_mode_map_alist,
1461 ignore the latter. */
1462 if (list_number == 1)
1463 {
1464 val = assq_no_quit (var, lists[0]);
1465 if (!NILP (val))
1466 continue;
1467 }
1468
1469 if (i >= cmm_size)
1470 {
1471 int newsize, allocsize;
1472 Lisp_Object *newmodes, *newmaps;
1473
1474 newsize = cmm_size == 0 ? 30 : cmm_size * 2;
1475 allocsize = newsize * sizeof *newmodes;
1476
1477 /* Use malloc here. See the comment above this function.
1478 Avoid realloc here; it causes spurious traps on GNU/Linux [KFS] */
1479 BLOCK_INPUT;
1480 newmodes = (Lisp_Object *) malloc (allocsize);
1481 if (newmodes)
1482 {
1483 if (cmm_modes)
1484 {
1485 bcopy (cmm_modes, newmodes, cmm_size * sizeof cmm_modes[0]);
1486 free (cmm_modes);
1487 }
1488 cmm_modes = newmodes;
1489 }
1490
1491 newmaps = (Lisp_Object *) malloc (allocsize);
1492 if (newmaps)
1493 {
1494 if (cmm_maps)
1495 {
1496 bcopy (cmm_maps, newmaps, cmm_size * sizeof cmm_maps[0]);
1497 free (cmm_maps);
1498 }
1499 cmm_maps = newmaps;
1500 }
1501 UNBLOCK_INPUT;
1502
1503 if (newmodes == NULL || newmaps == NULL)
1504 break;
1505 cmm_size = newsize;
1506 }
1507
1508 /* Get the keymap definition--or nil if it is not defined. */
1509 temp = Findirect_function (XCDR (assoc), Qt);
1510 if (!NILP (temp))
1511 {
1512 cmm_modes[i] = var;
1513 cmm_maps [i] = temp;
1514 i++;
1515 }
1516 }
1517 }
1518
1519 if (modeptr) *modeptr = cmm_modes;
1520 if (mapptr) *mapptr = cmm_maps;
1521 return i;
1522 }
1523
1524 DEFUN ("current-active-maps", Fcurrent_active_maps, Scurrent_active_maps,
1525 0, 1, 0,
1526 doc: /* Return a list of the currently active keymaps.
1527 OLP if non-nil indicates that we should obey `overriding-local-map' and
1528 `overriding-terminal-local-map'. */)
1529 (olp)
1530 Lisp_Object olp;
1531 {
1532 Lisp_Object keymaps = Fcons (current_global_map, Qnil);
1533
1534 if (!NILP (olp))
1535 {
1536 if (!NILP (current_kboard->Voverriding_terminal_local_map))
1537 keymaps = Fcons (current_kboard->Voverriding_terminal_local_map, keymaps);
1538 /* The doc said that overriding-terminal-local-map should
1539 override overriding-local-map. The code used them both,
1540 but it seems clearer to use just one. rms, jan 2005. */
1541 else if (!NILP (Voverriding_local_map))
1542 keymaps = Fcons (Voverriding_local_map, keymaps);
1543 }
1544 if (NILP (XCDR (keymaps)))
1545 {
1546 Lisp_Object local;
1547 Lisp_Object *maps;
1548 int nmaps, i;
1549
1550 /* This usually returns the buffer's local map,
1551 but that can be overridden by a `local-map' property. */
1552 local = get_local_map (PT, current_buffer, Qlocal_map);
1553 if (!NILP (local))
1554 keymaps = Fcons (local, keymaps);
1555
1556 /* Now put all the minor mode keymaps on the list. */
1557 nmaps = current_minor_maps (0, &maps);
1558
1559 for (i = --nmaps; i >= 0; i--)
1560 if (!NILP (maps[i]))
1561 keymaps = Fcons (maps[i], keymaps);
1562
1563 /* This returns nil unless there is a `keymap' property. */
1564 local = get_local_map (PT, current_buffer, Qkeymap);
1565 if (!NILP (local))
1566 keymaps = Fcons (local, keymaps);
1567 }
1568
1569 return keymaps;
1570 }
1571
1572 /* GC is possible in this function if it autoloads a keymap. */
1573
1574 DEFUN ("key-binding", Fkey_binding, Skey_binding, 1, 3, 0,
1575 doc: /* Return the binding for command KEY in current keymaps.
1576 KEY is a string or vector, a sequence of keystrokes.
1577 The binding is probably a symbol with a function definition.
1578
1579 Normally, `key-binding' ignores bindings for t, which act as default
1580 bindings, used when nothing else in the keymap applies; this makes it
1581 usable as a general function for probing keymaps. However, if the
1582 optional second argument ACCEPT-DEFAULT is non-nil, `key-binding' does
1583 recognize the default bindings, just as `read-key-sequence' does.
1584
1585 Like the normal command loop, `key-binding' will remap the command
1586 resulting from looking up KEY by looking up the command in the
1587 current keymaps. However, if the optional third argument NO-REMAP
1588 is non-nil, `key-binding' returns the unmapped command. */)
1589 (key, accept_default, no_remap)
1590 Lisp_Object key, accept_default, no_remap;
1591 {
1592 Lisp_Object *maps, value;
1593 int nmaps, i;
1594 struct gcpro gcpro1;
1595
1596 GCPRO1 (key);
1597
1598 if (!NILP (current_kboard->Voverriding_terminal_local_map))
1599 {
1600 value = Flookup_key (current_kboard->Voverriding_terminal_local_map,
1601 key, accept_default);
1602 if (! NILP (value) && !INTEGERP (value))
1603 goto done;
1604 }
1605 else if (!NILP (Voverriding_local_map))
1606 {
1607 value = Flookup_key (Voverriding_local_map, key, accept_default);
1608 if (! NILP (value) && !INTEGERP (value))
1609 goto done;
1610 }
1611 else
1612 {
1613 Lisp_Object local;
1614
1615 local = get_local_map (PT, current_buffer, Qkeymap);
1616 if (! NILP (local))
1617 {
1618 value = Flookup_key (local, key, accept_default);
1619 if (! NILP (value) && !INTEGERP (value))
1620 goto done;
1621 }
1622
1623 nmaps = current_minor_maps (0, &maps);
1624 /* Note that all these maps are GCPRO'd
1625 in the places where we found them. */
1626
1627 for (i = 0; i < nmaps; i++)
1628 if (! NILP (maps[i]))
1629 {
1630 value = Flookup_key (maps[i], key, accept_default);
1631 if (! NILP (value) && !INTEGERP (value))
1632 goto done;
1633 }
1634
1635 local = get_local_map (PT, current_buffer, Qlocal_map);
1636 if (! NILP (local))
1637 {
1638 value = Flookup_key (local, key, accept_default);
1639 if (! NILP (value) && !INTEGERP (value))
1640 goto done;
1641 }
1642 }
1643
1644 value = Flookup_key (current_global_map, key, accept_default);
1645
1646 done:
1647 UNGCPRO;
1648 if (NILP (value) || INTEGERP (value))
1649 return Qnil;
1650
1651 /* If the result of the ordinary keymap lookup is an interactive
1652 command, look for a key binding (ie. remapping) for that command. */
1653
1654 if (NILP (no_remap) && SYMBOLP (value))
1655 {
1656 Lisp_Object value1;
1657 if (value1 = Fcommand_remapping (value), !NILP (value1))
1658 value = value1;
1659 }
1660
1661 return value;
1662 }
1663
1664 /* GC is possible in this function if it autoloads a keymap. */
1665
1666 DEFUN ("local-key-binding", Flocal_key_binding, Slocal_key_binding, 1, 2, 0,
1667 doc: /* Return the binding for command KEYS in current local keymap only.
1668 KEYS is a string or vector, a sequence of keystrokes.
1669 The binding is probably a symbol with a function definition.
1670
1671 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1672 bindings; see the description of `lookup-key' for more details about this. */)
1673 (keys, accept_default)
1674 Lisp_Object keys, accept_default;
1675 {
1676 register Lisp_Object map;
1677 map = current_buffer->keymap;
1678 if (NILP (map))
1679 return Qnil;
1680 return Flookup_key (map, keys, accept_default);
1681 }
1682
1683 /* GC is possible in this function if it autoloads a keymap. */
1684
1685 DEFUN ("global-key-binding", Fglobal_key_binding, Sglobal_key_binding, 1, 2, 0,
1686 doc: /* Return the binding for command KEYS in current global keymap only.
1687 KEYS is a string or vector, a sequence of keystrokes.
1688 The binding is probably a symbol with a function definition.
1689 This function's return values are the same as those of `lookup-key'
1690 \(which see).
1691
1692 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1693 bindings; see the description of `lookup-key' for more details about this. */)
1694 (keys, accept_default)
1695 Lisp_Object keys, accept_default;
1696 {
1697 return Flookup_key (current_global_map, keys, accept_default);
1698 }
1699
1700 /* GC is possible in this function if it autoloads a keymap. */
1701
1702 DEFUN ("minor-mode-key-binding", Fminor_mode_key_binding, Sminor_mode_key_binding, 1, 2, 0,
1703 doc: /* Find the visible minor mode bindings of KEY.
1704 Return an alist of pairs (MODENAME . BINDING), where MODENAME is
1705 the symbol which names the minor mode binding KEY, and BINDING is
1706 KEY's definition in that mode. In particular, if KEY has no
1707 minor-mode bindings, return nil. If the first binding is a
1708 non-prefix, all subsequent bindings will be omitted, since they would
1709 be ignored. Similarly, the list doesn't include non-prefix bindings
1710 that come after prefix bindings.
1711
1712 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1713 bindings; see the description of `lookup-key' for more details about this. */)
1714 (key, accept_default)
1715 Lisp_Object key, accept_default;
1716 {
1717 Lisp_Object *modes, *maps;
1718 int nmaps;
1719 Lisp_Object binding;
1720 int i, j;
1721 struct gcpro gcpro1, gcpro2;
1722
1723 nmaps = current_minor_maps (&modes, &maps);
1724 /* Note that all these maps are GCPRO'd
1725 in the places where we found them. */
1726
1727 binding = Qnil;
1728 GCPRO2 (key, binding);
1729
1730 for (i = j = 0; i < nmaps; i++)
1731 if (!NILP (maps[i])
1732 && !NILP (binding = Flookup_key (maps[i], key, accept_default))
1733 && !INTEGERP (binding))
1734 {
1735 if (KEYMAPP (binding))
1736 maps[j++] = Fcons (modes[i], binding);
1737 else if (j == 0)
1738 RETURN_UNGCPRO (Fcons (Fcons (modes[i], binding), Qnil));
1739 }
1740
1741 UNGCPRO;
1742 return Flist (j, maps);
1743 }
1744
1745 DEFUN ("define-prefix-command", Fdefine_prefix_command, Sdefine_prefix_command, 1, 3, 0,
1746 doc: /* Define COMMAND as a prefix command. COMMAND should be a symbol.
1747 A new sparse keymap is stored as COMMAND's function definition and its value.
1748 If a second optional argument MAPVAR is given, the map is stored as
1749 its value instead of as COMMAND's value; but COMMAND is still defined
1750 as a function.
1751 The third optional argument NAME, if given, supplies a menu name
1752 string for the map. This is required to use the keymap as a menu.
1753 This function returns COMMAND. */)
1754 (command, mapvar, name)
1755 Lisp_Object command, mapvar, name;
1756 {
1757 Lisp_Object map;
1758 map = Fmake_sparse_keymap (name);
1759 Ffset (command, map);
1760 if (!NILP (mapvar))
1761 Fset (mapvar, map);
1762 else
1763 Fset (command, map);
1764 return command;
1765 }
1766
1767 DEFUN ("use-global-map", Fuse_global_map, Suse_global_map, 1, 1, 0,
1768 doc: /* Select KEYMAP as the global keymap. */)
1769 (keymap)
1770 Lisp_Object keymap;
1771 {
1772 keymap = get_keymap (keymap, 1, 1);
1773 current_global_map = keymap;
1774
1775 return Qnil;
1776 }
1777
1778 DEFUN ("use-local-map", Fuse_local_map, Suse_local_map, 1, 1, 0,
1779 doc: /* Select KEYMAP as the local keymap.
1780 If KEYMAP is nil, that means no local keymap. */)
1781 (keymap)
1782 Lisp_Object keymap;
1783 {
1784 if (!NILP (keymap))
1785 keymap = get_keymap (keymap, 1, 1);
1786
1787 current_buffer->keymap = keymap;
1788
1789 return Qnil;
1790 }
1791
1792 DEFUN ("current-local-map", Fcurrent_local_map, Scurrent_local_map, 0, 0, 0,
1793 doc: /* Return current buffer's local keymap, or nil if it has none. */)
1794 ()
1795 {
1796 return current_buffer->keymap;
1797 }
1798
1799 DEFUN ("current-global-map", Fcurrent_global_map, Scurrent_global_map, 0, 0, 0,
1800 doc: /* Return the current global keymap. */)
1801 ()
1802 {
1803 return current_global_map;
1804 }
1805
1806 DEFUN ("current-minor-mode-maps", Fcurrent_minor_mode_maps, Scurrent_minor_mode_maps, 0, 0, 0,
1807 doc: /* Return a list of keymaps for the minor modes of the current buffer. */)
1808 ()
1809 {
1810 Lisp_Object *maps;
1811 int nmaps = current_minor_maps (0, &maps);
1812
1813 return Flist (nmaps, maps);
1814 }
1815 \f
1816 /* Help functions for describing and documenting keymaps. */
1817
1818
1819 static void
1820 accessible_keymaps_1 (key, cmd, maps, tail, thisseq, is_metized)
1821 Lisp_Object maps, tail, thisseq, key, cmd;
1822 int is_metized; /* If 1, `key' is assumed to be INTEGERP. */
1823 {
1824 Lisp_Object tem;
1825
1826 cmd = get_keymap (get_keyelt (cmd, 0), 0, 0);
1827 if (NILP (cmd))
1828 return;
1829
1830 /* Look for and break cycles. */
1831 while (!NILP (tem = Frassq (cmd, maps)))
1832 {
1833 Lisp_Object prefix = XCAR (tem);
1834 int lim = XINT (Flength (XCAR (tem)));
1835 if (lim <= XINT (Flength (thisseq)))
1836 { /* This keymap was already seen with a smaller prefix. */
1837 int i = 0;
1838 while (i < lim && EQ (Faref (prefix, make_number (i)),
1839 Faref (thisseq, make_number (i))))
1840 i++;
1841 if (i >= lim)
1842 /* `prefix' is a prefix of `thisseq' => there's a cycle. */
1843 return;
1844 }
1845 /* This occurrence of `cmd' in `maps' does not correspond to a cycle,
1846 but maybe `cmd' occurs again further down in `maps', so keep
1847 looking. */
1848 maps = XCDR (Fmemq (tem, maps));
1849 }
1850
1851 /* If the last key in thisseq is meta-prefix-char,
1852 turn it into a meta-ized keystroke. We know
1853 that the event we're about to append is an
1854 ascii keystroke since we're processing a
1855 keymap table. */
1856 if (is_metized)
1857 {
1858 int meta_bit = meta_modifier;
1859 Lisp_Object last = make_number (XINT (Flength (thisseq)) - 1);
1860 tem = Fcopy_sequence (thisseq);
1861
1862 Faset (tem, last, make_number (XINT (key) | meta_bit));
1863
1864 /* This new sequence is the same length as
1865 thisseq, so stick it in the list right
1866 after this one. */
1867 XSETCDR (tail,
1868 Fcons (Fcons (tem, cmd), XCDR (tail)));
1869 }
1870 else
1871 {
1872 tem = append_key (thisseq, key);
1873 nconc2 (tail, Fcons (Fcons (tem, cmd), Qnil));
1874 }
1875 }
1876
1877 static void
1878 accessible_keymaps_char_table (args, index, cmd)
1879 Lisp_Object args, index, cmd;
1880 {
1881 accessible_keymaps_1 (index, cmd,
1882 XCAR (XCAR (args)),
1883 XCAR (XCDR (args)),
1884 XCDR (XCDR (args)),
1885 XINT (XCDR (XCAR (args))));
1886 }
1887
1888 /* This function cannot GC. */
1889
1890 DEFUN ("accessible-keymaps", Faccessible_keymaps, Saccessible_keymaps,
1891 1, 2, 0,
1892 doc: /* Find all keymaps accessible via prefix characters from KEYMAP.
1893 Returns a list of elements of the form (KEYS . MAP), where the sequence
1894 KEYS starting from KEYMAP gets you to MAP. These elements are ordered
1895 so that the KEYS increase in length. The first element is ([] . KEYMAP).
1896 An optional argument PREFIX, if non-nil, should be a key sequence;
1897 then the value includes only maps for prefixes that start with PREFIX. */)
1898 (keymap, prefix)
1899 Lisp_Object keymap, prefix;
1900 {
1901 Lisp_Object maps, tail;
1902 int prefixlen = 0;
1903
1904 /* no need for gcpro because we don't autoload any keymaps. */
1905
1906 if (!NILP (prefix))
1907 prefixlen = XINT (Flength (prefix));
1908
1909 if (!NILP (prefix))
1910 {
1911 /* If a prefix was specified, start with the keymap (if any) for
1912 that prefix, so we don't waste time considering other prefixes. */
1913 Lisp_Object tem;
1914 tem = Flookup_key (keymap, prefix, Qt);
1915 /* Flookup_key may give us nil, or a number,
1916 if the prefix is not defined in this particular map.
1917 It might even give us a list that isn't a keymap. */
1918 tem = get_keymap (tem, 0, 0);
1919 if (CONSP (tem))
1920 {
1921 /* Convert PREFIX to a vector now, so that later on
1922 we don't have to deal with the possibility of a string. */
1923 if (STRINGP (prefix))
1924 {
1925 int i, i_byte, c;
1926 Lisp_Object copy;
1927
1928 copy = Fmake_vector (make_number (SCHARS (prefix)), Qnil);
1929 for (i = 0, i_byte = 0; i < SCHARS (prefix);)
1930 {
1931 int i_before = i;
1932
1933 FETCH_STRING_CHAR_ADVANCE (c, prefix, i, i_byte);
1934 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
1935 c ^= 0200 | meta_modifier;
1936 ASET (copy, i_before, make_number (c));
1937 }
1938 prefix = copy;
1939 }
1940 maps = Fcons (Fcons (prefix, tem), Qnil);
1941 }
1942 else
1943 return Qnil;
1944 }
1945 else
1946 maps = Fcons (Fcons (Fmake_vector (make_number (0), Qnil),
1947 get_keymap (keymap, 1, 0)),
1948 Qnil);
1949
1950 /* For each map in the list maps,
1951 look at any other maps it points to,
1952 and stick them at the end if they are not already in the list.
1953
1954 This is a breadth-first traversal, where tail is the queue of
1955 nodes, and maps accumulates a list of all nodes visited. */
1956
1957 for (tail = maps; CONSP (tail); tail = XCDR (tail))
1958 {
1959 register Lisp_Object thisseq, thismap;
1960 Lisp_Object last;
1961 /* Does the current sequence end in the meta-prefix-char? */
1962 int is_metized;
1963
1964 thisseq = Fcar (Fcar (tail));
1965 thismap = Fcdr (Fcar (tail));
1966 last = make_number (XINT (Flength (thisseq)) - 1);
1967 is_metized = (XINT (last) >= 0
1968 /* Don't metize the last char of PREFIX. */
1969 && XINT (last) >= prefixlen
1970 && EQ (Faref (thisseq, last), meta_prefix_char));
1971
1972 for (; CONSP (thismap); thismap = XCDR (thismap))
1973 {
1974 Lisp_Object elt;
1975
1976 elt = XCAR (thismap);
1977
1978 QUIT;
1979
1980 if (CHAR_TABLE_P (elt))
1981 {
1982 map_char_table (accessible_keymaps_char_table, Qnil,
1983 elt, Fcons (Fcons (maps, make_number (is_metized)),
1984 Fcons (tail, thisseq)));
1985 }
1986 else if (VECTORP (elt))
1987 {
1988 register int i;
1989
1990 /* Vector keymap. Scan all the elements. */
1991 for (i = 0; i < ASIZE (elt); i++)
1992 accessible_keymaps_1 (make_number (i), AREF (elt, i),
1993 maps, tail, thisseq, is_metized);
1994
1995 }
1996 else if (CONSP (elt))
1997 accessible_keymaps_1 (XCAR (elt), XCDR (elt),
1998 maps, tail, thisseq,
1999 is_metized && INTEGERP (XCAR (elt)));
2000
2001 }
2002 }
2003
2004 return maps;
2005 }
2006 \f
2007 Lisp_Object Qsingle_key_description, Qkey_description;
2008
2009 /* This function cannot GC. */
2010
2011 DEFUN ("key-description", Fkey_description, Skey_description, 1, 2, 0,
2012 doc: /* Return a pretty description of key-sequence KEYS.
2013 Optional arg PREFIX is the sequence of keys leading up to KEYS.
2014 Control characters turn into "C-foo" sequences, meta into "M-foo",
2015 spaces are put between sequence elements, etc. */)
2016 (keys, prefix)
2017 Lisp_Object keys, prefix;
2018 {
2019 int len = 0;
2020 int i, i_byte;
2021 Lisp_Object *args;
2022 int size = XINT (Flength (keys));
2023 Lisp_Object list;
2024 Lisp_Object sep = build_string (" ");
2025 Lisp_Object key;
2026 int add_meta = 0;
2027
2028 if (!NILP (prefix))
2029 size += XINT (Flength (prefix));
2030
2031 /* This has one extra element at the end that we don't pass to Fconcat. */
2032 args = (Lisp_Object *) alloca (size * 4 * sizeof (Lisp_Object));
2033
2034 /* In effect, this computes
2035 (mapconcat 'single-key-description keys " ")
2036 but we shouldn't use mapconcat because it can do GC. */
2037
2038 next_list:
2039 if (!NILP (prefix))
2040 list = prefix, prefix = Qnil;
2041 else if (!NILP (keys))
2042 list = keys, keys = Qnil;
2043 else
2044 {
2045 if (add_meta)
2046 {
2047 args[len] = Fsingle_key_description (meta_prefix_char, Qnil);
2048 len += 2;
2049 }
2050 else if (len == 0)
2051 return empty_string;
2052 return Fconcat (len - 1, args);
2053 }
2054
2055 if (STRINGP (list))
2056 size = SCHARS (list);
2057 else if (VECTORP (list))
2058 size = XVECTOR (list)->size;
2059 else if (CONSP (list))
2060 size = XINT (Flength (list));
2061 else
2062 wrong_type_argument (Qarrayp, list);
2063
2064 i = i_byte = 0;
2065
2066 while (i < size)
2067 {
2068 if (STRINGP (list))
2069 {
2070 int c;
2071 FETCH_STRING_CHAR_ADVANCE (c, list, i, i_byte);
2072 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2073 c ^= 0200 | meta_modifier;
2074 XSETFASTINT (key, c);
2075 }
2076 else if (VECTORP (list))
2077 {
2078 key = AREF (list, i++);
2079 }
2080 else
2081 {
2082 key = XCAR (list);
2083 list = XCDR (list);
2084 i++;
2085 }
2086
2087 if (add_meta)
2088 {
2089 if (!INTEGERP (key)
2090 || EQ (key, meta_prefix_char)
2091 || (XINT (key) & meta_modifier))
2092 {
2093 args[len++] = Fsingle_key_description (meta_prefix_char, Qnil);
2094 args[len++] = sep;
2095 if (EQ (key, meta_prefix_char))
2096 continue;
2097 }
2098 else
2099 XSETINT (key, (XINT (key) | meta_modifier) & ~0x80);
2100 add_meta = 0;
2101 }
2102 else if (EQ (key, meta_prefix_char))
2103 {
2104 add_meta = 1;
2105 continue;
2106 }
2107 args[len++] = Fsingle_key_description (key, Qnil);
2108 args[len++] = sep;
2109 }
2110 goto next_list;
2111 }
2112
2113
2114 char *
2115 push_key_description (c, p, force_multibyte)
2116 register unsigned int c;
2117 register char *p;
2118 int force_multibyte;
2119 {
2120 unsigned c2;
2121
2122 /* Clear all the meaningless bits above the meta bit. */
2123 c &= meta_modifier | ~ - meta_modifier;
2124 c2 = c & ~(alt_modifier | ctrl_modifier | hyper_modifier
2125 | meta_modifier | shift_modifier | super_modifier);
2126
2127 if (! CHARACTERP (make_number (c2)))
2128 {
2129 /* KEY_DESCRIPTION_SIZE is large enough for this. */
2130 p += sprintf (p, "[%d]", c);
2131 return p;
2132 }
2133
2134 if (c & alt_modifier)
2135 {
2136 *p++ = 'A';
2137 *p++ = '-';
2138 c -= alt_modifier;
2139 }
2140 if ((c & ctrl_modifier) != 0
2141 || (c2 < ' ' && c2 != 27 && c2 != '\t' && c2 != Ctl ('M')))
2142 {
2143 *p++ = 'C';
2144 *p++ = '-';
2145 c &= ~ctrl_modifier;
2146 }
2147 if (c & hyper_modifier)
2148 {
2149 *p++ = 'H';
2150 *p++ = '-';
2151 c -= hyper_modifier;
2152 }
2153 if (c & meta_modifier)
2154 {
2155 *p++ = 'M';
2156 *p++ = '-';
2157 c -= meta_modifier;
2158 }
2159 if (c & shift_modifier)
2160 {
2161 *p++ = 'S';
2162 *p++ = '-';
2163 c -= shift_modifier;
2164 }
2165 if (c & super_modifier)
2166 {
2167 *p++ = 's';
2168 *p++ = '-';
2169 c -= super_modifier;
2170 }
2171 if (c < 040)
2172 {
2173 if (c == 033)
2174 {
2175 *p++ = 'E';
2176 *p++ = 'S';
2177 *p++ = 'C';
2178 }
2179 else if (c == '\t')
2180 {
2181 *p++ = 'T';
2182 *p++ = 'A';
2183 *p++ = 'B';
2184 }
2185 else if (c == Ctl ('M'))
2186 {
2187 *p++ = 'R';
2188 *p++ = 'E';
2189 *p++ = 'T';
2190 }
2191 else
2192 {
2193 /* `C-' already added above. */
2194 if (c > 0 && c <= Ctl ('Z'))
2195 *p++ = c + 0140;
2196 else
2197 *p++ = c + 0100;
2198 }
2199 }
2200 else if (c == 0177)
2201 {
2202 *p++ = 'D';
2203 *p++ = 'E';
2204 *p++ = 'L';
2205 }
2206 else if (c == ' ')
2207 {
2208 *p++ = 'S';
2209 *p++ = 'P';
2210 *p++ = 'C';
2211 }
2212 else if (c < 128
2213 || (NILP (current_buffer->enable_multibyte_characters)
2214 && SINGLE_BYTE_CHAR_P (c)
2215 && !force_multibyte))
2216 {
2217 *p++ = c;
2218 }
2219 else
2220 {
2221 /* Now we are sure that C is a valid character code. */
2222 if (NILP (current_buffer->enable_multibyte_characters)
2223 && ! force_multibyte)
2224 *p++ = multibyte_char_to_unibyte (c, Qnil);
2225 else
2226 p += CHAR_STRING (c, (unsigned char *) p);
2227 }
2228
2229 return p;
2230 }
2231
2232 /* This function cannot GC. */
2233
2234 DEFUN ("single-key-description", Fsingle_key_description,
2235 Ssingle_key_description, 1, 2, 0,
2236 doc: /* Return a pretty description of command character KEY.
2237 Control characters turn into C-whatever, etc.
2238 Optional argument NO-ANGLES non-nil means don't put angle brackets
2239 around function keys and event symbols. */)
2240 (key, no_angles)
2241 Lisp_Object key, no_angles;
2242 {
2243 if (CONSP (key) && lucid_event_type_list_p (key))
2244 key = Fevent_convert_list (key);
2245
2246 key = EVENT_HEAD (key);
2247
2248 if (INTEGERP (key)) /* Normal character */
2249 {
2250 char tem[KEY_DESCRIPTION_SIZE];
2251
2252 *push_key_description (XUINT (key), tem, 1) = 0;
2253 return build_string (tem);
2254 }
2255 else if (SYMBOLP (key)) /* Function key or event-symbol */
2256 {
2257 if (NILP (no_angles))
2258 {
2259 char *buffer
2260 = (char *) alloca (SBYTES (SYMBOL_NAME (key)) + 5);
2261 sprintf (buffer, "<%s>", SDATA (SYMBOL_NAME (key)));
2262 return build_string (buffer);
2263 }
2264 else
2265 return Fsymbol_name (key);
2266 }
2267 else if (STRINGP (key)) /* Buffer names in the menubar. */
2268 return Fcopy_sequence (key);
2269 else
2270 error ("KEY must be an integer, cons, symbol, or string");
2271 return Qnil;
2272 }
2273
2274 char *
2275 push_text_char_description (c, p)
2276 register unsigned int c;
2277 register char *p;
2278 {
2279 if (c >= 0200)
2280 {
2281 *p++ = 'M';
2282 *p++ = '-';
2283 c -= 0200;
2284 }
2285 if (c < 040)
2286 {
2287 *p++ = '^';
2288 *p++ = c + 64; /* 'A' - 1 */
2289 }
2290 else if (c == 0177)
2291 {
2292 *p++ = '^';
2293 *p++ = '?';
2294 }
2295 else
2296 *p++ = c;
2297 return p;
2298 }
2299
2300 /* This function cannot GC. */
2301
2302 DEFUN ("text-char-description", Ftext_char_description, Stext_char_description, 1, 1, 0,
2303 doc: /* Return a pretty description of file-character CHARACTER.
2304 Control characters turn into "^char", etc. This differs from
2305 `single-key-description' which turns them into "C-char".
2306 Also, this function recognizes the 2**7 bit as the Meta character,
2307 whereas `single-key-description' uses the 2**27 bit for Meta.
2308 See Info node `(elisp)Describing Characters' for examples. */)
2309 (character)
2310 Lisp_Object character;
2311 {
2312 /* Currently MAX_MULTIBYTE_LENGTH is 4 (< 6). */
2313 unsigned char str[6];
2314 int c;
2315
2316 CHECK_NUMBER (character);
2317
2318 c = XINT (character);
2319 if (!ASCII_CHAR_P (c))
2320 {
2321 int len = CHAR_STRING (c, str);
2322
2323 return make_multibyte_string (str, 1, len);
2324 }
2325
2326 *push_text_char_description (c & 0377, str) = 0;
2327
2328 return build_string (str);
2329 }
2330
2331 /* Return non-zero if SEQ contains only ASCII characters, perhaps with
2332 a meta bit. */
2333 static int
2334 ascii_sequence_p (seq)
2335 Lisp_Object seq;
2336 {
2337 int i;
2338 int len = XINT (Flength (seq));
2339
2340 for (i = 0; i < len; i++)
2341 {
2342 Lisp_Object ii, elt;
2343
2344 XSETFASTINT (ii, i);
2345 elt = Faref (seq, ii);
2346
2347 if (!INTEGERP (elt)
2348 || (XUINT (elt) & ~CHAR_META) >= 0x80)
2349 return 0;
2350 }
2351
2352 return 1;
2353 }
2354
2355 \f
2356 /* where-is - finding a command in a set of keymaps. */
2357
2358 static Lisp_Object where_is_internal ();
2359 static Lisp_Object where_is_internal_1 ();
2360 static void where_is_internal_2 ();
2361
2362 /* Like Flookup_key, but uses a list of keymaps SHADOW instead of a single map.
2363 Returns the first non-nil binding found in any of those maps. */
2364
2365 static Lisp_Object
2366 shadow_lookup (shadow, key, flag)
2367 Lisp_Object shadow, key, flag;
2368 {
2369 Lisp_Object tail, value;
2370
2371 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2372 {
2373 value = Flookup_key (XCAR (tail), key, flag);
2374 if (NATNUMP (value))
2375 {
2376 value = Flookup_key (XCAR (tail),
2377 Fsubstring (key, make_number (0), value), flag);
2378 if (!NILP (value))
2379 return Qnil;
2380 }
2381 else if (!NILP (value))
2382 return value;
2383 }
2384 return Qnil;
2385 }
2386
2387 static Lisp_Object Vmouse_events;
2388
2389 /* This function can GC if Flookup_key autoloads any keymaps. */
2390
2391 static Lisp_Object
2392 where_is_internal (definition, keymaps, firstonly, noindirect, no_remap)
2393 Lisp_Object definition, keymaps;
2394 Lisp_Object firstonly, noindirect, no_remap;
2395 {
2396 Lisp_Object maps = Qnil;
2397 Lisp_Object found, sequences;
2398 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5;
2399 /* 1 means ignore all menu bindings entirely. */
2400 int nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2401
2402 /* If this command is remapped, then it has no key bindings
2403 of its own. */
2404 if (NILP (no_remap) && SYMBOLP (definition))
2405 {
2406 Lisp_Object tem;
2407 if (tem = Fcommand_remapping (definition), !NILP (tem))
2408 return Qnil;
2409 }
2410
2411 found = keymaps;
2412 while (CONSP (found))
2413 {
2414 maps =
2415 nconc2 (maps,
2416 Faccessible_keymaps (get_keymap (XCAR (found), 1, 0), Qnil));
2417 found = XCDR (found);
2418 }
2419
2420 GCPRO5 (definition, keymaps, maps, found, sequences);
2421 found = Qnil;
2422 sequences = Qnil;
2423
2424 for (; !NILP (maps); maps = Fcdr (maps))
2425 {
2426 /* Key sequence to reach map, and the map that it reaches */
2427 register Lisp_Object this, map, tem;
2428
2429 /* In order to fold [META-PREFIX-CHAR CHAR] sequences into
2430 [M-CHAR] sequences, check if last character of the sequence
2431 is the meta-prefix char. */
2432 Lisp_Object last;
2433 int last_is_meta;
2434
2435 this = Fcar (Fcar (maps));
2436 map = Fcdr (Fcar (maps));
2437 last = make_number (XINT (Flength (this)) - 1);
2438 last_is_meta = (XINT (last) >= 0
2439 && EQ (Faref (this, last), meta_prefix_char));
2440
2441 /* if (nomenus && !ascii_sequence_p (this)) */
2442 if (nomenus && XINT (last) >= 0
2443 && SYMBOLP (tem = Faref (this, make_number (0)))
2444 && !NILP (Fmemq (XCAR (parse_modifiers (tem)), Vmouse_events)))
2445 /* If no menu entries should be returned, skip over the
2446 keymaps bound to `menu-bar' and `tool-bar' and other
2447 non-ascii prefixes like `C-down-mouse-2'. */
2448 continue;
2449
2450 QUIT;
2451
2452 while (CONSP (map))
2453 {
2454 /* Because the code we want to run on each binding is rather
2455 large, we don't want to have two separate loop bodies for
2456 sparse keymap bindings and tables; we want to iterate one
2457 loop body over both keymap and vector bindings.
2458
2459 For this reason, if Fcar (map) is a vector, we don't
2460 advance map to the next element until i indicates that we
2461 have finished off the vector. */
2462 Lisp_Object elt, key, binding;
2463 elt = XCAR (map);
2464 map = XCDR (map);
2465
2466 sequences = Qnil;
2467
2468 QUIT;
2469
2470 /* Set key and binding to the current key and binding, and
2471 advance map and i to the next binding. */
2472 if (VECTORP (elt))
2473 {
2474 Lisp_Object sequence;
2475 int i;
2476 /* In a vector, look at each element. */
2477 for (i = 0; i < XVECTOR (elt)->size; i++)
2478 {
2479 binding = AREF (elt, i);
2480 XSETFASTINT (key, i);
2481 sequence = where_is_internal_1 (binding, key, definition,
2482 noindirect, this,
2483 last, nomenus, last_is_meta);
2484 if (!NILP (sequence))
2485 sequences = Fcons (sequence, sequences);
2486 }
2487 }
2488 else if (CHAR_TABLE_P (elt))
2489 {
2490 Lisp_Object args;
2491
2492 args = Fcons (Fcons (Fcons (definition, noindirect),
2493 Qnil), /* Result accumulator. */
2494 Fcons (Fcons (this, last),
2495 Fcons (make_number (nomenus),
2496 make_number (last_is_meta))));
2497 map_char_table (where_is_internal_2, Qnil, elt, args);
2498 sequences = XCDR (XCAR (args));
2499 }
2500 else if (CONSP (elt))
2501 {
2502 Lisp_Object sequence;
2503
2504 key = XCAR (elt);
2505 binding = XCDR (elt);
2506
2507 sequence = where_is_internal_1 (binding, key, definition,
2508 noindirect, this,
2509 last, nomenus, last_is_meta);
2510 if (!NILP (sequence))
2511 sequences = Fcons (sequence, sequences);
2512 }
2513
2514
2515 while (!NILP (sequences))
2516 {
2517 Lisp_Object sequence, remapped, function;
2518
2519 sequence = XCAR (sequences);
2520 sequences = XCDR (sequences);
2521
2522 /* If the current sequence is a command remapping with
2523 format [remap COMMAND], find the key sequences
2524 which run COMMAND, and use those sequences instead. */
2525 remapped = Qnil;
2526 if (NILP (no_remap)
2527 && VECTORP (sequence) && XVECTOR (sequence)->size == 2
2528 && EQ (AREF (sequence, 0), Qremap)
2529 && (function = AREF (sequence, 1), SYMBOLP (function)))
2530 {
2531 Lisp_Object remapped1;
2532
2533 remapped1 = where_is_internal (function, keymaps, firstonly, noindirect, Qt);
2534 if (CONSP (remapped1))
2535 {
2536 /* Verify that this key binding actually maps to the
2537 remapped command (see below). */
2538 if (!EQ (shadow_lookup (keymaps, XCAR (remapped1), Qnil), function))
2539 continue;
2540 sequence = XCAR (remapped1);
2541 remapped = XCDR (remapped1);
2542 goto record_sequence;
2543 }
2544 }
2545
2546 /* Verify that this key binding is not shadowed by another
2547 binding for the same key, before we say it exists.
2548
2549 Mechanism: look for local definition of this key and if
2550 it is defined and does not match what we found then
2551 ignore this key.
2552
2553 Either nil or number as value from Flookup_key
2554 means undefined. */
2555 if (!EQ (shadow_lookup (keymaps, sequence, Qnil), definition))
2556 continue;
2557
2558 record_sequence:
2559 /* Don't annoy user with strings from a menu such as
2560 Select Paste. Change them all to "(any string)",
2561 so that there seems to be only one menu item
2562 to report. */
2563 if (! NILP (sequence))
2564 {
2565 Lisp_Object tem;
2566 tem = Faref (sequence, make_number (XVECTOR (sequence)->size - 1));
2567 if (STRINGP (tem))
2568 Faset (sequence, make_number (XVECTOR (sequence)->size - 1),
2569 build_string ("(any string)"));
2570 }
2571
2572 /* It is a true unshadowed match. Record it, unless it's already
2573 been seen (as could happen when inheriting keymaps). */
2574 if (NILP (Fmember (sequence, found)))
2575 found = Fcons (sequence, found);
2576
2577 /* If firstonly is Qnon_ascii, then we can return the first
2578 binding we find. If firstonly is not Qnon_ascii but not
2579 nil, then we should return the first ascii-only binding
2580 we find. */
2581 if (EQ (firstonly, Qnon_ascii))
2582 RETURN_UNGCPRO (sequence);
2583 else if (!NILP (firstonly) && ascii_sequence_p (sequence))
2584 RETURN_UNGCPRO (sequence);
2585
2586 if (CONSP (remapped))
2587 {
2588 sequence = XCAR (remapped);
2589 remapped = XCDR (remapped);
2590 goto record_sequence;
2591 }
2592 }
2593 }
2594 }
2595
2596 UNGCPRO;
2597
2598 found = Fnreverse (found);
2599
2600 /* firstonly may have been t, but we may have gone all the way through
2601 the keymaps without finding an all-ASCII key sequence. So just
2602 return the best we could find. */
2603 if (!NILP (firstonly))
2604 return Fcar (found);
2605
2606 return found;
2607 }
2608
2609 DEFUN ("where-is-internal", Fwhere_is_internal, Swhere_is_internal, 1, 5, 0,
2610 doc: /* Return list of keys that invoke DEFINITION.
2611 If KEYMAP is a keymap, search only KEYMAP and the global keymap.
2612 If KEYMAP is nil, search all the currently active keymaps.
2613 If KEYMAP is a list of keymaps, search only those keymaps.
2614
2615 If optional 3rd arg FIRSTONLY is non-nil, return the first key sequence found,
2616 rather than a list of all possible key sequences.
2617 If FIRSTONLY is the symbol `non-ascii', return the first binding found,
2618 no matter what it is.
2619 If FIRSTONLY has another non-nil value, prefer sequences of ASCII characters
2620 \(or their meta variants) and entirely reject menu bindings.
2621
2622 If optional 4th arg NOINDIRECT is non-nil, don't follow indirections
2623 to other keymaps or slots. This makes it possible to search for an
2624 indirect definition itself.
2625
2626 If optional 5th arg NO-REMAP is non-nil, don't search for key sequences
2627 that invoke a command which is remapped to DEFINITION, but include the
2628 remapped command in the returned list. */)
2629 (definition, keymap, firstonly, noindirect, no_remap)
2630 Lisp_Object definition, keymap;
2631 Lisp_Object firstonly, noindirect, no_remap;
2632 {
2633 Lisp_Object sequences, keymaps;
2634 /* 1 means ignore all menu bindings entirely. */
2635 int nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2636 Lisp_Object result;
2637
2638 /* Find the relevant keymaps. */
2639 if (CONSP (keymap) && KEYMAPP (XCAR (keymap)))
2640 keymaps = keymap;
2641 else if (!NILP (keymap))
2642 keymaps = Fcons (keymap, Fcons (current_global_map, Qnil));
2643 else
2644 keymaps = Fcurrent_active_maps (Qnil);
2645
2646 /* Only use caching for the menubar (i.e. called with (def nil t nil).
2647 We don't really need to check `keymap'. */
2648 if (nomenus && NILP (noindirect) && NILP (keymap))
2649 {
2650 Lisp_Object *defns;
2651 int i, j, n;
2652 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5;
2653
2654 /* Check heuristic-consistency of the cache. */
2655 if (NILP (Fequal (keymaps, where_is_cache_keymaps)))
2656 where_is_cache = Qnil;
2657
2658 if (NILP (where_is_cache))
2659 {
2660 /* We need to create the cache. */
2661 Lisp_Object args[2];
2662 where_is_cache = Fmake_hash_table (0, args);
2663 where_is_cache_keymaps = Qt;
2664
2665 /* Fill in the cache. */
2666 GCPRO5 (definition, keymaps, firstonly, noindirect, no_remap);
2667 where_is_internal (definition, keymaps, firstonly, noindirect, no_remap);
2668 UNGCPRO;
2669
2670 where_is_cache_keymaps = keymaps;
2671 }
2672
2673 /* We want to process definitions from the last to the first.
2674 Instead of consing, copy definitions to a vector and step
2675 over that vector. */
2676 sequences = Fgethash (definition, where_is_cache, Qnil);
2677 n = XINT (Flength (sequences));
2678 defns = (Lisp_Object *) alloca (n * sizeof *defns);
2679 for (i = 0; CONSP (sequences); sequences = XCDR (sequences))
2680 defns[i++] = XCAR (sequences);
2681
2682 /* Verify that the key bindings are not shadowed. Note that
2683 the following can GC. */
2684 GCPRO2 (definition, keymaps);
2685 result = Qnil;
2686 j = -1;
2687 for (i = n - 1; i >= 0; --i)
2688 if (EQ (shadow_lookup (keymaps, defns[i], Qnil), definition))
2689 {
2690 if (ascii_sequence_p (defns[i]))
2691 break;
2692 else if (j < 0)
2693 j = i;
2694 }
2695
2696 result = i >= 0 ? defns[i] : (j >= 0 ? defns[j] : Qnil);
2697 UNGCPRO;
2698 }
2699 else
2700 {
2701 /* Kill the cache so that where_is_internal_1 doesn't think
2702 we're filling it up. */
2703 where_is_cache = Qnil;
2704 result = where_is_internal (definition, keymaps, firstonly, noindirect, no_remap);
2705 }
2706
2707 return result;
2708 }
2709
2710 /* This is the function that Fwhere_is_internal calls using map_char_table.
2711 ARGS has the form
2712 (((DEFINITION . NOINDIRECT) . RESULT)
2713 .
2714 ((THIS . LAST) . (NOMENUS . LAST_IS_META)))
2715 Since map_char_table doesn't really use the return value from this function,
2716 we the result append to RESULT, the slot in ARGS.
2717
2718 KEY may be a cons (FROM . TO) where both FROM and TO are integers
2719 (i.e. character events).
2720
2721 This function can GC because it calls where_is_internal_1 which can
2722 GC. */
2723
2724 static void
2725 where_is_internal_2 (args, key, binding)
2726 Lisp_Object args, key, binding;
2727 {
2728 Lisp_Object definition, noindirect, this, last;
2729 Lisp_Object result, sequence;
2730 int nomenus, last_is_meta;
2731 struct gcpro gcpro1, gcpro2, gcpro3;
2732
2733 GCPRO3 (args, key, binding);
2734 definition = XCAR (XCAR (XCAR (args)));
2735 noindirect = XCDR (XCAR (XCAR (args)));
2736 this = XCAR (XCAR (XCDR (args)));
2737 last = XCDR (XCAR (XCDR (args)));
2738 nomenus = XFASTINT (XCAR (XCDR (XCDR (args))));
2739 last_is_meta = XFASTINT (XCDR (XCDR (XCDR (args))));
2740
2741 result = Qnil;
2742 if (CONSP (key) && INTEGERP (XCAR (key)) && INTEGERP (XCDR (key)))
2743 {
2744 /* Try all ASCII characters. Try also non-ASCII characters but
2745 only the first and last one because trying all of them is
2746 extremely memory and time consuming.
2747
2748 Fixme: Perhaps it should be allowed to store a cons directly
2749 in RESULT. -- handa@m17n.org */
2750 int from = XINT (XCAR (key)), to = XINT (XCDR (key));
2751 Lisp_Object k;
2752
2753 for (; from <= to; to--)
2754 {
2755 k = make_number (to);
2756 sequence = where_is_internal_1 (binding, k, definition, noindirect,
2757 this, last, nomenus, last_is_meta);
2758 if (!NILP (sequence))
2759 result = Fcons (sequence, result);
2760 if (to > 129)
2761 to = 129;
2762 }
2763 }
2764 else
2765 {
2766 sequence = where_is_internal_1 (binding, key, definition, noindirect,
2767 this, last, nomenus, last_is_meta);
2768 if (!NILP (sequence))
2769 result = Fcons (sequence, Qnil);
2770 }
2771
2772 if (! NILP (result))
2773 nconc2 (XCAR (args), result);
2774
2775 UNGCPRO;
2776 }
2777
2778
2779 /* This function can GC because get_keyelt can. */
2780
2781 static Lisp_Object
2782 where_is_internal_1 (binding, key, definition, noindirect, this, last,
2783 nomenus, last_is_meta)
2784 Lisp_Object binding, key, definition, noindirect, this, last;
2785 int nomenus, last_is_meta;
2786 {
2787 Lisp_Object sequence;
2788
2789 /* Search through indirections unless that's not wanted. */
2790 if (NILP (noindirect))
2791 binding = get_keyelt (binding, 0);
2792
2793 /* End this iteration if this element does not match
2794 the target. */
2795
2796 if (!(!NILP (where_is_cache) /* everything "matches" during cache-fill. */
2797 || EQ (binding, definition)
2798 || (CONSP (definition) && !NILP (Fequal (binding, definition)))))
2799 /* Doesn't match. */
2800 return Qnil;
2801
2802 /* We have found a match. Construct the key sequence where we found it. */
2803 if (INTEGERP (key) && last_is_meta)
2804 {
2805 sequence = Fcopy_sequence (this);
2806 Faset (sequence, last, make_number (XINT (key) | meta_modifier));
2807 }
2808 else
2809 sequence = append_key (this, key);
2810
2811 if (!NILP (where_is_cache))
2812 {
2813 Lisp_Object sequences = Fgethash (binding, where_is_cache, Qnil);
2814 Fputhash (binding, Fcons (sequence, sequences), where_is_cache);
2815 return Qnil;
2816 }
2817 else
2818 return sequence;
2819 }
2820 \f
2821 /* describe-bindings - summarizing all the bindings in a set of keymaps. */
2822
2823 DEFUN ("describe-buffer-bindings", Fdescribe_buffer_bindings, Sdescribe_buffer_bindings, 1, 3, 0,
2824 doc: /* Insert the list of all defined keys and their definitions.
2825 The list is inserted in the current buffer, while the bindings are
2826 looked up in BUFFER.
2827 The optional argument PREFIX, if non-nil, should be a key sequence;
2828 then we display only bindings that start with that prefix.
2829 The optional argument MENUS, if non-nil, says to mention menu bindings.
2830 \(Ordinarily these are omitted from the output.) */)
2831 (buffer, prefix, menus)
2832 Lisp_Object buffer, prefix, menus;
2833 {
2834 Lisp_Object outbuf, shadow;
2835 int nomenu = NILP (menus);
2836 register Lisp_Object start1;
2837 struct gcpro gcpro1;
2838
2839 char *alternate_heading
2840 = "\
2841 Keyboard translations:\n\n\
2842 You type Translation\n\
2843 -------- -----------\n";
2844
2845 shadow = Qnil;
2846 GCPRO1 (shadow);
2847
2848 outbuf = Fcurrent_buffer ();
2849
2850 /* Report on alternates for keys. */
2851 if (STRINGP (Vkeyboard_translate_table) && !NILP (prefix))
2852 {
2853 int c;
2854 const unsigned char *translate = SDATA (Vkeyboard_translate_table);
2855 int translate_len = SCHARS (Vkeyboard_translate_table);
2856
2857 for (c = 0; c < translate_len; c++)
2858 if (translate[c] != c)
2859 {
2860 char buf[KEY_DESCRIPTION_SIZE];
2861 char *bufend;
2862
2863 if (alternate_heading)
2864 {
2865 insert_string (alternate_heading);
2866 alternate_heading = 0;
2867 }
2868
2869 bufend = push_key_description (translate[c], buf, 1);
2870 insert (buf, bufend - buf);
2871 Findent_to (make_number (16), make_number (1));
2872 bufend = push_key_description (c, buf, 1);
2873 insert (buf, bufend - buf);
2874
2875 insert ("\n", 1);
2876
2877 /* Insert calls signal_after_change which may GC. */
2878 translate = SDATA (Vkeyboard_translate_table);
2879 }
2880
2881 insert ("\n", 1);
2882 }
2883
2884 if (!NILP (Vkey_translation_map))
2885 describe_map_tree (Vkey_translation_map, 0, Qnil, prefix,
2886 "Key translations", nomenu, 1, 0, 0);
2887
2888
2889 /* Print the (major mode) local map. */
2890 start1 = Qnil;
2891 if (!NILP (current_kboard->Voverriding_terminal_local_map))
2892 start1 = current_kboard->Voverriding_terminal_local_map;
2893 else if (!NILP (Voverriding_local_map))
2894 start1 = Voverriding_local_map;
2895
2896 if (!NILP (start1))
2897 {
2898 describe_map_tree (start1, 1, shadow, prefix,
2899 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2900 shadow = Fcons (start1, shadow);
2901 }
2902 else
2903 {
2904 /* Print the minor mode and major mode keymaps. */
2905 int i, nmaps;
2906 Lisp_Object *modes, *maps;
2907
2908 /* Temporarily switch to `buffer', so that we can get that buffer's
2909 minor modes correctly. */
2910 Fset_buffer (buffer);
2911
2912 nmaps = current_minor_maps (&modes, &maps);
2913 Fset_buffer (outbuf);
2914
2915 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2916 XBUFFER (buffer), Qkeymap);
2917 if (!NILP (start1))
2918 {
2919 describe_map_tree (start1, 1, shadow, prefix,
2920 "\f\n`keymap' Property Bindings", nomenu,
2921 0, 0, 0);
2922 shadow = Fcons (start1, shadow);
2923 }
2924
2925 /* Print the minor mode maps. */
2926 for (i = 0; i < nmaps; i++)
2927 {
2928 /* The title for a minor mode keymap
2929 is constructed at run time.
2930 We let describe_map_tree do the actual insertion
2931 because it takes care of other features when doing so. */
2932 char *title, *p;
2933
2934 if (!SYMBOLP (modes[i]))
2935 abort();
2936
2937 p = title = (char *) alloca (42 + SCHARS (SYMBOL_NAME (modes[i])));
2938 *p++ = '\f';
2939 *p++ = '\n';
2940 *p++ = '`';
2941 bcopy (SDATA (SYMBOL_NAME (modes[i])), p,
2942 SCHARS (SYMBOL_NAME (modes[i])));
2943 p += SCHARS (SYMBOL_NAME (modes[i]));
2944 *p++ = '\'';
2945 bcopy (" Minor Mode Bindings", p, sizeof (" Minor Mode Bindings") - 1);
2946 p += sizeof (" Minor Mode Bindings") - 1;
2947 *p = 0;
2948
2949 describe_map_tree (maps[i], 1, shadow, prefix,
2950 title, nomenu, 0, 0, 0);
2951 shadow = Fcons (maps[i], shadow);
2952 }
2953
2954 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2955 XBUFFER (buffer), Qlocal_map);
2956 if (!NILP (start1))
2957 {
2958 if (EQ (start1, XBUFFER (buffer)->keymap))
2959 describe_map_tree (start1, 1, shadow, prefix,
2960 "\f\nMajor Mode Bindings", nomenu, 0, 0, 0);
2961 else
2962 describe_map_tree (start1, 1, shadow, prefix,
2963 "\f\n`local-map' Property Bindings",
2964 nomenu, 0, 0, 0);
2965
2966 shadow = Fcons (start1, shadow);
2967 }
2968 }
2969
2970 describe_map_tree (current_global_map, 1, shadow, prefix,
2971 "\f\nGlobal Bindings", nomenu, 0, 1, 0);
2972
2973 /* Print the function-key-map translations under this prefix. */
2974 if (!NILP (Vfunction_key_map))
2975 describe_map_tree (Vfunction_key_map, 0, Qnil, prefix,
2976 "\f\nFunction key map translations", nomenu, 1, 0, 0);
2977
2978 UNGCPRO;
2979 return Qnil;
2980 }
2981
2982 /* Insert a description of the key bindings in STARTMAP,
2983 followed by those of all maps reachable through STARTMAP.
2984 If PARTIAL is nonzero, omit certain "uninteresting" commands
2985 (such as `undefined').
2986 If SHADOW is non-nil, it is a list of maps;
2987 don't mention keys which would be shadowed by any of them.
2988 PREFIX, if non-nil, says mention only keys that start with PREFIX.
2989 TITLE, if not 0, is a string to insert at the beginning.
2990 TITLE should not end with a colon or a newline; we supply that.
2991 If NOMENU is not 0, then omit menu-bar commands.
2992
2993 If TRANSL is nonzero, the definitions are actually key translations
2994 so print strings and vectors differently.
2995
2996 If ALWAYS_TITLE is nonzero, print the title even if there are no maps
2997 to look through.
2998
2999 If MENTION_SHADOW is nonzero, then when something is shadowed by SHADOW,
3000 don't omit it; instead, mention it but say it is shadowed. */
3001
3002 void
3003 describe_map_tree (startmap, partial, shadow, prefix, title, nomenu, transl,
3004 always_title, mention_shadow)
3005 Lisp_Object startmap, shadow, prefix;
3006 int partial;
3007 char *title;
3008 int nomenu;
3009 int transl;
3010 int always_title;
3011 int mention_shadow;
3012 {
3013 Lisp_Object maps, orig_maps, seen, sub_shadows;
3014 struct gcpro gcpro1, gcpro2, gcpro3;
3015 int something = 0;
3016 char *key_heading
3017 = "\
3018 key binding\n\
3019 --- -------\n";
3020
3021 orig_maps = maps = Faccessible_keymaps (startmap, prefix);
3022 seen = Qnil;
3023 sub_shadows = Qnil;
3024 GCPRO3 (maps, seen, sub_shadows);
3025
3026 if (nomenu)
3027 {
3028 Lisp_Object list;
3029
3030 /* Delete from MAPS each element that is for the menu bar. */
3031 for (list = maps; !NILP (list); list = XCDR (list))
3032 {
3033 Lisp_Object elt, prefix, tem;
3034
3035 elt = Fcar (list);
3036 prefix = Fcar (elt);
3037 if (XVECTOR (prefix)->size >= 1)
3038 {
3039 tem = Faref (prefix, make_number (0));
3040 if (EQ (tem, Qmenu_bar))
3041 maps = Fdelq (elt, maps);
3042 }
3043 }
3044 }
3045
3046 if (!NILP (maps) || always_title)
3047 {
3048 if (title)
3049 {
3050 insert_string (title);
3051 if (!NILP (prefix))
3052 {
3053 insert_string (" Starting With ");
3054 insert1 (Fkey_description (prefix, Qnil));
3055 }
3056 insert_string (":\n");
3057 }
3058 insert_string (key_heading);
3059 something = 1;
3060 }
3061
3062 for (; !NILP (maps); maps = Fcdr (maps))
3063 {
3064 register Lisp_Object elt, prefix, tail;
3065
3066 elt = Fcar (maps);
3067 prefix = Fcar (elt);
3068
3069 sub_shadows = Qnil;
3070
3071 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
3072 {
3073 Lisp_Object shmap;
3074
3075 shmap = XCAR (tail);
3076
3077 /* If the sequence by which we reach this keymap is zero-length,
3078 then the shadow map for this keymap is just SHADOW. */
3079 if ((STRINGP (prefix) && SCHARS (prefix) == 0)
3080 || (VECTORP (prefix) && XVECTOR (prefix)->size == 0))
3081 ;
3082 /* If the sequence by which we reach this keymap actually has
3083 some elements, then the sequence's definition in SHADOW is
3084 what we should use. */
3085 else
3086 {
3087 shmap = Flookup_key (shmap, Fcar (elt), Qt);
3088 if (INTEGERP (shmap))
3089 shmap = Qnil;
3090 }
3091
3092 /* If shmap is not nil and not a keymap,
3093 it completely shadows this map, so don't
3094 describe this map at all. */
3095 if (!NILP (shmap) && !KEYMAPP (shmap))
3096 goto skip;
3097
3098 if (!NILP (shmap))
3099 sub_shadows = Fcons (shmap, sub_shadows);
3100 }
3101
3102 /* Maps we have already listed in this loop shadow this map. */
3103 for (tail = orig_maps; !EQ (tail, maps); tail = XCDR (tail))
3104 {
3105 Lisp_Object tem;
3106 tem = Fequal (Fcar (XCAR (tail)), prefix);
3107 if (!NILP (tem))
3108 sub_shadows = Fcons (XCDR (XCAR (tail)), sub_shadows);
3109 }
3110
3111 describe_map (Fcdr (elt), prefix,
3112 transl ? describe_translation : describe_command,
3113 partial, sub_shadows, &seen, nomenu, mention_shadow);
3114
3115 skip: ;
3116 }
3117
3118 if (something)
3119 insert_string ("\n");
3120
3121 UNGCPRO;
3122 }
3123
3124 static int previous_description_column;
3125
3126 static void
3127 describe_command (definition, args)
3128 Lisp_Object definition, args;
3129 {
3130 register Lisp_Object tem1;
3131 int column = (int) current_column (); /* iftc */
3132 int description_column;
3133
3134 /* If column 16 is no good, go to col 32;
3135 but don't push beyond that--go to next line instead. */
3136 if (column > 30)
3137 {
3138 insert_char ('\n');
3139 description_column = 32;
3140 }
3141 else if (column > 14 || (column > 10 && previous_description_column == 32))
3142 description_column = 32;
3143 else
3144 description_column = 16;
3145
3146 Findent_to (make_number (description_column), make_number (1));
3147 previous_description_column = description_column;
3148
3149 if (SYMBOLP (definition))
3150 {
3151 tem1 = SYMBOL_NAME (definition);
3152 insert1 (tem1);
3153 insert_string ("\n");
3154 }
3155 else if (STRINGP (definition) || VECTORP (definition))
3156 insert_string ("Keyboard Macro\n");
3157 else if (KEYMAPP (definition))
3158 insert_string ("Prefix Command\n");
3159 else
3160 insert_string ("??\n");
3161 }
3162
3163 static void
3164 describe_translation (definition, args)
3165 Lisp_Object definition, args;
3166 {
3167 register Lisp_Object tem1;
3168
3169 Findent_to (make_number (16), make_number (1));
3170
3171 if (SYMBOLP (definition))
3172 {
3173 tem1 = SYMBOL_NAME (definition);
3174 insert1 (tem1);
3175 insert_string ("\n");
3176 }
3177 else if (STRINGP (definition) || VECTORP (definition))
3178 {
3179 insert1 (Fkey_description (definition, Qnil));
3180 insert_string ("\n");
3181 }
3182 else if (KEYMAPP (definition))
3183 insert_string ("Prefix Command\n");
3184 else
3185 insert_string ("??\n");
3186 }
3187
3188 /* describe_map puts all the usable elements of a sparse keymap
3189 into an array of `struct describe_map_elt',
3190 then sorts them by the events. */
3191
3192 struct describe_map_elt { Lisp_Object event; Lisp_Object definition; int shadowed; };
3193
3194 /* qsort comparison function for sorting `struct describe_map_elt' by
3195 the event field. */
3196
3197 static int
3198 describe_map_compare (aa, bb)
3199 const void *aa, *bb;
3200 {
3201 const struct describe_map_elt *a = aa, *b = bb;
3202 if (INTEGERP (a->event) && INTEGERP (b->event))
3203 return ((XINT (a->event) > XINT (b->event))
3204 - (XINT (a->event) < XINT (b->event)));
3205 if (!INTEGERP (a->event) && INTEGERP (b->event))
3206 return 1;
3207 if (INTEGERP (a->event) && !INTEGERP (b->event))
3208 return -1;
3209 if (SYMBOLP (a->event) && SYMBOLP (b->event))
3210 return (!NILP (Fstring_lessp (a->event, b->event)) ? -1
3211 : !NILP (Fstring_lessp (b->event, a->event)) ? 1
3212 : 0);
3213 return 0;
3214 }
3215
3216 /* Describe the contents of map MAP, assuming that this map itself is
3217 reached by the sequence of prefix keys PREFIX (a string or vector).
3218 PARTIAL, SHADOW, NOMENU are as in `describe_map_tree' above. */
3219
3220 static void
3221 describe_map (map, prefix, elt_describer, partial, shadow,
3222 seen, nomenu, mention_shadow)
3223 register Lisp_Object map;
3224 Lisp_Object prefix;
3225 void (*elt_describer) P_ ((Lisp_Object, Lisp_Object));
3226 int partial;
3227 Lisp_Object shadow;
3228 Lisp_Object *seen;
3229 int nomenu;
3230 int mention_shadow;
3231 {
3232 Lisp_Object tail, definition, event;
3233 Lisp_Object tem;
3234 Lisp_Object suppress;
3235 Lisp_Object kludge;
3236 int first = 1;
3237 struct gcpro gcpro1, gcpro2, gcpro3;
3238
3239 /* These accumulate the values from sparse keymap bindings,
3240 so we can sort them and handle them in order. */
3241 int length_needed = 0;
3242 struct describe_map_elt *vect;
3243 int slots_used = 0;
3244 int i;
3245
3246 suppress = Qnil;
3247
3248 if (partial)
3249 suppress = intern ("suppress-keymap");
3250
3251 /* This vector gets used to present single keys to Flookup_key. Since
3252 that is done once per keymap element, we don't want to cons up a
3253 fresh vector every time. */
3254 kludge = Fmake_vector (make_number (1), Qnil);
3255 definition = Qnil;
3256
3257 for (tail = map; CONSP (tail); tail = XCDR (tail))
3258 length_needed++;
3259
3260 vect = ((struct describe_map_elt *)
3261 alloca (sizeof (struct describe_map_elt) * length_needed));
3262
3263 GCPRO3 (prefix, definition, kludge);
3264
3265 for (tail = map; CONSP (tail); tail = XCDR (tail))
3266 {
3267 QUIT;
3268
3269 if (VECTORP (XCAR (tail))
3270 || CHAR_TABLE_P (XCAR (tail)))
3271 describe_vector (XCAR (tail),
3272 prefix, Qnil, elt_describer, partial, shadow, map,
3273 (int *)0, 0, 1, mention_shadow);
3274 else if (CONSP (XCAR (tail)))
3275 {
3276 int this_shadowed = 0;
3277
3278 event = XCAR (XCAR (tail));
3279
3280 /* Ignore bindings whose "prefix" are not really valid events.
3281 (We get these in the frames and buffers menu.) */
3282 if (!(SYMBOLP (event) || INTEGERP (event)))
3283 continue;
3284
3285 if (nomenu && EQ (event, Qmenu_bar))
3286 continue;
3287
3288 definition = get_keyelt (XCDR (XCAR (tail)), 0);
3289
3290 /* Don't show undefined commands or suppressed commands. */
3291 if (NILP (definition)) continue;
3292 if (SYMBOLP (definition) && partial)
3293 {
3294 tem = Fget (definition, suppress);
3295 if (!NILP (tem))
3296 continue;
3297 }
3298
3299 /* Don't show a command that isn't really visible
3300 because a local definition of the same key shadows it. */
3301
3302 ASET (kludge, 0, event);
3303 if (!NILP (shadow))
3304 {
3305 tem = shadow_lookup (shadow, kludge, Qt);
3306 if (!NILP (tem))
3307 {
3308 /* Avoid generating duplicate entries if the
3309 shadowed binding has the same definition. */
3310 if (mention_shadow && !EQ (tem, definition))
3311 this_shadowed = 1;
3312 else
3313 continue;
3314 }
3315 }
3316
3317 tem = Flookup_key (map, kludge, Qt);
3318 if (!EQ (tem, definition)) continue;
3319
3320 vect[slots_used].event = event;
3321 vect[slots_used].definition = definition;
3322 vect[slots_used].shadowed = this_shadowed;
3323 slots_used++;
3324 }
3325 else if (EQ (XCAR (tail), Qkeymap))
3326 {
3327 /* The same keymap might be in the structure twice, if we're
3328 using an inherited keymap. So skip anything we've already
3329 encountered. */
3330 tem = Fassq (tail, *seen);
3331 if (CONSP (tem) && !NILP (Fequal (XCAR (tem), prefix)))
3332 break;
3333 *seen = Fcons (Fcons (tail, prefix), *seen);
3334 }
3335 }
3336
3337 /* If we found some sparse map events, sort them. */
3338
3339 qsort (vect, slots_used, sizeof (struct describe_map_elt),
3340 describe_map_compare);
3341
3342 /* Now output them in sorted order. */
3343
3344 for (i = 0; i < slots_used; i++)
3345 {
3346 Lisp_Object start, end;
3347
3348 if (first)
3349 {
3350 previous_description_column = 0;
3351 insert ("\n", 1);
3352 first = 0;
3353 }
3354
3355 ASET (kludge, 0, vect[i].event);
3356 start = vect[i].event;
3357 end = start;
3358
3359 definition = vect[i].definition;
3360
3361 /* Find consecutive chars that are identically defined. */
3362 if (INTEGERP (vect[i].event))
3363 {
3364 while (i + 1 < slots_used
3365 && EQ (vect[i+1].event, make_number (XINT (vect[i].event) + 1))
3366 && !NILP (Fequal (vect[i + 1].definition, definition))
3367 && vect[i].shadowed == vect[i + 1].shadowed)
3368 i++;
3369 end = vect[i].event;
3370 }
3371
3372 /* Now START .. END is the range to describe next. */
3373
3374 /* Insert the string to describe the event START. */
3375 insert1 (Fkey_description (kludge, prefix));
3376
3377 if (!EQ (start, end))
3378 {
3379 insert (" .. ", 4);
3380
3381 ASET (kludge, 0, end);
3382 /* Insert the string to describe the character END. */
3383 insert1 (Fkey_description (kludge, prefix));
3384 }
3385
3386 /* Print a description of the definition of this character.
3387 elt_describer will take care of spacing out far enough
3388 for alignment purposes. */
3389 (*elt_describer) (vect[i].definition, Qnil);
3390
3391 if (vect[i].shadowed)
3392 {
3393 SET_PT (PT - 1);
3394 insert_string ("\n (that binding is currently shadowed by another mode)");
3395 SET_PT (PT + 1);
3396 }
3397 }
3398
3399 UNGCPRO;
3400 }
3401
3402 static void
3403 describe_vector_princ (elt, fun)
3404 Lisp_Object elt, fun;
3405 {
3406 Findent_to (make_number (16), make_number (1));
3407 call1 (fun, elt);
3408 Fterpri (Qnil);
3409 }
3410
3411 DEFUN ("describe-vector", Fdescribe_vector, Sdescribe_vector, 1, 2, 0,
3412 doc: /* Insert a description of contents of VECTOR.
3413 This is text showing the elements of vector matched against indices.
3414 DESCRIBER is the output function used; nil means use `princ'. */)
3415 (vector, describer)
3416 Lisp_Object vector, describer;
3417 {
3418 int count = SPECPDL_INDEX ();
3419 if (NILP (describer))
3420 describer = intern ("princ");
3421 specbind (Qstandard_output, Fcurrent_buffer ());
3422 CHECK_VECTOR_OR_CHAR_TABLE (vector);
3423 describe_vector (vector, Qnil, describer, describe_vector_princ, 0,
3424 Qnil, Qnil, (int *)0, 0, 0, 0);
3425
3426 return unbind_to (count, Qnil);
3427 }
3428
3429 /* Insert in the current buffer a description of the contents of VECTOR.
3430 We call ELT_DESCRIBER to insert the description of one value found
3431 in VECTOR.
3432
3433 ELT_PREFIX describes what "comes before" the keys or indices defined
3434 by this vector. This is a human-readable string whose size
3435 is not necessarily related to the situation.
3436
3437 If the vector is in a keymap, ELT_PREFIX is a prefix key which
3438 leads to this keymap.
3439
3440 If the vector is a chartable, ELT_PREFIX is the vector
3441 of bytes that lead to the character set or portion of a character
3442 set described by this chartable.
3443
3444 If PARTIAL is nonzero, it means do not mention suppressed commands
3445 (that assumes the vector is in a keymap).
3446
3447 SHADOW is a list of keymaps that shadow this map.
3448 If it is non-nil, then we look up the key in those maps
3449 and we don't mention it now if it is defined by any of them.
3450
3451 ENTIRE_MAP is the keymap in which this vector appears.
3452 If the definition in effect in the whole map does not match
3453 the one in this vector, we ignore this one.
3454
3455 ARGS is simply passed as the second argument to ELT_DESCRIBER.
3456
3457 INDICES and CHAR_TABLE_DEPTH are ignored. They will be removed in
3458 the near future.
3459
3460 KEYMAP_P is 1 if vector is known to be a keymap, so map ESC to M-.
3461
3462 ARGS is simply passed as the second argument to ELT_DESCRIBER. */
3463
3464 static void
3465 describe_vector (vector, prefix, args, elt_describer,
3466 partial, shadow, entire_map,
3467 indices, char_table_depth, keymap_p,
3468 mention_shadow)
3469 register Lisp_Object vector;
3470 Lisp_Object prefix, args;
3471 void (*elt_describer) P_ ((Lisp_Object, Lisp_Object));
3472 int partial;
3473 Lisp_Object shadow;
3474 Lisp_Object entire_map;
3475 int *indices;
3476 int char_table_depth;
3477 int keymap_p;
3478 int mention_shadow;
3479 {
3480 Lisp_Object definition;
3481 Lisp_Object tem2;
3482 Lisp_Object elt_prefix = Qnil;
3483 int i;
3484 Lisp_Object suppress;
3485 Lisp_Object kludge;
3486 int first = 1;
3487 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
3488 /* Range of elements to be handled. */
3489 int from, to;
3490 Lisp_Object character;
3491 int starting_i;
3492
3493 suppress = Qnil;
3494
3495 definition = Qnil;
3496
3497 if (!keymap_p)
3498 {
3499 /* Call Fkey_description first, to avoid GC bug for the other string. */
3500 if (!NILP (prefix) && XFASTINT (Flength (prefix)) > 0)
3501 {
3502 Lisp_Object tem;
3503 tem = Fkey_description (prefix, Qnil);
3504 elt_prefix = concat2 (tem, build_string (" "));
3505 }
3506 prefix = Qnil;
3507 }
3508
3509 /* This vector gets used to present single keys to Flookup_key. Since
3510 that is done once per vector element, we don't want to cons up a
3511 fresh vector every time. */
3512 kludge = Fmake_vector (make_number (1), Qnil);
3513 GCPRO4 (elt_prefix, prefix, definition, kludge);
3514
3515 if (partial)
3516 suppress = intern ("suppress-keymap");
3517
3518 from = 0;
3519 to = CHAR_TABLE_P (vector) ? MAX_CHAR + 1 : XVECTOR (vector)->size;
3520
3521 for (i = from; i < to; i++)
3522 {
3523 int this_shadowed = 0;
3524 int range_beg, range_end;
3525 Lisp_Object val;
3526
3527 QUIT;
3528
3529 starting_i = i;
3530
3531 if (CHAR_TABLE_P (vector))
3532 val = char_table_ref_and_range (vector, i, &range_beg, &i);
3533 else
3534 val = AREF (vector, i);
3535 definition = get_keyelt (val, 0);
3536
3537 if (NILP (definition)) continue;
3538
3539 /* Don't mention suppressed commands. */
3540 if (SYMBOLP (definition) && partial)
3541 {
3542 Lisp_Object tem;
3543
3544 tem = Fget (definition, suppress);
3545
3546 if (!NILP (tem)) continue;
3547 }
3548
3549 character = make_number (starting_i);
3550 ASET (kludge, 0, character);
3551
3552 /* If this binding is shadowed by some other map, ignore it. */
3553 if (!NILP (shadow))
3554 {
3555 Lisp_Object tem;
3556
3557 tem = shadow_lookup (shadow, kludge, Qt);
3558
3559 if (!NILP (tem))
3560 {
3561 if (mention_shadow)
3562 this_shadowed = 1;
3563 else
3564 continue;
3565 }
3566 }
3567
3568 /* Ignore this definition if it is shadowed by an earlier
3569 one in the same keymap. */
3570 if (!NILP (entire_map))
3571 {
3572 Lisp_Object tem;
3573
3574 tem = Flookup_key (entire_map, kludge, Qt);
3575
3576 if (!EQ (tem, definition))
3577 continue;
3578 }
3579
3580 if (first)
3581 {
3582 insert ("\n", 1);
3583 first = 0;
3584 }
3585
3586 /* Output the prefix that applies to every entry in this map. */
3587 if (!NILP (elt_prefix))
3588 insert1 (elt_prefix);
3589
3590 insert1 (Fkey_description (kludge, prefix));
3591
3592 /* Find all consecutive characters or rows that have the same
3593 definition. But, for elements of a top level char table, if
3594 they are for charsets, we had better describe one by one even
3595 if they have the same definition. */
3596 if (CHAR_TABLE_P (vector))
3597 while (i + 1 < to
3598 && (val = char_table_ref_and_range (vector, i + 1,
3599 &range_beg, &range_end),
3600 tem2 = get_keyelt (val, 0),
3601 !NILP (tem2))
3602 && !NILP (Fequal (tem2, definition)))
3603 i = range_end;
3604 else
3605 while (i + 1 < to
3606 && (tem2 = get_keyelt (AREF (vector, i + 1), 0),
3607 !NILP (tem2))
3608 && !NILP (Fequal (tem2, definition)))
3609 i++;
3610
3611 /* If we have a range of more than one character,
3612 print where the range reaches to. */
3613
3614 if (i != starting_i)
3615 {
3616 insert (" .. ", 4);
3617
3618 ASET (kludge, 0, make_number (i));
3619
3620 if (!NILP (elt_prefix))
3621 insert1 (elt_prefix);
3622
3623 insert1 (Fkey_description (kludge, prefix));
3624 }
3625
3626 /* Print a description of the definition of this character.
3627 elt_describer will take care of spacing out far enough
3628 for alignment purposes. */
3629 (*elt_describer) (definition, args);
3630
3631 if (this_shadowed)
3632 {
3633 SET_PT (PT - 1);
3634 insert_string (" (binding currently shadowed)");
3635 SET_PT (PT + 1);
3636 }
3637 }
3638
3639 if (CHAR_TABLE_P (vector) && ! NILP (XCHAR_TABLE (vector)->defalt))
3640 {
3641 if (!NILP (elt_prefix))
3642 insert1 (elt_prefix);
3643 insert ("default", 7);
3644 (*elt_describer) (XCHAR_TABLE (vector)->defalt, args);
3645 }
3646
3647 UNGCPRO;
3648 }
3649 \f
3650 /* Apropos - finding all symbols whose names match a regexp. */
3651 static Lisp_Object apropos_predicate;
3652 static Lisp_Object apropos_accumulate;
3653
3654 static void
3655 apropos_accum (symbol, string)
3656 Lisp_Object symbol, string;
3657 {
3658 register Lisp_Object tem;
3659
3660 tem = Fstring_match (string, Fsymbol_name (symbol), Qnil);
3661 if (!NILP (tem) && !NILP (apropos_predicate))
3662 tem = call1 (apropos_predicate, symbol);
3663 if (!NILP (tem))
3664 apropos_accumulate = Fcons (symbol, apropos_accumulate);
3665 }
3666
3667 DEFUN ("apropos-internal", Fapropos_internal, Sapropos_internal, 1, 2, 0,
3668 doc: /* Show all symbols whose names contain match for REGEXP.
3669 If optional 2nd arg PREDICATE is non-nil, (funcall PREDICATE SYMBOL) is done
3670 for each symbol and a symbol is mentioned only if that returns non-nil.
3671 Return list of symbols found. */)
3672 (regexp, predicate)
3673 Lisp_Object regexp, predicate;
3674 {
3675 Lisp_Object tem;
3676 CHECK_STRING (regexp);
3677 apropos_predicate = predicate;
3678 apropos_accumulate = Qnil;
3679 map_obarray (Vobarray, apropos_accum, regexp);
3680 tem = Fsort (apropos_accumulate, Qstring_lessp);
3681 apropos_accumulate = Qnil;
3682 apropos_predicate = Qnil;
3683 return tem;
3684 }
3685 \f
3686 void
3687 syms_of_keymap ()
3688 {
3689 Qkeymap = intern ("keymap");
3690 staticpro (&Qkeymap);
3691 staticpro (&apropos_predicate);
3692 staticpro (&apropos_accumulate);
3693 apropos_predicate = Qnil;
3694 apropos_accumulate = Qnil;
3695
3696 /* Now we are ready to set up this property, so we can
3697 create char tables. */
3698 Fput (Qkeymap, Qchar_table_extra_slots, make_number (0));
3699
3700 /* Initialize the keymaps standardly used.
3701 Each one is the value of a Lisp variable, and is also
3702 pointed to by a C variable */
3703
3704 global_map = Fmake_keymap (Qnil);
3705 Fset (intern ("global-map"), global_map);
3706
3707 current_global_map = global_map;
3708 staticpro (&global_map);
3709 staticpro (&current_global_map);
3710
3711 meta_map = Fmake_keymap (Qnil);
3712 Fset (intern ("esc-map"), meta_map);
3713 Ffset (intern ("ESC-prefix"), meta_map);
3714
3715 control_x_map = Fmake_keymap (Qnil);
3716 Fset (intern ("ctl-x-map"), control_x_map);
3717 Ffset (intern ("Control-X-prefix"), control_x_map);
3718
3719 exclude_keys
3720 = Fcons (Fcons (build_string ("DEL"), build_string ("\\d")),
3721 Fcons (Fcons (build_string ("TAB"), build_string ("\\t")),
3722 Fcons (Fcons (build_string ("RET"), build_string ("\\r")),
3723 Fcons (Fcons (build_string ("ESC"), build_string ("\\e")),
3724 Fcons (Fcons (build_string ("SPC"), build_string (" ")),
3725 Qnil)))));
3726 staticpro (&exclude_keys);
3727
3728 DEFVAR_LISP ("define-key-rebound-commands", &Vdefine_key_rebound_commands,
3729 doc: /* List of commands given new key bindings recently.
3730 This is used for internal purposes during Emacs startup;
3731 don't alter it yourself. */);
3732 Vdefine_key_rebound_commands = Qt;
3733
3734 DEFVAR_LISP ("minibuffer-local-map", &Vminibuffer_local_map,
3735 doc: /* Default keymap to use when reading from the minibuffer. */);
3736 Vminibuffer_local_map = Fmake_sparse_keymap (Qnil);
3737
3738 DEFVAR_LISP ("minibuffer-local-ns-map", &Vminibuffer_local_ns_map,
3739 doc: /* Local keymap for the minibuffer when spaces are not allowed. */);
3740 Vminibuffer_local_ns_map = Fmake_sparse_keymap (Qnil);
3741 Fset_keymap_parent (Vminibuffer_local_ns_map, Vminibuffer_local_map);
3742
3743 DEFVAR_LISP ("minibuffer-local-completion-map", &Vminibuffer_local_completion_map,
3744 doc: /* Local keymap for minibuffer input with completion. */);
3745 Vminibuffer_local_completion_map = Fmake_sparse_keymap (Qnil);
3746 Fset_keymap_parent (Vminibuffer_local_completion_map, Vminibuffer_local_map);
3747
3748 DEFVAR_LISP ("minibuffer-local-filename-completion-map",
3749 &Vminibuffer_local_filename_completion_map,
3750 doc: /* Local keymap for minibuffer input with completion for filenames. */);
3751 Vminibuffer_local_filename_completion_map = Fmake_sparse_keymap (Qnil);
3752 Fset_keymap_parent (Vminibuffer_local_filename_completion_map,
3753 Vminibuffer_local_completion_map);
3754
3755
3756 DEFVAR_LISP ("minibuffer-local-must-match-map", &Vminibuffer_local_must_match_map,
3757 doc: /* Local keymap for minibuffer input with completion, for exact match. */);
3758 Vminibuffer_local_must_match_map = Fmake_sparse_keymap (Qnil);
3759 Fset_keymap_parent (Vminibuffer_local_must_match_map,
3760 Vminibuffer_local_completion_map);
3761
3762 DEFVAR_LISP ("minibuffer-local-must-match-filename-map",
3763 &Vminibuffer_local_must_match_filename_map,
3764 doc: /* Local keymap for minibuffer input with completion for filenames with exact match. */);
3765 Vminibuffer_local_must_match_filename_map = Fmake_sparse_keymap (Qnil);
3766 Fset_keymap_parent (Vminibuffer_local_must_match_filename_map,
3767 Vminibuffer_local_must_match_map);
3768
3769 DEFVAR_LISP ("minor-mode-map-alist", &Vminor_mode_map_alist,
3770 doc: /* Alist of keymaps to use for minor modes.
3771 Each element looks like (VARIABLE . KEYMAP); KEYMAP is used to read
3772 key sequences and look up bindings iff VARIABLE's value is non-nil.
3773 If two active keymaps bind the same key, the keymap appearing earlier
3774 in the list takes precedence. */);
3775 Vminor_mode_map_alist = Qnil;
3776
3777 DEFVAR_LISP ("minor-mode-overriding-map-alist", &Vminor_mode_overriding_map_alist,
3778 doc: /* Alist of keymaps to use for minor modes, in current major mode.
3779 This variable is an alist just like `minor-mode-map-alist', and it is
3780 used the same way (and before `minor-mode-map-alist'); however,
3781 it is provided for major modes to bind locally. */);
3782 Vminor_mode_overriding_map_alist = Qnil;
3783
3784 DEFVAR_LISP ("emulation-mode-map-alists", &Vemulation_mode_map_alists,
3785 doc: /* List of keymap alists to use for emulations modes.
3786 It is intended for modes or packages using multiple minor-mode keymaps.
3787 Each element is a keymap alist just like `minor-mode-map-alist', or a
3788 symbol with a variable binding which is a keymap alist, and it is used
3789 the same way. The "active" keymaps in each alist are used before
3790 `minor-mode-map-alist' and `minor-mode-overriding-map-alist'. */);
3791 Vemulation_mode_map_alists = Qnil;
3792
3793
3794 DEFVAR_LISP ("function-key-map", &Vfunction_key_map,
3795 doc: /* Keymap that translates key sequences to key sequences during input.
3796 This is used mainly for mapping ASCII function key sequences into
3797 real Emacs function key events (symbols).
3798
3799 The `read-key-sequence' function replaces any subsequence bound by
3800 `function-key-map' with its binding. More precisely, when the active
3801 keymaps have no binding for the current key sequence but
3802 `function-key-map' binds a suffix of the sequence to a vector or string,
3803 `read-key-sequence' replaces the matching suffix with its binding, and
3804 continues with the new sequence.
3805
3806 If the binding is a function, it is called with one argument (the prompt)
3807 and its return value (a key sequence) is used.
3808
3809 The events that come from bindings in `function-key-map' are not
3810 themselves looked up in `function-key-map'.
3811
3812 For example, suppose `function-key-map' binds `ESC O P' to [f1].
3813 Typing `ESC O P' to `read-key-sequence' would return [f1]. Typing
3814 `C-x ESC O P' would return [?\\C-x f1]. If [f1] were a prefix
3815 key, typing `ESC O P x' would return [f1 x]. */);
3816 Vfunction_key_map = Fmake_sparse_keymap (Qnil);
3817
3818 DEFVAR_LISP ("key-translation-map", &Vkey_translation_map,
3819 doc: /* Keymap of key translations that can override keymaps.
3820 This keymap works like `function-key-map', but comes after that,
3821 and its non-prefix bindings override ordinary bindings. */);
3822 Vkey_translation_map = Qnil;
3823
3824 staticpro (&Vmouse_events);
3825 Vmouse_events = Fcons (intern ("menu-bar"),
3826 Fcons (intern ("tool-bar"),
3827 Fcons (intern ("header-line"),
3828 Fcons (intern ("mode-line"),
3829 Fcons (intern ("mouse-1"),
3830 Fcons (intern ("mouse-2"),
3831 Fcons (intern ("mouse-3"),
3832 Fcons (intern ("mouse-4"),
3833 Fcons (intern ("mouse-5"),
3834 Qnil)))))))));
3835
3836
3837 Qsingle_key_description = intern ("single-key-description");
3838 staticpro (&Qsingle_key_description);
3839
3840 Qkey_description = intern ("key-description");
3841 staticpro (&Qkey_description);
3842
3843 Qkeymapp = intern ("keymapp");
3844 staticpro (&Qkeymapp);
3845
3846 Qnon_ascii = intern ("non-ascii");
3847 staticpro (&Qnon_ascii);
3848
3849 Qmenu_item = intern ("menu-item");
3850 staticpro (&Qmenu_item);
3851
3852 Qremap = intern ("remap");
3853 staticpro (&Qremap);
3854
3855 command_remapping_vector = Fmake_vector (make_number (2), Qremap);
3856 staticpro (&command_remapping_vector);
3857
3858 where_is_cache_keymaps = Qt;
3859 where_is_cache = Qnil;
3860 staticpro (&where_is_cache);
3861 staticpro (&where_is_cache_keymaps);
3862
3863 defsubr (&Skeymapp);
3864 defsubr (&Skeymap_parent);
3865 defsubr (&Skeymap_prompt);
3866 defsubr (&Sset_keymap_parent);
3867 defsubr (&Smake_keymap);
3868 defsubr (&Smake_sparse_keymap);
3869 defsubr (&Smap_keymap);
3870 defsubr (&Scopy_keymap);
3871 defsubr (&Scommand_remapping);
3872 defsubr (&Skey_binding);
3873 defsubr (&Slocal_key_binding);
3874 defsubr (&Sglobal_key_binding);
3875 defsubr (&Sminor_mode_key_binding);
3876 defsubr (&Sdefine_key);
3877 defsubr (&Slookup_key);
3878 defsubr (&Sdefine_prefix_command);
3879 defsubr (&Suse_global_map);
3880 defsubr (&Suse_local_map);
3881 defsubr (&Scurrent_local_map);
3882 defsubr (&Scurrent_global_map);
3883 defsubr (&Scurrent_minor_mode_maps);
3884 defsubr (&Scurrent_active_maps);
3885 defsubr (&Saccessible_keymaps);
3886 defsubr (&Skey_description);
3887 defsubr (&Sdescribe_vector);
3888 defsubr (&Ssingle_key_description);
3889 defsubr (&Stext_char_description);
3890 defsubr (&Swhere_is_internal);
3891 defsubr (&Sdescribe_buffer_bindings);
3892 defsubr (&Sapropos_internal);
3893 }
3894
3895 void
3896 keys_of_keymap ()
3897 {
3898 initial_define_key (global_map, 033, "ESC-prefix");
3899 initial_define_key (global_map, Ctl('X'), "Control-X-prefix");
3900 }
3901
3902 /* arch-tag: 6dd15c26-7cf1-41c4-b904-f42f7ddda463
3903 (do not change this comment) */