* lisp/emacs-lisp/package.el (package--with-work-buffer-async):
[emacs.git] / src / keymap.c
blobb69b409fc2d8410ea43c3a27439c7db7a8818fff
1 /* Manipulation of keymaps
2 Copyright (C) 1985-1988, 1993-1995, 1998-2015 Free Software
3 Foundation, Inc.
5 This file is part of GNU Emacs.
7 GNU Emacs is free software: you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation, either version 3 of the License, or
10 (at your option) any later version.
12 GNU Emacs is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
20 /* Old BUGS:
21 - [M-C-a] != [?\M-\C-a]
22 - [M-f2] != [?\e f2].
23 - (define-key map [menu-bar foo] <bla>) does not always place <bla>
24 at the head of the menu (if `foo' was already bound earlier and
25 then unbound, for example).
26 TODO:
27 - allow many more Meta -> ESC mappings (like Hyper -> C-e for Emacspeak)
28 - Think about the various defaulting that's currently hard-coded in
29 keyboard.c (uppercase->lowercase, char->charset, button-events, ...)
30 and make it more generic. Maybe we should allow mappings of the
31 form (PREDICATE . BINDING) as generalization of the default binding,
32 tho probably a cleaner way to attack this is to allow functional
33 keymaps (i.e. keymaps that are implemented as functions that implement
34 a few different methods like `lookup', `map', ...).
35 - Make [a] equivalent to [?a].
36 BEWARE:
37 - map-keymap should work meaningfully even if entries are added/removed
38 to the keymap while iterating through it:
39 start - removed <= visited <= start + added
42 #include <config.h>
43 #include <stdio.h>
45 #include "lisp.h"
46 #include "commands.h"
47 #include "character.h"
48 #include "buffer.h"
49 #include "charset.h"
50 #include "keyboard.h"
51 #include "frame.h"
52 #include "termhooks.h"
53 #include "blockinput.h"
54 #include "puresize.h"
55 #include "intervals.h"
56 #include "keymap.h"
57 #include "window.h"
59 /* Actually allocate storage for these variables. */
61 Lisp_Object current_global_map; /* Current global keymap. */
63 Lisp_Object global_map; /* Default global key bindings. */
65 Lisp_Object meta_map; /* The keymap used for globally bound
66 ESC-prefixed default commands. */
68 Lisp_Object control_x_map; /* The keymap used for globally bound
69 C-x-prefixed default commands. */
71 /* The keymap used by the minibuf for local
72 bindings when spaces are allowed in the
73 minibuf. */
75 /* The keymap used by the minibuf for local
76 bindings when spaces are not encouraged
77 in the minibuf. */
79 /* Alist of elements like (DEL . "\d"). */
80 static Lisp_Object exclude_keys;
82 /* Pre-allocated 2-element vector for Fcommand_remapping to use. */
83 static Lisp_Object command_remapping_vector;
85 /* Hash table used to cache a reverse-map to speed up calls to where-is. */
86 static Lisp_Object where_is_cache;
87 /* Which keymaps are reverse-stored in the cache. */
88 static Lisp_Object where_is_cache_keymaps;
90 static Lisp_Object store_in_keymap (Lisp_Object, Lisp_Object, Lisp_Object);
92 static Lisp_Object define_as_prefix (Lisp_Object, Lisp_Object);
93 static void describe_command (Lisp_Object, Lisp_Object);
94 static void describe_translation (Lisp_Object, Lisp_Object);
95 static void describe_map (Lisp_Object, Lisp_Object,
96 void (*) (Lisp_Object, Lisp_Object),
97 bool, Lisp_Object, Lisp_Object*, bool, bool);
98 static void describe_vector (Lisp_Object, Lisp_Object, Lisp_Object,
99 void (*) (Lisp_Object, Lisp_Object), bool,
100 Lisp_Object, Lisp_Object, bool, bool);
101 static void silly_event_symbol_error (Lisp_Object);
102 static Lisp_Object get_keyelt (Lisp_Object, bool);
104 static void
105 CHECK_VECTOR_OR_CHAR_TABLE (Lisp_Object x)
107 CHECK_TYPE (VECTORP (x) || CHAR_TABLE_P (x), Qvector_or_char_table_p, x);
110 /* Keymap object support - constructors and predicates. */
112 DEFUN ("make-keymap", Fmake_keymap, Smake_keymap, 0, 1, 0,
113 doc: /* Construct and return a new keymap, of the form (keymap CHARTABLE . ALIST).
114 CHARTABLE is a char-table that holds the bindings for all characters
115 without modifiers. All entries in it are initially nil, meaning
116 "command undefined". ALIST is an assoc-list which holds bindings for
117 function keys, mouse events, and any other things that appear in the
118 input stream. Initially, ALIST is nil.
120 The optional arg STRING supplies a menu name for the keymap
121 in case you use it as a menu with `x-popup-menu'. */)
122 (Lisp_Object string)
124 Lisp_Object tail;
125 if (!NILP (string))
126 tail = list1 (string);
127 else
128 tail = Qnil;
129 return Fcons (Qkeymap,
130 Fcons (Fmake_char_table (Qkeymap, Qnil), tail));
133 DEFUN ("make-sparse-keymap", Fmake_sparse_keymap, Smake_sparse_keymap, 0, 1, 0,
134 doc: /* Construct and return a new sparse keymap.
135 Its car is `keymap' and its cdr is an alist of (CHAR . DEFINITION),
136 which binds the character CHAR to DEFINITION, or (SYMBOL . DEFINITION),
137 which binds the function key or mouse event SYMBOL to DEFINITION.
138 Initially the alist is nil.
140 The optional arg STRING supplies a menu name for the keymap
141 in case you use it as a menu with `x-popup-menu'. */)
142 (Lisp_Object string)
144 if (!NILP (string))
146 if (!NILP (Vpurify_flag))
147 string = Fpurecopy (string);
148 return list2 (Qkeymap, string);
150 return list1 (Qkeymap);
153 /* This function is used for installing the standard key bindings
154 at initialization time.
156 For example:
158 initial_define_key (control_x_map, Ctl('X'), "exchange-point-and-mark"); */
160 void
161 initial_define_key (Lisp_Object keymap, int key, const char *defname)
163 store_in_keymap (keymap, make_number (key), intern_c_string (defname));
166 void
167 initial_define_lispy_key (Lisp_Object keymap, const char *keyname, const char *defname)
169 store_in_keymap (keymap, intern_c_string (keyname), intern_c_string (defname));
172 DEFUN ("keymapp", Fkeymapp, Skeymapp, 1, 1, 0,
173 doc: /* Return t if OBJECT is a keymap.
175 A keymap is a list (keymap . ALIST),
176 or a symbol whose function definition is itself a keymap.
177 ALIST elements look like (CHAR . DEFN) or (SYMBOL . DEFN);
178 a vector of densely packed bindings for small character codes
179 is also allowed as an element. */)
180 (Lisp_Object object)
182 return (KEYMAPP (object) ? Qt : Qnil);
185 DEFUN ("keymap-prompt", Fkeymap_prompt, Skeymap_prompt, 1, 1, 0,
186 doc: /* Return the prompt-string of a keymap MAP.
187 If non-nil, the prompt is shown in the echo-area
188 when reading a key-sequence to be looked-up in this keymap. */)
189 (Lisp_Object map)
191 map = get_keymap (map, 0, 0);
192 while (CONSP (map))
194 Lisp_Object tem = XCAR (map);
195 if (STRINGP (tem))
196 return tem;
197 else if (KEYMAPP (tem))
199 tem = Fkeymap_prompt (tem);
200 if (!NILP (tem))
201 return tem;
203 map = XCDR (map);
205 return Qnil;
208 /* Check that OBJECT is a keymap (after dereferencing through any
209 symbols). If it is, return it.
211 If AUTOLOAD and if OBJECT is a symbol whose function value
212 is an autoload form, do the autoload and try again.
213 If AUTOLOAD, callers must assume GC is possible.
215 ERROR_IF_NOT_KEYMAP controls how we respond if OBJECT isn't a keymap.
216 If ERROR_IF_NOT_KEYMAP, signal an error; otherwise,
217 just return Qnil.
219 Note that most of the time, we don't want to pursue autoloads.
220 Functions like Faccessible_keymaps which scan entire keymap trees
221 shouldn't load every autoloaded keymap. I'm not sure about this,
222 but it seems to me that only read_key_sequence, Flookup_key, and
223 Fdefine_key should cause keymaps to be autoloaded.
225 This function can GC when AUTOLOAD is true, because it calls
226 Fautoload_do_load which can GC. */
228 Lisp_Object
229 get_keymap (Lisp_Object object, bool error_if_not_keymap, bool autoload)
231 Lisp_Object tem;
233 autoload_retry:
234 if (NILP (object))
235 goto end;
236 if (CONSP (object) && EQ (XCAR (object), Qkeymap))
237 return object;
239 tem = indirect_function (object);
240 if (CONSP (tem))
242 if (EQ (XCAR (tem), Qkeymap))
243 return tem;
245 /* Should we do an autoload? Autoload forms for keymaps have
246 Qkeymap as their fifth element. */
247 if ((autoload || !error_if_not_keymap) && EQ (XCAR (tem), Qautoload)
248 && SYMBOLP (object))
250 Lisp_Object tail;
252 tail = Fnth (make_number (4), tem);
253 if (EQ (tail, Qkeymap))
255 if (autoload)
257 struct gcpro gcpro1, gcpro2;
259 GCPRO2 (tem, object);
260 Fautoload_do_load (tem, object, Qnil);
261 UNGCPRO;
263 goto autoload_retry;
265 else
266 return object;
271 end:
272 if (error_if_not_keymap)
273 wrong_type_argument (Qkeymapp, object);
274 return Qnil;
277 /* Return the parent map of KEYMAP, or nil if it has none.
278 We assume that KEYMAP is a valid keymap. */
280 static Lisp_Object
281 keymap_parent (Lisp_Object keymap, bool autoload)
283 Lisp_Object list;
285 keymap = get_keymap (keymap, 1, autoload);
287 /* Skip past the initial element `keymap'. */
288 list = XCDR (keymap);
289 for (; CONSP (list); list = XCDR (list))
291 /* See if there is another `keymap'. */
292 if (KEYMAPP (list))
293 return list;
296 return get_keymap (list, 0, autoload);
299 DEFUN ("keymap-parent", Fkeymap_parent, Skeymap_parent, 1, 1, 0,
300 doc: /* Return the parent keymap of KEYMAP.
301 If KEYMAP has no parent, return nil. */)
302 (Lisp_Object keymap)
304 return keymap_parent (keymap, 1);
307 /* Check whether MAP is one of MAPS parents. */
308 static bool
309 keymap_memberp (Lisp_Object map, Lisp_Object maps)
311 if (NILP (map)) return 0;
312 while (KEYMAPP (maps) && !EQ (map, maps))
313 maps = keymap_parent (maps, 0);
314 return (EQ (map, maps));
317 /* Set the parent keymap of MAP to PARENT. */
319 DEFUN ("set-keymap-parent", Fset_keymap_parent, Sset_keymap_parent, 2, 2, 0,
320 doc: /* Modify KEYMAP to set its parent map to PARENT.
321 Return PARENT. PARENT should be nil or another keymap. */)
322 (Lisp_Object keymap, Lisp_Object parent)
324 Lisp_Object list, prev;
325 struct gcpro gcpro1, gcpro2;
327 /* Flush any reverse-map cache. */
328 where_is_cache = Qnil; where_is_cache_keymaps = Qt;
330 GCPRO2 (keymap, parent);
331 keymap = get_keymap (keymap, 1, 1);
333 if (!NILP (parent))
335 parent = get_keymap (parent, 1, 0);
337 /* Check for cycles. */
338 if (keymap_memberp (keymap, parent))
339 error ("Cyclic keymap inheritance");
342 /* Skip past the initial element `keymap'. */
343 prev = keymap;
344 while (1)
346 list = XCDR (prev);
347 /* If there is a parent keymap here, replace it.
348 If we came to the end, add the parent in PREV. */
349 if (!CONSP (list) || KEYMAPP (list))
351 CHECK_IMPURE (prev);
352 XSETCDR (prev, parent);
353 RETURN_UNGCPRO (parent);
355 prev = list;
360 /* Look up IDX in MAP. IDX may be any sort of event.
361 Note that this does only one level of lookup; IDX must be a single
362 event, not a sequence.
364 MAP must be a keymap or a list of keymaps.
366 If T_OK, bindings for Qt are treated as default
367 bindings; any key left unmentioned by other tables and bindings is
368 given the binding of Qt.
370 If not T_OK, bindings for Qt are not treated specially.
372 If NOINHERIT, don't accept a subkeymap found in an inherited keymap.
374 Return Qunbound if no binding was found (and return Qnil if a nil
375 binding was found). */
377 static Lisp_Object
378 access_keymap_1 (Lisp_Object map, Lisp_Object idx,
379 bool t_ok, bool noinherit, bool autoload)
381 /* If idx is a list (some sort of mouse click, perhaps?),
382 the index we want to use is the car of the list, which
383 ought to be a symbol. */
384 idx = EVENT_HEAD (idx);
386 /* If idx is a symbol, it might have modifiers, which need to
387 be put in the canonical order. */
388 if (SYMBOLP (idx))
389 idx = reorder_modifiers (idx);
390 else if (INTEGERP (idx))
391 /* Clobber the high bits that can be present on a machine
392 with more than 24 bits of integer. */
393 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
395 /* Handle the special meta -> esc mapping. */
396 if (INTEGERP (idx) && XFASTINT (idx) & meta_modifier)
398 /* See if there is a meta-map. If there's none, there is
399 no binding for IDX, unless a default binding exists in MAP. */
400 struct gcpro gcpro1;
401 Lisp_Object event_meta_binding, event_meta_map;
402 GCPRO1 (map);
403 /* A strange value in which Meta is set would cause
404 infinite recursion. Protect against that. */
405 if (XINT (meta_prefix_char) & CHAR_META)
406 meta_prefix_char = make_number (27);
407 event_meta_binding = access_keymap_1 (map, meta_prefix_char, t_ok,
408 noinherit, autoload);
409 event_meta_map = get_keymap (event_meta_binding, 0, autoload);
410 UNGCPRO;
411 if (CONSP (event_meta_map))
413 map = event_meta_map;
414 idx = make_number (XFASTINT (idx) & ~meta_modifier);
416 else if (t_ok)
417 /* Set IDX to t, so that we only find a default binding. */
418 idx = Qt;
419 else
420 /* An explicit nil binding, or no binding at all. */
421 return NILP (event_meta_binding) ? Qnil : Qunbound;
424 /* t_binding is where we put a default binding that applies,
425 to use in case we do not find a binding specifically
426 for this key sequence. */
428 Lisp_Object tail;
429 Lisp_Object t_binding = Qunbound;
430 Lisp_Object retval = Qunbound;
431 Lisp_Object retval_tail = Qnil;
432 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
434 GCPRO4 (tail, idx, t_binding, retval);
436 for (tail = (CONSP (map) && EQ (Qkeymap, XCAR (map))) ? XCDR (map) : map;
437 (CONSP (tail)
438 || (tail = get_keymap (tail, 0, autoload), CONSP (tail)));
439 tail = XCDR (tail))
441 /* Qunbound in VAL means we have found no binding. */
442 Lisp_Object val = Qunbound;
443 Lisp_Object binding = XCAR (tail);
444 Lisp_Object submap = get_keymap (binding, 0, autoload);
446 if (EQ (binding, Qkeymap))
448 if (noinherit || NILP (retval))
449 /* If NOINHERIT, stop here, the rest is inherited. */
450 break;
451 else if (!EQ (retval, Qunbound))
453 Lisp_Object parent_entry;
454 eassert (KEYMAPP (retval));
455 parent_entry
456 = get_keymap (access_keymap_1 (tail, idx,
457 t_ok, 0, autoload),
458 0, autoload);
459 if (KEYMAPP (parent_entry))
461 if (CONSP (retval_tail))
462 XSETCDR (retval_tail, parent_entry);
463 else
465 retval_tail = Fcons (retval, parent_entry);
466 retval = Fcons (Qkeymap, retval_tail);
469 break;
472 else if (CONSP (submap))
474 val = access_keymap_1 (submap, idx, t_ok, noinherit, autoload);
476 else if (CONSP (binding))
478 Lisp_Object key = XCAR (binding);
480 if (EQ (key, idx))
481 val = XCDR (binding);
482 else if (t_ok && EQ (key, Qt))
484 t_binding = XCDR (binding);
485 t_ok = 0;
488 else if (VECTORP (binding))
490 if (INTEGERP (idx) && XFASTINT (idx) < ASIZE (binding))
491 val = AREF (binding, XFASTINT (idx));
493 else if (CHAR_TABLE_P (binding))
495 /* Character codes with modifiers
496 are not included in a char-table.
497 All character codes without modifiers are included. */
498 if (INTEGERP (idx) && (XFASTINT (idx) & CHAR_MODIFIER_MASK) == 0)
500 val = Faref (binding, idx);
501 /* nil has a special meaning for char-tables, so
502 we use something else to record an explicitly
503 unbound entry. */
504 if (NILP (val))
505 val = Qunbound;
509 /* If we found a binding, clean it up and return it. */
510 if (!EQ (val, Qunbound))
512 if (EQ (val, Qt))
513 /* A Qt binding is just like an explicit nil binding
514 (i.e. it shadows any parent binding but not bindings in
515 keymaps of lower precedence). */
516 val = Qnil;
518 val = get_keyelt (val, autoload);
520 if (!KEYMAPP (val))
522 if (NILP (retval) || EQ (retval, Qunbound))
523 retval = val;
524 if (!NILP (val))
525 break; /* Shadows everything that follows. */
527 else if (NILP (retval) || EQ (retval, Qunbound))
528 retval = val;
529 else if (CONSP (retval_tail))
531 XSETCDR (retval_tail, list1 (val));
532 retval_tail = XCDR (retval_tail);
534 else
536 retval_tail = list1 (val);
537 retval = Fcons (Qkeymap, Fcons (retval, retval_tail));
540 QUIT;
542 UNGCPRO;
543 return EQ (Qunbound, retval) ? get_keyelt (t_binding, autoload) : retval;
547 Lisp_Object
548 access_keymap (Lisp_Object map, Lisp_Object idx,
549 bool t_ok, bool noinherit, bool autoload)
551 Lisp_Object val = access_keymap_1 (map, idx, t_ok, noinherit, autoload);
552 return EQ (val, Qunbound) ? Qnil : val;
555 static void
556 map_keymap_item (map_keymap_function_t fun, Lisp_Object args, Lisp_Object key, Lisp_Object val, void *data)
558 if (EQ (val, Qt))
559 val = Qnil;
560 (*fun) (key, val, args, data);
563 static void
564 map_keymap_char_table_item (Lisp_Object args, Lisp_Object key, Lisp_Object val)
566 if (!NILP (val))
568 map_keymap_function_t fun
569 = (map_keymap_function_t) XSAVE_FUNCPOINTER (args, 0);
570 /* If the key is a range, make a copy since map_char_table modifies
571 it in place. */
572 if (CONSP (key))
573 key = Fcons (XCAR (key), XCDR (key));
574 map_keymap_item (fun, XSAVE_OBJECT (args, 2), key,
575 val, XSAVE_POINTER (args, 1));
579 /* Call FUN for every binding in MAP and stop at (and return) the parent.
580 FUN is called with 4 arguments: FUN (KEY, BINDING, ARGS, DATA). */
581 static Lisp_Object
582 map_keymap_internal (Lisp_Object map,
583 map_keymap_function_t fun,
584 Lisp_Object args,
585 void *data)
587 struct gcpro gcpro1, gcpro2, gcpro3;
588 Lisp_Object tail
589 = (CONSP (map) && EQ (Qkeymap, XCAR (map))) ? XCDR (map) : map;
591 GCPRO3 (map, args, tail);
592 for (; CONSP (tail) && !EQ (Qkeymap, XCAR (tail)); tail = XCDR (tail))
594 Lisp_Object binding = XCAR (tail);
596 if (KEYMAPP (binding)) /* An embedded parent. */
597 break;
598 else if (CONSP (binding))
599 map_keymap_item (fun, args, XCAR (binding), XCDR (binding), data);
600 else if (VECTORP (binding))
602 /* Loop over the char values represented in the vector. */
603 int len = ASIZE (binding);
604 int c;
605 for (c = 0; c < len; c++)
607 Lisp_Object character;
608 XSETFASTINT (character, c);
609 map_keymap_item (fun, args, character, AREF (binding, c), data);
612 else if (CHAR_TABLE_P (binding))
613 map_char_table (map_keymap_char_table_item, Qnil, binding,
614 make_save_funcptr_ptr_obj ((voidfuncptr) fun, data,
615 args));
617 UNGCPRO;
618 return tail;
621 static void
622 map_keymap_call (Lisp_Object key, Lisp_Object val, Lisp_Object fun, void *dummy)
624 call2 (fun, key, val);
627 /* Same as map_keymap_internal, but traverses parent keymaps as well.
628 AUTOLOAD indicates that autoloaded keymaps should be loaded. */
629 void
630 map_keymap (Lisp_Object map, map_keymap_function_t fun, Lisp_Object args,
631 void *data, bool autoload)
633 struct gcpro gcpro1;
634 GCPRO1 (args);
635 map = get_keymap (map, 1, autoload);
636 while (CONSP (map))
638 if (KEYMAPP (XCAR (map)))
640 map_keymap (XCAR (map), fun, args, data, autoload);
641 map = XCDR (map);
643 else
644 map = map_keymap_internal (map, fun, args, data);
645 if (!CONSP (map))
646 map = get_keymap (map, 0, autoload);
648 UNGCPRO;
651 /* Same as map_keymap, but does it right, properly eliminating duplicate
652 bindings due to inheritance. */
653 void
654 map_keymap_canonical (Lisp_Object map, map_keymap_function_t fun, Lisp_Object args, void *data)
656 struct gcpro gcpro1;
657 GCPRO1 (args);
658 /* map_keymap_canonical may be used from redisplay (e.g. when building menus)
659 so be careful to ignore errors and to inhibit redisplay. */
660 map = safe_call1 (Qkeymap_canonicalize, map);
661 /* No need to use `map_keymap' here because canonical map has no parent. */
662 map_keymap_internal (map, fun, args, data);
663 UNGCPRO;
666 DEFUN ("map-keymap-internal", Fmap_keymap_internal, Smap_keymap_internal, 2, 2, 0,
667 doc: /* Call FUNCTION once for each event binding in KEYMAP.
668 FUNCTION is called with two arguments: the event that is bound, and
669 the definition it is bound to. The event may be a character range.
670 If KEYMAP has a parent, this function returns it without processing it. */)
671 (Lisp_Object function, Lisp_Object keymap)
673 struct gcpro gcpro1;
674 GCPRO1 (function);
675 keymap = get_keymap (keymap, 1, 1);
676 keymap = map_keymap_internal (keymap, map_keymap_call, function, NULL);
677 UNGCPRO;
678 return keymap;
681 DEFUN ("map-keymap", Fmap_keymap, Smap_keymap, 2, 3, 0,
682 doc: /* Call FUNCTION once for each event binding in KEYMAP.
683 FUNCTION is called with two arguments: the event that is bound, and
684 the definition it is bound to. The event may be a character range.
686 If KEYMAP has a parent, the parent's bindings are included as well.
687 This works recursively: if the parent has itself a parent, then the
688 grandparent's bindings are also included and so on.
689 usage: (map-keymap FUNCTION KEYMAP) */)
690 (Lisp_Object function, Lisp_Object keymap, Lisp_Object sort_first)
692 if (! NILP (sort_first))
693 return call2 (intern ("map-keymap-sorted"), function, keymap);
695 map_keymap (keymap, map_keymap_call, function, NULL, 1);
696 return Qnil;
699 /* Given OBJECT which was found in a slot in a keymap,
700 trace indirect definitions to get the actual definition of that slot.
701 An indirect definition is a list of the form
702 (KEYMAP . INDEX), where KEYMAP is a keymap or a symbol defined as one
703 and INDEX is the object to look up in KEYMAP to yield the definition.
705 Also if OBJECT has a menu string as the first element,
706 remove that. Also remove a menu help string as second element.
708 If AUTOLOAD, load autoloadable keymaps
709 that are referred to with indirection.
711 This can GC because menu_item_eval_property calls Feval. */
713 static Lisp_Object
714 get_keyelt (Lisp_Object object, bool autoload)
716 while (1)
718 if (!(CONSP (object)))
719 /* This is really the value. */
720 return object;
722 /* If the keymap contents looks like (menu-item name . DEFN)
723 or (menu-item name DEFN ...) then use DEFN.
724 This is a new format menu item. */
725 else if (EQ (XCAR (object), Qmenu_item))
727 if (CONSP (XCDR (object)))
729 Lisp_Object tem;
731 object = XCDR (XCDR (object));
732 tem = object;
733 if (CONSP (object))
734 object = XCAR (object);
736 /* If there's a `:filter FILTER', apply FILTER to the
737 menu-item's definition to get the real definition to
738 use. */
739 for (; CONSP (tem) && CONSP (XCDR (tem)); tem = XCDR (tem))
740 if (EQ (XCAR (tem), QCfilter) && autoload)
742 Lisp_Object filter;
743 filter = XCAR (XCDR (tem));
744 filter = list2 (filter, list2 (Qquote, object));
745 object = menu_item_eval_property (filter);
746 break;
749 else
750 /* Invalid keymap. */
751 return object;
754 /* If the keymap contents looks like (STRING . DEFN), use DEFN.
755 Keymap alist elements like (CHAR MENUSTRING . DEFN)
756 will be used by HierarKey menus. */
757 else if (STRINGP (XCAR (object)))
758 object = XCDR (object);
760 else
761 return object;
765 static Lisp_Object
766 store_in_keymap (Lisp_Object keymap, register Lisp_Object idx, Lisp_Object def)
768 /* Flush any reverse-map cache. */
769 where_is_cache = Qnil;
770 where_is_cache_keymaps = Qt;
772 if (EQ (idx, Qkeymap))
773 error ("`keymap' is reserved for embedded parent maps");
775 /* If we are preparing to dump, and DEF is a menu element
776 with a menu item indicator, copy it to ensure it is not pure. */
777 if (CONSP (def) && PURE_P (def)
778 && (EQ (XCAR (def), Qmenu_item) || STRINGP (XCAR (def))))
779 def = Fcons (XCAR (def), XCDR (def));
781 if (!CONSP (keymap) || !EQ (XCAR (keymap), Qkeymap))
782 error ("attempt to define a key in a non-keymap");
784 /* If idx is a cons, and the car part is a character, idx must be of
785 the form (FROM-CHAR . TO-CHAR). */
786 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
787 CHECK_CHARACTER_CDR (idx);
788 else
789 /* If idx is a list (some sort of mouse click, perhaps?),
790 the index we want to use is the car of the list, which
791 ought to be a symbol. */
792 idx = EVENT_HEAD (idx);
794 /* If idx is a symbol, it might have modifiers, which need to
795 be put in the canonical order. */
796 if (SYMBOLP (idx))
797 idx = reorder_modifiers (idx);
798 else if (INTEGERP (idx))
799 /* Clobber the high bits that can be present on a machine
800 with more than 24 bits of integer. */
801 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
803 /* Scan the keymap for a binding of idx. */
805 Lisp_Object tail;
807 /* The cons after which we should insert new bindings. If the
808 keymap has a table element, we record its position here, so new
809 bindings will go after it; this way, the table will stay
810 towards the front of the alist and character lookups in dense
811 keymaps will remain fast. Otherwise, this just points at the
812 front of the keymap. */
813 Lisp_Object insertion_point;
815 insertion_point = keymap;
816 for (tail = XCDR (keymap); CONSP (tail); tail = XCDR (tail))
818 Lisp_Object elt;
820 elt = XCAR (tail);
821 if (VECTORP (elt))
823 if (NATNUMP (idx) && XFASTINT (idx) < ASIZE (elt))
825 CHECK_IMPURE (elt);
826 ASET (elt, XFASTINT (idx), def);
827 return def;
829 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
831 int from = XFASTINT (XCAR (idx));
832 int to = XFASTINT (XCDR (idx));
834 if (to >= ASIZE (elt))
835 to = ASIZE (elt) - 1;
836 for (; from <= to; from++)
837 ASET (elt, from, def);
838 if (to == XFASTINT (XCDR (idx)))
839 /* We have defined all keys in IDX. */
840 return def;
842 insertion_point = tail;
844 else if (CHAR_TABLE_P (elt))
846 /* Character codes with modifiers
847 are not included in a char-table.
848 All character codes without modifiers are included. */
849 if (NATNUMP (idx) && !(XFASTINT (idx) & CHAR_MODIFIER_MASK))
851 Faset (elt, idx,
852 /* nil has a special meaning for char-tables, so
853 we use something else to record an explicitly
854 unbound entry. */
855 NILP (def) ? Qt : def);
856 return def;
858 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
860 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
861 return def;
863 insertion_point = tail;
865 else if (CONSP (elt))
867 if (EQ (Qkeymap, XCAR (elt)))
868 { /* A sub keymap. This might be due to a lookup that found
869 two matching bindings (maybe because of a sub keymap).
870 It almost never happens (since the second binding normally
871 only happens in the inherited part of the keymap), but
872 if it does, we want to update the sub-keymap since the
873 main one might be temporary (built by access_keymap). */
874 tail = insertion_point = elt;
876 else if (EQ (idx, XCAR (elt)))
878 CHECK_IMPURE (elt);
879 XSETCDR (elt, def);
880 return def;
882 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
884 int from = XFASTINT (XCAR (idx));
885 int to = XFASTINT (XCDR (idx));
887 if (from <= XFASTINT (XCAR (elt))
888 && to >= XFASTINT (XCAR (elt)))
890 XSETCDR (elt, def);
891 if (from == to)
892 return def;
896 else if (EQ (elt, Qkeymap))
897 /* If we find a 'keymap' symbol in the spine of KEYMAP,
898 then we must have found the start of a second keymap
899 being used as the tail of KEYMAP, and a binding for IDX
900 should be inserted before it. */
901 goto keymap_end;
903 QUIT;
906 keymap_end:
907 /* We have scanned the entire keymap, and not found a binding for
908 IDX. Let's add one. */
910 Lisp_Object elt;
912 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
914 /* IDX specifies a range of characters, and not all of them
915 were handled yet, which means this keymap doesn't have a
916 char-table. So, we insert a char-table now. */
917 elt = Fmake_char_table (Qkeymap, Qnil);
918 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
920 else
921 elt = Fcons (idx, def);
922 CHECK_IMPURE (insertion_point);
923 XSETCDR (insertion_point, Fcons (elt, XCDR (insertion_point)));
927 return def;
930 static Lisp_Object
931 copy_keymap_item (Lisp_Object elt)
933 Lisp_Object res, tem;
935 if (!CONSP (elt))
936 return elt;
938 res = tem = elt;
940 /* Is this a new format menu item. */
941 if (EQ (XCAR (tem), Qmenu_item))
943 /* Copy cell with menu-item marker. */
944 res = elt = Fcons (XCAR (tem), XCDR (tem));
945 tem = XCDR (elt);
946 if (CONSP (tem))
948 /* Copy cell with menu-item name. */
949 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
950 elt = XCDR (elt);
951 tem = XCDR (elt);
953 if (CONSP (tem))
955 /* Copy cell with binding and if the binding is a keymap,
956 copy that. */
957 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
958 elt = XCDR (elt);
959 tem = XCAR (elt);
960 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
961 XSETCAR (elt, Fcopy_keymap (tem));
962 tem = XCDR (elt);
965 else
967 /* It may be an old format menu item.
968 Skip the optional menu string. */
969 if (STRINGP (XCAR (tem)))
971 /* Copy the cell, since copy-alist didn't go this deep. */
972 res = elt = Fcons (XCAR (tem), XCDR (tem));
973 tem = XCDR (elt);
974 /* Also skip the optional menu help string. */
975 if (CONSP (tem) && STRINGP (XCAR (tem)))
977 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
978 elt = XCDR (elt);
979 tem = XCDR (elt);
981 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
982 XSETCDR (elt, Fcopy_keymap (tem));
984 else if (EQ (XCAR (tem), Qkeymap))
985 res = Fcopy_keymap (elt);
987 return res;
990 static void
991 copy_keymap_1 (Lisp_Object chartable, Lisp_Object idx, Lisp_Object elt)
993 Fset_char_table_range (chartable, idx, copy_keymap_item (elt));
996 DEFUN ("copy-keymap", Fcopy_keymap, Scopy_keymap, 1, 1, 0,
997 doc: /* Return a copy of the keymap KEYMAP.
998 The copy starts out with the same definitions of KEYMAP,
999 but changing either the copy or KEYMAP does not affect the other.
1000 Any key definitions that are subkeymaps are recursively copied.
1001 However, a key definition which is a symbol whose definition is a keymap
1002 is not copied. */)
1003 (Lisp_Object keymap)
1005 Lisp_Object copy, tail;
1006 keymap = get_keymap (keymap, 1, 0);
1007 copy = tail = list1 (Qkeymap);
1008 keymap = XCDR (keymap); /* Skip the `keymap' symbol. */
1010 while (CONSP (keymap) && !EQ (XCAR (keymap), Qkeymap))
1012 Lisp_Object elt = XCAR (keymap);
1013 if (CHAR_TABLE_P (elt))
1015 elt = Fcopy_sequence (elt);
1016 map_char_table (copy_keymap_1, Qnil, elt, elt);
1018 else if (VECTORP (elt))
1020 int i;
1021 elt = Fcopy_sequence (elt);
1022 for (i = 0; i < ASIZE (elt); i++)
1023 ASET (elt, i, copy_keymap_item (AREF (elt, i)));
1025 else if (CONSP (elt))
1027 if (EQ (XCAR (elt), Qkeymap))
1028 /* This is a sub keymap. */
1029 elt = Fcopy_keymap (elt);
1030 else
1031 elt = Fcons (XCAR (elt), copy_keymap_item (XCDR (elt)));
1033 XSETCDR (tail, list1 (elt));
1034 tail = XCDR (tail);
1035 keymap = XCDR (keymap);
1037 XSETCDR (tail, keymap);
1038 return copy;
1041 /* Simple Keymap mutators and accessors. */
1043 /* GC is possible in this function if it autoloads a keymap. */
1045 DEFUN ("define-key", Fdefine_key, Sdefine_key, 3, 3, 0,
1046 doc: /* In KEYMAP, define key sequence KEY as DEF.
1047 KEYMAP is a keymap.
1049 KEY is a string or a vector of symbols and characters, representing a
1050 sequence of keystrokes and events. Non-ASCII characters with codes
1051 above 127 (such as ISO Latin-1) can be represented by vectors.
1052 Two types of vector have special meanings:
1053 [remap COMMAND] remaps any key binding for COMMAND.
1054 [t] creates a default definition, which applies to any event with no
1055 other definition in KEYMAP.
1057 DEF is anything that can be a key's definition:
1058 nil (means key is undefined in this keymap),
1059 a command (a Lisp function suitable for interactive calling),
1060 a string (treated as a keyboard macro),
1061 a keymap (to define a prefix key),
1062 a symbol (when the key is looked up, the symbol will stand for its
1063 function definition, which should at that time be one of the above,
1064 or another symbol whose function definition is used, etc.),
1065 a cons (STRING . DEFN), meaning that DEFN is the definition
1066 (DEFN should be a valid definition in its own right),
1067 or a cons (MAP . CHAR), meaning use definition of CHAR in keymap MAP,
1068 or an extended menu item definition.
1069 (See info node `(elisp)Extended Menu Items'.)
1071 If KEYMAP is a sparse keymap with a binding for KEY, the existing
1072 binding is altered. If there is no binding for KEY, the new pair
1073 binding KEY to DEF is added at the front of KEYMAP. */)
1074 (Lisp_Object keymap, Lisp_Object key, Lisp_Object def)
1076 ptrdiff_t idx;
1077 Lisp_Object c;
1078 Lisp_Object cmd;
1079 bool metized = 0;
1080 int meta_bit;
1081 ptrdiff_t length;
1082 struct gcpro gcpro1, gcpro2, gcpro3;
1084 GCPRO3 (keymap, key, def);
1085 keymap = get_keymap (keymap, 1, 1);
1087 length = CHECK_VECTOR_OR_STRING (key);
1088 if (length == 0)
1089 RETURN_UNGCPRO (Qnil);
1091 if (SYMBOLP (def) && !EQ (Vdefine_key_rebound_commands, Qt))
1092 Vdefine_key_rebound_commands = Fcons (def, Vdefine_key_rebound_commands);
1094 meta_bit = (VECTORP (key) || (STRINGP (key) && STRING_MULTIBYTE (key))
1095 ? meta_modifier : 0x80);
1097 if (VECTORP (def) && ASIZE (def) > 0 && CONSP (AREF (def, 0)))
1098 { /* DEF is apparently an XEmacs-style keyboard macro. */
1099 Lisp_Object tmp = Fmake_vector (make_number (ASIZE (def)), Qnil);
1100 ptrdiff_t i = ASIZE (def);
1101 while (--i >= 0)
1103 Lisp_Object defi = AREF (def, i);
1104 if (CONSP (defi) && lucid_event_type_list_p (defi))
1105 defi = Fevent_convert_list (defi);
1106 ASET (tmp, i, defi);
1108 def = tmp;
1111 idx = 0;
1112 while (1)
1114 c = Faref (key, make_number (idx));
1116 if (CONSP (c))
1118 /* C may be a Lucid style event type list or a cons (FROM .
1119 TO) specifying a range of characters. */
1120 if (lucid_event_type_list_p (c))
1121 c = Fevent_convert_list (c);
1122 else if (CHARACTERP (XCAR (c)))
1123 CHECK_CHARACTER_CDR (c);
1126 if (SYMBOLP (c))
1127 silly_event_symbol_error (c);
1129 if (INTEGERP (c)
1130 && (XINT (c) & meta_bit)
1131 && !metized)
1133 c = meta_prefix_char;
1134 metized = 1;
1136 else
1138 if (INTEGERP (c))
1139 XSETINT (c, XINT (c) & ~meta_bit);
1141 metized = 0;
1142 idx++;
1145 if (!INTEGERP (c) && !SYMBOLP (c)
1146 && (!CONSP (c)
1147 /* If C is a range, it must be a leaf. */
1148 || (INTEGERP (XCAR (c)) && idx != length)))
1149 message_with_string ("Key sequence contains invalid event %s", c, 1);
1151 if (idx == length)
1152 RETURN_UNGCPRO (store_in_keymap (keymap, c, def));
1154 cmd = access_keymap (keymap, c, 0, 1, 1);
1156 /* If this key is undefined, make it a prefix. */
1157 if (NILP (cmd))
1158 cmd = define_as_prefix (keymap, c);
1160 keymap = get_keymap (cmd, 0, 1);
1161 if (!CONSP (keymap))
1163 const char *trailing_esc = ((EQ (c, meta_prefix_char) && metized)
1164 ? (idx == 0 ? "ESC" : " ESC")
1165 : "");
1167 /* We must use Fkey_description rather than just passing key to
1168 error; key might be a vector, not a string. */
1169 error ("Key sequence %s starts with non-prefix key %s%s",
1170 SDATA (Fkey_description (key, Qnil)),
1171 SDATA (Fkey_description (Fsubstring (key, make_number (0),
1172 make_number (idx)),
1173 Qnil)),
1174 trailing_esc);
1179 /* This function may GC (it calls Fkey_binding). */
1181 DEFUN ("command-remapping", Fcommand_remapping, Scommand_remapping, 1, 3, 0,
1182 doc: /* Return the remapping for command COMMAND.
1183 Returns nil if COMMAND is not remapped (or not a symbol).
1185 If the optional argument POSITION is non-nil, it specifies a mouse
1186 position as returned by `event-start' and `event-end', and the
1187 remapping occurs in the keymaps associated with it. It can also be a
1188 number or marker, in which case the keymap properties at the specified
1189 buffer position instead of point are used. The KEYMAPS argument is
1190 ignored if POSITION is non-nil.
1192 If the optional argument KEYMAPS is non-nil, it should be a list of
1193 keymaps to search for command remapping. Otherwise, search for the
1194 remapping in all currently active keymaps. */)
1195 (Lisp_Object command, Lisp_Object position, Lisp_Object keymaps)
1197 if (!SYMBOLP (command))
1198 return Qnil;
1200 ASET (command_remapping_vector, 1, command);
1202 if (NILP (keymaps))
1203 command = Fkey_binding (command_remapping_vector, Qnil, Qt, position);
1204 else
1205 command = Flookup_key (Fcons (Qkeymap, keymaps),
1206 command_remapping_vector, Qnil);
1207 return INTEGERP (command) ? Qnil : command;
1210 /* Value is number if KEY is too long; nil if valid but has no definition. */
1211 /* GC is possible in this function. */
1213 DEFUN ("lookup-key", Flookup_key, Slookup_key, 2, 3, 0,
1214 doc: /* In keymap KEYMAP, look up key sequence KEY. Return the definition.
1215 A value of nil means undefined. See doc of `define-key'
1216 for kinds of definitions.
1218 A number as value means KEY is "too long";
1219 that is, characters or symbols in it except for the last one
1220 fail to be a valid sequence of prefix characters in KEYMAP.
1221 The number is how many characters at the front of KEY
1222 it takes to reach a non-prefix key.
1224 Normally, `lookup-key' ignores bindings for t, which act as default
1225 bindings, used when nothing else in the keymap applies; this makes it
1226 usable as a general function for probing keymaps. However, if the
1227 third optional argument ACCEPT-DEFAULT is non-nil, `lookup-key' will
1228 recognize the default bindings, just as `read-key-sequence' does. */)
1229 (Lisp_Object keymap, Lisp_Object key, Lisp_Object accept_default)
1231 ptrdiff_t idx;
1232 Lisp_Object cmd;
1233 Lisp_Object c;
1234 ptrdiff_t length;
1235 bool t_ok = !NILP (accept_default);
1236 struct gcpro gcpro1, gcpro2;
1238 GCPRO2 (keymap, key);
1239 keymap = get_keymap (keymap, 1, 1);
1241 length = CHECK_VECTOR_OR_STRING (key);
1242 if (length == 0)
1243 RETURN_UNGCPRO (keymap);
1245 idx = 0;
1246 while (1)
1248 c = Faref (key, make_number (idx++));
1250 if (CONSP (c) && lucid_event_type_list_p (c))
1251 c = Fevent_convert_list (c);
1253 /* Turn the 8th bit of string chars into a meta modifier. */
1254 if (STRINGP (key) && XINT (c) & 0x80 && !STRING_MULTIBYTE (key))
1255 XSETINT (c, (XINT (c) | meta_modifier) & ~0x80);
1257 /* Allow string since binding for `menu-bar-select-buffer'
1258 includes the buffer name in the key sequence. */
1259 if (!INTEGERP (c) && !SYMBOLP (c) && !CONSP (c) && !STRINGP (c))
1260 message_with_string ("Key sequence contains invalid event %s", c, 1);
1262 cmd = access_keymap (keymap, c, t_ok, 0, 1);
1263 if (idx == length)
1264 RETURN_UNGCPRO (cmd);
1266 keymap = get_keymap (cmd, 0, 1);
1267 if (!CONSP (keymap))
1268 RETURN_UNGCPRO (make_number (idx));
1270 QUIT;
1274 /* Make KEYMAP define event C as a keymap (i.e., as a prefix).
1275 Assume that currently it does not define C at all.
1276 Return the keymap. */
1278 static Lisp_Object
1279 define_as_prefix (Lisp_Object keymap, Lisp_Object c)
1281 Lisp_Object cmd;
1283 cmd = Fmake_sparse_keymap (Qnil);
1284 store_in_keymap (keymap, c, cmd);
1286 return cmd;
1289 /* Append a key to the end of a key sequence. We always make a vector. */
1291 static Lisp_Object
1292 append_key (Lisp_Object key_sequence, Lisp_Object key)
1294 AUTO_LIST1 (key_list, key);
1295 return CALLN (Fvconcat, key_sequence, key_list);
1298 /* Given a event type C which is a symbol,
1299 signal an error if is a mistake such as RET or M-RET or C-DEL, etc. */
1301 static void
1302 silly_event_symbol_error (Lisp_Object c)
1304 Lisp_Object parsed, base, name, assoc;
1305 int modifiers;
1307 parsed = parse_modifiers (c);
1308 modifiers = XFASTINT (XCAR (XCDR (parsed)));
1309 base = XCAR (parsed);
1310 name = Fsymbol_name (base);
1311 /* This alist includes elements such as ("RET" . "\\r"). */
1312 assoc = Fassoc (name, exclude_keys);
1314 if (! NILP (assoc))
1316 char new_mods[sizeof ("\\A-\\C-\\H-\\M-\\S-\\s-")];
1317 char *p = new_mods;
1318 Lisp_Object keystring;
1319 if (modifiers & alt_modifier)
1320 { *p++ = '\\'; *p++ = 'A'; *p++ = '-'; }
1321 if (modifiers & ctrl_modifier)
1322 { *p++ = '\\'; *p++ = 'C'; *p++ = '-'; }
1323 if (modifiers & hyper_modifier)
1324 { *p++ = '\\'; *p++ = 'H'; *p++ = '-'; }
1325 if (modifiers & meta_modifier)
1326 { *p++ = '\\'; *p++ = 'M'; *p++ = '-'; }
1327 if (modifiers & shift_modifier)
1328 { *p++ = '\\'; *p++ = 'S'; *p++ = '-'; }
1329 if (modifiers & super_modifier)
1330 { *p++ = '\\'; *p++ = 's'; *p++ = '-'; }
1331 *p = 0;
1333 c = reorder_modifiers (c);
1334 AUTO_STRING (new_mods_string, new_mods);
1335 keystring = concat2 (new_mods_string, XCDR (assoc));
1337 error ("To bind the key %s, use [?%s], not [%s]",
1338 SDATA (SYMBOL_NAME (c)), SDATA (keystring),
1339 SDATA (SYMBOL_NAME (c)));
1343 /* Global, local, and minor mode keymap stuff. */
1345 /* We can't put these variables inside current_minor_maps, since under
1346 some systems, static gets macro-defined to be the empty string.
1347 Ickypoo. */
1348 static Lisp_Object *cmm_modes = NULL, *cmm_maps = NULL;
1349 static ptrdiff_t cmm_size = 0;
1351 /* Store a pointer to an array of the currently active minor modes in
1352 *modeptr, a pointer to an array of the keymaps of the currently
1353 active minor modes in *mapptr, and return the number of maps
1354 *mapptr contains.
1356 This function always returns a pointer to the same buffer, and may
1357 free or reallocate it, so if you want to keep it for a long time or
1358 hand it out to lisp code, copy it. This procedure will be called
1359 for every key sequence read, so the nice lispy approach (return a
1360 new assoclist, list, what have you) for each invocation would
1361 result in a lot of consing over time.
1363 If we used xrealloc/xmalloc and ran out of memory, they would throw
1364 back to the command loop, which would try to read a key sequence,
1365 which would call this function again, resulting in an infinite
1366 loop. Instead, we'll use realloc/malloc and silently truncate the
1367 list, let the key sequence be read, and hope some other piece of
1368 code signals the error. */
1369 ptrdiff_t
1370 current_minor_maps (Lisp_Object **modeptr, Lisp_Object **mapptr)
1372 ptrdiff_t i = 0;
1373 int list_number = 0;
1374 Lisp_Object alist, assoc, var, val;
1375 Lisp_Object emulation_alists;
1376 Lisp_Object lists[2];
1378 emulation_alists = Vemulation_mode_map_alists;
1379 lists[0] = Vminor_mode_overriding_map_alist;
1380 lists[1] = Vminor_mode_map_alist;
1382 for (list_number = 0; list_number < 2; list_number++)
1384 if (CONSP (emulation_alists))
1386 alist = XCAR (emulation_alists);
1387 emulation_alists = XCDR (emulation_alists);
1388 if (SYMBOLP (alist))
1389 alist = find_symbol_value (alist);
1390 list_number = -1;
1392 else
1393 alist = lists[list_number];
1395 for ( ; CONSP (alist); alist = XCDR (alist))
1396 if ((assoc = XCAR (alist), CONSP (assoc))
1397 && (var = XCAR (assoc), SYMBOLP (var))
1398 && (val = find_symbol_value (var), !EQ (val, Qunbound))
1399 && !NILP (val))
1401 Lisp_Object temp;
1403 /* If a variable has an entry in Vminor_mode_overriding_map_alist,
1404 and also an entry in Vminor_mode_map_alist,
1405 ignore the latter. */
1406 if (list_number == 1)
1408 val = assq_no_quit (var, lists[0]);
1409 if (!NILP (val))
1410 continue;
1413 if (i >= cmm_size)
1415 ptrdiff_t newsize, allocsize;
1416 Lisp_Object *newmodes, *newmaps;
1418 /* Check for size calculation overflow. Other code
1419 (e.g., read_key_sequence) adds 3 to the count
1420 later, so subtract 3 from the limit here. */
1421 if (min (PTRDIFF_MAX, SIZE_MAX) / (2 * sizeof *newmodes) - 3
1422 < cmm_size)
1423 break;
1425 newsize = cmm_size == 0 ? 30 : cmm_size * 2;
1426 allocsize = newsize * sizeof *newmodes;
1428 /* Use malloc here. See the comment above this function.
1429 Avoid realloc here; it causes spurious traps on GNU/Linux [KFS] */
1430 block_input ();
1431 newmodes = malloc (allocsize);
1432 if (newmodes)
1434 if (cmm_modes)
1436 memcpy (newmodes, cmm_modes,
1437 cmm_size * sizeof cmm_modes[0]);
1438 free (cmm_modes);
1440 cmm_modes = newmodes;
1443 newmaps = malloc (allocsize);
1444 if (newmaps)
1446 if (cmm_maps)
1448 memcpy (newmaps, cmm_maps,
1449 cmm_size * sizeof cmm_maps[0]);
1450 free (cmm_maps);
1452 cmm_maps = newmaps;
1454 unblock_input ();
1456 if (newmodes == NULL || newmaps == NULL)
1457 break;
1458 cmm_size = newsize;
1461 /* Get the keymap definition--or nil if it is not defined. */
1462 temp = Findirect_function (XCDR (assoc), Qt);
1463 if (!NILP (temp))
1465 cmm_modes[i] = var;
1466 cmm_maps [i] = temp;
1467 i++;
1472 if (modeptr) *modeptr = cmm_modes;
1473 if (mapptr) *mapptr = cmm_maps;
1474 return i;
1477 /* Return the offset of POSITION, a click position, in the style of
1478 the respective argument of Fkey_binding. */
1479 static ptrdiff_t
1480 click_position (Lisp_Object position)
1482 EMACS_INT pos = (INTEGERP (position) ? XINT (position)
1483 : MARKERP (position) ? marker_position (position)
1484 : PT);
1485 if (! (BEGV <= pos && pos <= ZV))
1486 args_out_of_range (Fcurrent_buffer (), position);
1487 return pos;
1490 DEFUN ("current-active-maps", Fcurrent_active_maps, Scurrent_active_maps,
1491 0, 2, 0,
1492 doc: /* Return a list of the currently active keymaps.
1493 OLP if non-nil indicates that we should obey `overriding-local-map' and
1494 `overriding-terminal-local-map'. POSITION can specify a click position
1495 like in the respective argument of `key-binding'. */)
1496 (Lisp_Object olp, Lisp_Object position)
1498 ptrdiff_t count = SPECPDL_INDEX ();
1500 Lisp_Object keymaps = list1 (current_global_map);
1502 /* If a mouse click position is given, our variables are based on
1503 the buffer clicked on, not the current buffer. So we may have to
1504 switch the buffer here. */
1506 if (CONSP (position))
1508 Lisp_Object window;
1510 window = POSN_WINDOW (position);
1512 if (WINDOWP (window)
1513 && BUFFERP (XWINDOW (window)->contents)
1514 && XBUFFER (XWINDOW (window)->contents) != current_buffer)
1516 /* Arrange to go back to the original buffer once we're done
1517 processing the key sequence. We don't use
1518 save_excursion_{save,restore} here, in analogy to
1519 `read-key-sequence' to avoid saving point. Maybe this
1520 would not be a problem here, but it is easier to keep
1521 things the same.
1523 record_unwind_current_buffer ();
1524 set_buffer_internal (XBUFFER (XWINDOW (window)->contents));
1528 if (!NILP (olp)
1529 /* The doc said that overriding-terminal-local-map should
1530 override overriding-local-map. The code used them both,
1531 but it seems clearer to use just one. rms, jan 2005. */
1532 && NILP (KVAR (current_kboard, Voverriding_terminal_local_map))
1533 && !NILP (Voverriding_local_map))
1534 keymaps = Fcons (Voverriding_local_map, keymaps);
1536 if (NILP (XCDR (keymaps)))
1538 Lisp_Object *maps;
1539 int nmaps, i;
1540 ptrdiff_t pt = click_position (position);
1541 /* This usually returns the buffer's local map,
1542 but that can be overridden by a `local-map' property. */
1543 Lisp_Object local_map = get_local_map (pt, current_buffer, Qlocal_map);
1544 /* This returns nil unless there is a `keymap' property. */
1545 Lisp_Object keymap = get_local_map (pt, current_buffer, Qkeymap);
1546 Lisp_Object otlp = KVAR (current_kboard, Voverriding_terminal_local_map);
1548 if (CONSP (position))
1550 Lisp_Object string = POSN_STRING (position);
1552 /* For a mouse click, get the local text-property keymap
1553 of the place clicked on, rather than point. */
1555 if (POSN_INBUFFER_P (position))
1557 Lisp_Object pos;
1559 pos = POSN_BUFFER_POSN (position);
1560 if (INTEGERP (pos)
1561 && XINT (pos) >= BEG && XINT (pos) <= Z)
1563 local_map = get_local_map (XINT (pos),
1564 current_buffer, Qlocal_map);
1566 keymap = get_local_map (XINT (pos),
1567 current_buffer, Qkeymap);
1571 /* If on a mode line string with a local keymap,
1572 or for a click on a string, i.e. overlay string or a
1573 string displayed via the `display' property,
1574 consider `local-map' and `keymap' properties of
1575 that string. */
1577 if (CONSP (string) && STRINGP (XCAR (string)))
1579 Lisp_Object pos, map;
1581 pos = XCDR (string);
1582 string = XCAR (string);
1583 if (INTEGERP (pos)
1584 && XINT (pos) >= 0
1585 && XINT (pos) < SCHARS (string))
1587 map = Fget_text_property (pos, Qlocal_map, string);
1588 if (!NILP (map))
1589 local_map = map;
1591 map = Fget_text_property (pos, Qkeymap, string);
1592 if (!NILP (map))
1593 keymap = map;
1599 if (!NILP (local_map))
1600 keymaps = Fcons (local_map, keymaps);
1602 /* Now put all the minor mode keymaps on the list. */
1603 nmaps = current_minor_maps (0, &maps);
1605 for (i = --nmaps; i >= 0; i--)
1606 if (!NILP (maps[i]))
1607 keymaps = Fcons (maps[i], keymaps);
1609 if (!NILP (keymap))
1610 keymaps = Fcons (keymap, keymaps);
1612 if (!NILP (olp) && !NILP (otlp))
1613 keymaps = Fcons (otlp, keymaps);
1616 unbind_to (count, Qnil);
1618 return keymaps;
1621 /* GC is possible in this function if it autoloads a keymap. */
1623 DEFUN ("key-binding", Fkey_binding, Skey_binding, 1, 4, 0,
1624 doc: /* Return the binding for command KEY in current keymaps.
1625 KEY is a string or vector, a sequence of keystrokes.
1626 The binding is probably a symbol with a function definition.
1628 Normally, `key-binding' ignores bindings for t, which act as default
1629 bindings, used when nothing else in the keymap applies; this makes it
1630 usable as a general function for probing keymaps. However, if the
1631 optional second argument ACCEPT-DEFAULT is non-nil, `key-binding' does
1632 recognize the default bindings, just as `read-key-sequence' does.
1634 Like the normal command loop, `key-binding' will remap the command
1635 resulting from looking up KEY by looking up the command in the
1636 current keymaps. However, if the optional third argument NO-REMAP
1637 is non-nil, `key-binding' returns the unmapped command.
1639 If KEY is a key sequence initiated with the mouse, the used keymaps
1640 will depend on the clicked mouse position with regard to the buffer
1641 and possible local keymaps on strings.
1643 If the optional argument POSITION is non-nil, it specifies a mouse
1644 position as returned by `event-start' and `event-end', and the lookup
1645 occurs in the keymaps associated with it instead of KEY. It can also
1646 be a number or marker, in which case the keymap properties at the
1647 specified buffer position instead of point are used.
1649 (Lisp_Object key, Lisp_Object accept_default, Lisp_Object no_remap, Lisp_Object position)
1651 Lisp_Object value;
1653 if (NILP (position) && VECTORP (key))
1655 Lisp_Object event;
1657 if (ASIZE (key) == 0)
1658 return Qnil;
1660 /* mouse events may have a symbolic prefix indicating the
1661 scrollbar or mode line */
1662 event = AREF (key, SYMBOLP (AREF (key, 0)) && ASIZE (key) > 1 ? 1 : 0);
1664 /* We are not interested in locations without event data */
1666 if (EVENT_HAS_PARAMETERS (event) && CONSP (XCDR (event)))
1668 Lisp_Object kind = EVENT_HEAD_KIND (EVENT_HEAD (event));
1669 if (EQ (kind, Qmouse_click))
1670 position = EVENT_START (event);
1674 value = Flookup_key (Fcons (Qkeymap, Fcurrent_active_maps (Qt, position)),
1675 key, accept_default);
1677 if (NILP (value) || INTEGERP (value))
1678 return Qnil;
1680 /* If the result of the ordinary keymap lookup is an interactive
1681 command, look for a key binding (ie. remapping) for that command. */
1683 if (NILP (no_remap) && SYMBOLP (value))
1685 Lisp_Object value1;
1686 if (value1 = Fcommand_remapping (value, position, Qnil), !NILP (value1))
1687 value = value1;
1690 return value;
1693 /* GC is possible in this function if it autoloads a keymap. */
1695 DEFUN ("local-key-binding", Flocal_key_binding, Slocal_key_binding, 1, 2, 0,
1696 doc: /* Return the binding for command KEYS in current local keymap only.
1697 KEYS is a string or vector, a sequence of keystrokes.
1698 The binding is probably a symbol with a function definition.
1700 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1701 bindings; see the description of `lookup-key' for more details about this. */)
1702 (Lisp_Object keys, Lisp_Object accept_default)
1704 register Lisp_Object map;
1705 map = BVAR (current_buffer, keymap);
1706 if (NILP (map))
1707 return Qnil;
1708 return Flookup_key (map, keys, accept_default);
1711 /* GC is possible in this function if it autoloads a keymap. */
1713 DEFUN ("global-key-binding", Fglobal_key_binding, Sglobal_key_binding, 1, 2, 0,
1714 doc: /* Return the binding for command KEYS in current global keymap only.
1715 KEYS is a string or vector, a sequence of keystrokes.
1716 The binding is probably a symbol with a function definition.
1717 This function's return values are the same as those of `lookup-key'
1718 \(which see).
1720 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1721 bindings; see the description of `lookup-key' for more details about this. */)
1722 (Lisp_Object keys, Lisp_Object accept_default)
1724 return Flookup_key (current_global_map, keys, accept_default);
1727 /* GC is possible in this function if it autoloads a keymap. */
1729 DEFUN ("minor-mode-key-binding", Fminor_mode_key_binding, Sminor_mode_key_binding, 1, 2, 0,
1730 doc: /* Find the visible minor mode bindings of KEY.
1731 Return an alist of pairs (MODENAME . BINDING), where MODENAME is
1732 the symbol which names the minor mode binding KEY, and BINDING is
1733 KEY's definition in that mode. In particular, if KEY has no
1734 minor-mode bindings, return nil. If the first binding is a
1735 non-prefix, all subsequent bindings will be omitted, since they would
1736 be ignored. Similarly, the list doesn't include non-prefix bindings
1737 that come after prefix bindings.
1739 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1740 bindings; see the description of `lookup-key' for more details about this. */)
1741 (Lisp_Object key, Lisp_Object accept_default)
1743 Lisp_Object *modes, *maps;
1744 int nmaps;
1745 Lisp_Object binding;
1746 int i, j;
1747 struct gcpro gcpro1, gcpro2;
1749 nmaps = current_minor_maps (&modes, &maps);
1750 /* Note that all these maps are GCPRO'd
1751 in the places where we found them. */
1753 binding = Qnil;
1754 GCPRO2 (key, binding);
1756 for (i = j = 0; i < nmaps; i++)
1757 if (!NILP (maps[i])
1758 && !NILP (binding = Flookup_key (maps[i], key, accept_default))
1759 && !INTEGERP (binding))
1761 if (KEYMAPP (binding))
1762 maps[j++] = Fcons (modes[i], binding);
1763 else if (j == 0)
1764 RETURN_UNGCPRO (list1 (Fcons (modes[i], binding)));
1767 UNGCPRO;
1768 return Flist (j, maps);
1771 DEFUN ("define-prefix-command", Fdefine_prefix_command, Sdefine_prefix_command, 1, 3, 0,
1772 doc: /* Define COMMAND as a prefix command. COMMAND should be a symbol.
1773 A new sparse keymap is stored as COMMAND's function definition and its value.
1774 If a second optional argument MAPVAR is given, the map is stored as
1775 its value instead of as COMMAND's value; but COMMAND is still defined
1776 as a function.
1777 The third optional argument NAME, if given, supplies a menu name
1778 string for the map. This is required to use the keymap as a menu.
1779 This function returns COMMAND. */)
1780 (Lisp_Object command, Lisp_Object mapvar, Lisp_Object name)
1782 Lisp_Object map;
1783 map = Fmake_sparse_keymap (name);
1784 Ffset (command, map);
1785 if (!NILP (mapvar))
1786 Fset (mapvar, map);
1787 else
1788 Fset (command, map);
1789 return command;
1792 DEFUN ("use-global-map", Fuse_global_map, Suse_global_map, 1, 1, 0,
1793 doc: /* Select KEYMAP as the global keymap. */)
1794 (Lisp_Object keymap)
1796 keymap = get_keymap (keymap, 1, 1);
1797 current_global_map = keymap;
1799 return Qnil;
1802 DEFUN ("use-local-map", Fuse_local_map, Suse_local_map, 1, 1, 0,
1803 doc: /* Select KEYMAP as the local keymap.
1804 If KEYMAP is nil, that means no local keymap. */)
1805 (Lisp_Object keymap)
1807 if (!NILP (keymap))
1808 keymap = get_keymap (keymap, 1, 1);
1810 bset_keymap (current_buffer, keymap);
1812 return Qnil;
1815 DEFUN ("current-local-map", Fcurrent_local_map, Scurrent_local_map, 0, 0, 0,
1816 doc: /* Return current buffer's local keymap, or nil if it has none.
1817 Normally the local keymap is set by the major mode with `use-local-map'. */)
1818 (void)
1820 return BVAR (current_buffer, keymap);
1823 DEFUN ("current-global-map", Fcurrent_global_map, Scurrent_global_map, 0, 0, 0,
1824 doc: /* Return the current global keymap. */)
1825 (void)
1827 return current_global_map;
1830 DEFUN ("current-minor-mode-maps", Fcurrent_minor_mode_maps, Scurrent_minor_mode_maps, 0, 0, 0,
1831 doc: /* Return a list of keymaps for the minor modes of the current buffer. */)
1832 (void)
1834 Lisp_Object *maps;
1835 int nmaps = current_minor_maps (0, &maps);
1837 return Flist (nmaps, maps);
1840 /* Help functions for describing and documenting keymaps. */
1842 struct accessible_keymaps_data {
1843 Lisp_Object maps, tail, thisseq;
1844 /* Does the current sequence end in the meta-prefix-char? */
1845 bool is_metized;
1848 static void
1849 accessible_keymaps_1 (Lisp_Object key, Lisp_Object cmd, Lisp_Object args, void *data)
1850 /* Use void * data to be compatible with map_keymap_function_t. */
1852 struct accessible_keymaps_data *d = data; /* Cast! */
1853 Lisp_Object maps = d->maps;
1854 Lisp_Object tail = d->tail;
1855 Lisp_Object thisseq = d->thisseq;
1856 bool is_metized = d->is_metized && INTEGERP (key);
1857 Lisp_Object tem;
1859 cmd = get_keymap (get_keyelt (cmd, 0), 0, 0);
1860 if (NILP (cmd))
1861 return;
1863 /* Look for and break cycles. */
1864 while (!NILP (tem = Frassq (cmd, maps)))
1866 Lisp_Object prefix = XCAR (tem);
1867 ptrdiff_t lim = XINT (Flength (XCAR (tem)));
1868 if (lim <= XINT (Flength (thisseq)))
1869 { /* This keymap was already seen with a smaller prefix. */
1870 ptrdiff_t i = 0;
1871 while (i < lim && EQ (Faref (prefix, make_number (i)),
1872 Faref (thisseq, make_number (i))))
1873 i++;
1874 if (i >= lim)
1875 /* `prefix' is a prefix of `thisseq' => there's a cycle. */
1876 return;
1878 /* This occurrence of `cmd' in `maps' does not correspond to a cycle,
1879 but maybe `cmd' occurs again further down in `maps', so keep
1880 looking. */
1881 maps = XCDR (Fmemq (tem, maps));
1884 /* If the last key in thisseq is meta-prefix-char,
1885 turn it into a meta-ized keystroke. We know
1886 that the event we're about to append is an
1887 ascii keystroke since we're processing a
1888 keymap table. */
1889 if (is_metized)
1891 int meta_bit = meta_modifier;
1892 Lisp_Object last = make_number (XINT (Flength (thisseq)) - 1);
1893 tem = Fcopy_sequence (thisseq);
1895 Faset (tem, last, make_number (XINT (key) | meta_bit));
1897 /* This new sequence is the same length as
1898 thisseq, so stick it in the list right
1899 after this one. */
1900 XSETCDR (tail,
1901 Fcons (Fcons (tem, cmd), XCDR (tail)));
1903 else
1905 tem = append_key (thisseq, key);
1906 nconc2 (tail, list1 (Fcons (tem, cmd)));
1910 /* This function cannot GC. */
1912 DEFUN ("accessible-keymaps", Faccessible_keymaps, Saccessible_keymaps,
1913 1, 2, 0,
1914 doc: /* Find all keymaps accessible via prefix characters from KEYMAP.
1915 Returns a list of elements of the form (KEYS . MAP), where the sequence
1916 KEYS starting from KEYMAP gets you to MAP. These elements are ordered
1917 so that the KEYS increase in length. The first element is ([] . KEYMAP).
1918 An optional argument PREFIX, if non-nil, should be a key sequence;
1919 then the value includes only maps for prefixes that start with PREFIX. */)
1920 (Lisp_Object keymap, Lisp_Object prefix)
1922 Lisp_Object maps, tail;
1923 EMACS_INT prefixlen = XFASTINT (Flength (prefix));
1925 /* no need for gcpro because we don't autoload any keymaps. */
1927 if (!NILP (prefix))
1929 /* If a prefix was specified, start with the keymap (if any) for
1930 that prefix, so we don't waste time considering other prefixes. */
1931 Lisp_Object tem;
1932 tem = Flookup_key (keymap, prefix, Qt);
1933 /* Flookup_key may give us nil, or a number,
1934 if the prefix is not defined in this particular map.
1935 It might even give us a list that isn't a keymap. */
1936 tem = get_keymap (tem, 0, 0);
1937 /* If the keymap is autoloaded `tem' is not a cons-cell, but we still
1938 want to return it. */
1939 if (!NILP (tem))
1941 /* Convert PREFIX to a vector now, so that later on
1942 we don't have to deal with the possibility of a string. */
1943 if (STRINGP (prefix))
1945 int i, i_byte, c;
1946 Lisp_Object copy;
1948 copy = Fmake_vector (make_number (SCHARS (prefix)), Qnil);
1949 for (i = 0, i_byte = 0; i < SCHARS (prefix);)
1951 int i_before = i;
1953 FETCH_STRING_CHAR_ADVANCE (c, prefix, i, i_byte);
1954 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
1955 c ^= 0200 | meta_modifier;
1956 ASET (copy, i_before, make_number (c));
1958 prefix = copy;
1960 maps = list1 (Fcons (prefix, tem));
1962 else
1963 return Qnil;
1965 else
1966 maps = list1 (Fcons (zero_vector, get_keymap (keymap, 1, 0)));
1968 /* For each map in the list maps,
1969 look at any other maps it points to,
1970 and stick them at the end if they are not already in the list.
1972 This is a breadth-first traversal, where tail is the queue of
1973 nodes, and maps accumulates a list of all nodes visited. */
1975 for (tail = maps; CONSP (tail); tail = XCDR (tail))
1977 struct accessible_keymaps_data data;
1978 register Lisp_Object thismap = Fcdr (XCAR (tail));
1979 Lisp_Object last;
1981 data.thisseq = Fcar (XCAR (tail));
1982 data.maps = maps;
1983 data.tail = tail;
1984 last = make_number (XINT (Flength (data.thisseq)) - 1);
1985 /* Does the current sequence end in the meta-prefix-char? */
1986 data.is_metized = (XINT (last) >= 0
1987 /* Don't metize the last char of PREFIX. */
1988 && XINT (last) >= prefixlen
1989 && EQ (Faref (data.thisseq, last), meta_prefix_char));
1991 /* Since we can't run lisp code, we can't scan autoloaded maps. */
1992 if (CONSP (thismap))
1993 map_keymap (thismap, accessible_keymaps_1, Qnil, &data, 0);
1995 return maps;
1998 /* This function cannot GC. */
2000 DEFUN ("key-description", Fkey_description, Skey_description, 1, 2, 0,
2001 doc: /* Return a pretty description of key-sequence KEYS.
2002 Optional arg PREFIX is the sequence of keys leading up to KEYS.
2003 For example, [?\C-x ?l] is converted into the string \"C-x l\".
2005 For an approximate inverse of this, see `kbd'. */)
2006 (Lisp_Object keys, Lisp_Object prefix)
2008 ptrdiff_t len = 0;
2009 EMACS_INT i;
2010 ptrdiff_t i_byte;
2011 Lisp_Object *args;
2012 EMACS_INT size = XINT (Flength (keys));
2013 Lisp_Object list;
2014 Lisp_Object sep = build_string (" ");
2015 Lisp_Object key;
2016 Lisp_Object result;
2017 bool add_meta = 0;
2018 USE_SAFE_ALLOCA;
2020 if (!NILP (prefix))
2021 size += XINT (Flength (prefix));
2023 /* This has one extra element at the end that we don't pass to Fconcat. */
2024 if (min (PTRDIFF_MAX, SIZE_MAX) / word_size / 4 < size)
2025 memory_full (SIZE_MAX);
2026 SAFE_ALLOCA_LISP (args, size * 4);
2028 /* In effect, this computes
2029 (mapconcat 'single-key-description keys " ")
2030 but we shouldn't use mapconcat because it can do GC. */
2032 next_list:
2033 if (!NILP (prefix))
2034 list = prefix, prefix = Qnil;
2035 else if (!NILP (keys))
2036 list = keys, keys = Qnil;
2037 else
2039 if (add_meta)
2041 args[len] = Fsingle_key_description (meta_prefix_char, Qnil);
2042 result = Fconcat (len + 1, args);
2044 else if (len == 0)
2045 result = empty_unibyte_string;
2046 else
2047 result = Fconcat (len - 1, args);
2048 SAFE_FREE ();
2049 return result;
2052 if (STRINGP (list))
2053 size = SCHARS (list);
2054 else if (VECTORP (list))
2055 size = ASIZE (list);
2056 else if (CONSP (list))
2057 size = XINT (Flength (list));
2058 else
2059 wrong_type_argument (Qarrayp, list);
2061 i = i_byte = 0;
2063 while (i < size)
2065 if (STRINGP (list))
2067 int c;
2068 FETCH_STRING_CHAR_ADVANCE (c, list, i, i_byte);
2069 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2070 c ^= 0200 | meta_modifier;
2071 XSETFASTINT (key, c);
2073 else if (VECTORP (list))
2075 key = AREF (list, i); i++;
2077 else
2079 key = XCAR (list);
2080 list = XCDR (list);
2081 i++;
2084 if (add_meta)
2086 if (!INTEGERP (key)
2087 || EQ (key, meta_prefix_char)
2088 || (XINT (key) & meta_modifier))
2090 args[len++] = Fsingle_key_description (meta_prefix_char, Qnil);
2091 args[len++] = sep;
2092 if (EQ (key, meta_prefix_char))
2093 continue;
2095 else
2096 XSETINT (key, XINT (key) | meta_modifier);
2097 add_meta = 0;
2099 else if (EQ (key, meta_prefix_char))
2101 add_meta = 1;
2102 continue;
2104 args[len++] = Fsingle_key_description (key, Qnil);
2105 args[len++] = sep;
2107 goto next_list;
2111 char *
2112 push_key_description (EMACS_INT ch, char *p)
2114 int c, c2;
2115 bool tab_as_ci;
2117 /* Clear all the meaningless bits above the meta bit. */
2118 c = ch & (meta_modifier | ~ - meta_modifier);
2119 c2 = c & ~(alt_modifier | ctrl_modifier | hyper_modifier
2120 | meta_modifier | shift_modifier | super_modifier);
2122 if (! CHARACTERP (make_number (c2)))
2124 /* KEY_DESCRIPTION_SIZE is large enough for this. */
2125 p += sprintf (p, "[%d]", c);
2126 return p;
2129 tab_as_ci = (c2 == '\t' && (c & meta_modifier));
2131 if (c & alt_modifier)
2133 *p++ = 'A';
2134 *p++ = '-';
2135 c -= alt_modifier;
2137 if ((c & ctrl_modifier) != 0
2138 || (c2 < ' ' && c2 != 27 && c2 != '\t' && c2 != Ctl ('M'))
2139 || tab_as_ci)
2141 *p++ = 'C';
2142 *p++ = '-';
2143 c &= ~ctrl_modifier;
2145 if (c & hyper_modifier)
2147 *p++ = 'H';
2148 *p++ = '-';
2149 c -= hyper_modifier;
2151 if (c & meta_modifier)
2153 *p++ = 'M';
2154 *p++ = '-';
2155 c -= meta_modifier;
2157 if (c & shift_modifier)
2159 *p++ = 'S';
2160 *p++ = '-';
2161 c -= shift_modifier;
2163 if (c & super_modifier)
2165 *p++ = 's';
2166 *p++ = '-';
2167 c -= super_modifier;
2169 if (c < 040)
2171 if (c == 033)
2173 *p++ = 'E';
2174 *p++ = 'S';
2175 *p++ = 'C';
2177 else if (tab_as_ci)
2179 *p++ = 'i';
2181 else if (c == '\t')
2183 *p++ = 'T';
2184 *p++ = 'A';
2185 *p++ = 'B';
2187 else if (c == Ctl ('M'))
2189 *p++ = 'R';
2190 *p++ = 'E';
2191 *p++ = 'T';
2193 else
2195 /* `C-' already added above. */
2196 if (c > 0 && c <= Ctl ('Z'))
2197 *p++ = c + 0140;
2198 else
2199 *p++ = c + 0100;
2202 else if (c == 0177)
2204 *p++ = 'D';
2205 *p++ = 'E';
2206 *p++ = 'L';
2208 else if (c == ' ')
2210 *p++ = 'S';
2211 *p++ = 'P';
2212 *p++ = 'C';
2214 else if (c < 128)
2215 *p++ = c;
2216 else
2218 /* Now we are sure that C is a valid character code. */
2219 p += CHAR_STRING (c, (unsigned char *) p);
2222 return p;
2225 /* This function cannot GC. */
2227 DEFUN ("single-key-description", Fsingle_key_description,
2228 Ssingle_key_description, 1, 2, 0,
2229 doc: /* Return a pretty description of command character KEY.
2230 Control characters turn into C-whatever, etc.
2231 Optional argument NO-ANGLES non-nil means don't put angle brackets
2232 around function keys and event symbols. */)
2233 (Lisp_Object key, Lisp_Object no_angles)
2235 USE_SAFE_ALLOCA;
2237 if (CONSP (key) && lucid_event_type_list_p (key))
2238 key = Fevent_convert_list (key);
2240 if (CONSP (key) && INTEGERP (XCAR (key)) && INTEGERP (XCDR (key)))
2241 /* An interval from a map-char-table. */
2243 AUTO_STRING (dot_dot, "..");
2244 return concat3 (Fsingle_key_description (XCAR (key), no_angles),
2245 dot_dot,
2246 Fsingle_key_description (XCDR (key), no_angles));
2249 key = EVENT_HEAD (key);
2251 if (INTEGERP (key)) /* Normal character. */
2253 char tem[KEY_DESCRIPTION_SIZE];
2254 char *p = push_key_description (XINT (key), tem);
2255 *p = 0;
2256 return make_specified_string (tem, -1, p - tem, 1);
2258 else if (SYMBOLP (key)) /* Function key or event-symbol. */
2260 if (NILP (no_angles))
2262 Lisp_Object result;
2263 char *buffer = SAFE_ALLOCA (sizeof "<>"
2264 + SBYTES (SYMBOL_NAME (key)));
2265 esprintf (buffer, "<%s>", SDATA (SYMBOL_NAME (key)));
2266 result = build_string (buffer);
2267 SAFE_FREE ();
2268 return result;
2270 else
2271 return Fsymbol_name (key);
2273 else if (STRINGP (key)) /* Buffer names in the menubar. */
2274 return Fcopy_sequence (key);
2275 else
2276 error ("KEY must be an integer, cons, symbol, or string");
2279 static char *
2280 push_text_char_description (register unsigned int c, register char *p)
2282 if (c >= 0200)
2284 *p++ = 'M';
2285 *p++ = '-';
2286 c -= 0200;
2288 if (c < 040)
2290 *p++ = '^';
2291 *p++ = c + 64; /* 'A' - 1 */
2293 else if (c == 0177)
2295 *p++ = '^';
2296 *p++ = '?';
2298 else
2299 *p++ = c;
2300 return p;
2303 /* This function cannot GC. */
2305 DEFUN ("text-char-description", Ftext_char_description, Stext_char_description, 1, 1, 0,
2306 doc: /* Return a pretty description of file-character CHARACTER.
2307 Control characters turn into "^char", etc. This differs from
2308 `single-key-description' which turns them into "C-char".
2309 Also, this function recognizes the 2**7 bit as the Meta character,
2310 whereas `single-key-description' uses the 2**27 bit for Meta.
2311 See Info node `(elisp)Describing Characters' for examples. */)
2312 (Lisp_Object character)
2314 /* Currently MAX_MULTIBYTE_LENGTH is 4 (< 6). */
2315 char str[6];
2316 int c;
2318 CHECK_CHARACTER (character);
2320 c = XINT (character);
2321 if (!ASCII_CHAR_P (c))
2323 int len = CHAR_STRING (c, (unsigned char *) str);
2325 return make_multibyte_string (str, 1, len);
2328 *push_text_char_description (c & 0377, str) = 0;
2330 return build_string (str);
2333 static int where_is_preferred_modifier;
2335 /* Return 0 if SEQ uses non-preferred modifiers or non-char events.
2336 Else, return 2 if SEQ uses the where_is_preferred_modifier,
2337 and 1 otherwise. */
2338 static int
2339 preferred_sequence_p (Lisp_Object seq)
2341 EMACS_INT i;
2342 EMACS_INT len = XFASTINT (Flength (seq));
2343 int result = 1;
2345 for (i = 0; i < len; i++)
2347 Lisp_Object ii, elt;
2349 XSETFASTINT (ii, i);
2350 elt = Faref (seq, ii);
2352 if (!INTEGERP (elt))
2353 return 0;
2354 else
2356 int modifiers = XINT (elt) & (CHAR_MODIFIER_MASK & ~CHAR_META);
2357 if (modifiers == where_is_preferred_modifier)
2358 result = 2;
2359 else if (modifiers)
2360 return 0;
2364 return result;
2368 /* where-is - finding a command in a set of keymaps. */
2370 static void where_is_internal_1 (Lisp_Object key, Lisp_Object binding,
2371 Lisp_Object args, void *data);
2373 /* Like Flookup_key, but uses a list of keymaps SHADOW instead of a single map.
2374 Returns the first non-nil binding found in any of those maps.
2375 If REMAP is true, pass the result of the lookup through command
2376 remapping before returning it. */
2378 static Lisp_Object
2379 shadow_lookup (Lisp_Object shadow, Lisp_Object key, Lisp_Object flag,
2380 bool remap)
2382 Lisp_Object tail, value;
2384 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2386 value = Flookup_key (XCAR (tail), key, flag);
2387 if (NATNUMP (value))
2389 value = Flookup_key (XCAR (tail),
2390 Fsubstring (key, make_number (0), value), flag);
2391 if (!NILP (value))
2392 return Qnil;
2394 else if (!NILP (value))
2396 Lisp_Object remapping;
2397 if (remap && SYMBOLP (value)
2398 && (remapping = Fcommand_remapping (value, Qnil, shadow),
2399 !NILP (remapping)))
2400 return remapping;
2401 else
2402 return value;
2405 return Qnil;
2408 static Lisp_Object Vmouse_events;
2410 struct where_is_internal_data {
2411 Lisp_Object definition, this, last;
2412 bool last_is_meta, noindirect;
2413 Lisp_Object sequences;
2416 /* This function can't GC, AFAIK. */
2417 /* Return the list of bindings found. This list is ordered "longest
2418 to shortest". It may include bindings that are actually shadowed
2419 by others, as well as duplicate bindings and remapping bindings.
2420 The list returned is potentially shared with where_is_cache, so
2421 be careful not to modify it via side-effects. */
2423 static Lisp_Object
2424 where_is_internal (Lisp_Object definition, Lisp_Object keymaps,
2425 bool noindirect, bool nomenus)
2427 Lisp_Object maps = Qnil;
2428 Lisp_Object found;
2429 struct where_is_internal_data data;
2431 /* Only important use of caching is for the menubar
2432 (i.e. where-is-internal called with (def nil t nil nil)). */
2433 if (nomenus && !noindirect)
2435 /* Check heuristic-consistency of the cache. */
2436 if (NILP (Fequal (keymaps, where_is_cache_keymaps)))
2437 where_is_cache = Qnil;
2439 if (NILP (where_is_cache))
2441 /* We need to create the cache. */
2442 where_is_cache = Fmake_hash_table (0, NULL);
2443 where_is_cache_keymaps = Qt;
2445 else
2446 /* We can reuse the cache. */
2447 return Fgethash (definition, where_is_cache, Qnil);
2449 else
2450 /* Kill the cache so that where_is_internal_1 doesn't think
2451 we're filling it up. */
2452 where_is_cache = Qnil;
2454 found = keymaps;
2455 while (CONSP (found))
2457 maps =
2458 nconc2 (maps,
2459 Faccessible_keymaps (get_keymap (XCAR (found), 1, 0), Qnil));
2460 found = XCDR (found);
2463 data.sequences = Qnil;
2464 for (; CONSP (maps); maps = XCDR (maps))
2466 /* Key sequence to reach map, and the map that it reaches */
2467 register Lisp_Object this, map, tem;
2469 /* In order to fold [META-PREFIX-CHAR CHAR] sequences into
2470 [M-CHAR] sequences, check if last character of the sequence
2471 is the meta-prefix char. */
2472 Lisp_Object last;
2473 bool last_is_meta;
2475 this = Fcar (XCAR (maps));
2476 map = Fcdr (XCAR (maps));
2477 last = make_number (XINT (Flength (this)) - 1);
2478 last_is_meta = (XINT (last) >= 0
2479 && EQ (Faref (this, last), meta_prefix_char));
2481 /* if (nomenus && !preferred_sequence_p (this)) */
2482 if (nomenus && XINT (last) >= 0
2483 && SYMBOLP (tem = Faref (this, make_number (0)))
2484 && !NILP (Fmemq (XCAR (parse_modifiers (tem)), Vmouse_events)))
2485 /* If no menu entries should be returned, skip over the
2486 keymaps bound to `menu-bar' and `tool-bar' and other
2487 non-ascii prefixes like `C-down-mouse-2'. */
2488 continue;
2490 QUIT;
2492 data.definition = definition;
2493 data.noindirect = noindirect;
2494 data.this = this;
2495 data.last = last;
2496 data.last_is_meta = last_is_meta;
2498 if (CONSP (map))
2499 map_keymap (map, where_is_internal_1, Qnil, &data, 0);
2502 if (nomenus && !noindirect)
2503 { /* Remember for which keymaps this cache was built.
2504 We do it here (late) because we want to keep where_is_cache_keymaps
2505 set to t while the cache isn't fully filled. */
2506 where_is_cache_keymaps = keymaps;
2507 /* During cache-filling, data.sequences is not filled by
2508 where_is_internal_1. */
2509 return Fgethash (definition, where_is_cache, Qnil);
2511 else
2512 return data.sequences;
2515 /* This function can GC if Flookup_key autoloads any keymaps. */
2517 DEFUN ("where-is-internal", Fwhere_is_internal, Swhere_is_internal, 1, 5, 0,
2518 doc: /* Return list of keys that invoke DEFINITION.
2519 If KEYMAP is a keymap, search only KEYMAP and the global keymap.
2520 If KEYMAP is nil, search all the currently active keymaps, except
2521 for `overriding-local-map' (which is ignored).
2522 If KEYMAP is a list of keymaps, search only those keymaps.
2524 If optional 3rd arg FIRSTONLY is non-nil, return the first key sequence found,
2525 rather than a list of all possible key sequences.
2526 If FIRSTONLY is the symbol `non-ascii', return the first binding found,
2527 no matter what it is.
2528 If FIRSTONLY has another non-nil value, prefer bindings
2529 that use the modifier key specified in `where-is-preferred-modifier'
2530 \(or their meta variants) and entirely reject menu bindings.
2532 If optional 4th arg NOINDIRECT is non-nil, don't extract the commands inside
2533 menu-items. This makes it possible to search for a menu-item itself.
2535 The optional 5th arg NO-REMAP alters how command remapping is handled:
2537 - If another command OTHER-COMMAND is remapped to DEFINITION, normally
2538 search for the bindings of OTHER-COMMAND and include them in the
2539 returned list. But if NO-REMAP is non-nil, include the vector
2540 [remap OTHER-COMMAND] in the returned list instead, without
2541 searching for those other bindings.
2543 - If DEFINITION is remapped to OTHER-COMMAND, normally return the
2544 bindings for OTHER-COMMAND. But if NO-REMAP is non-nil, return the
2545 bindings for DEFINITION instead, ignoring its remapping. */)
2546 (Lisp_Object definition, Lisp_Object keymap, Lisp_Object firstonly, Lisp_Object noindirect, Lisp_Object no_remap)
2548 /* The keymaps in which to search. */
2549 Lisp_Object keymaps;
2550 /* Potentially relevant bindings in "shortest to longest" order. */
2551 Lisp_Object sequences = Qnil;
2552 /* Actually relevant bindings. */
2553 Lisp_Object found = Qnil;
2554 /* 1 means ignore all menu bindings entirely. */
2555 bool nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2556 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5, gcpro6;
2557 /* List of sequences found via remapping. Keep them in a separate
2558 variable, so as to push them later, since we prefer
2559 non-remapped binding. */
2560 Lisp_Object remapped_sequences = Qnil;
2561 /* Whether or not we're handling remapped sequences. This is needed
2562 because remapping is not done recursively by Fcommand_remapping: you
2563 can't remap a remapped command. */
2564 bool remapped = 0;
2565 Lisp_Object tem = Qnil;
2567 /* Refresh the C version of the modifier preference. */
2568 where_is_preferred_modifier
2569 = parse_solitary_modifier (Vwhere_is_preferred_modifier);
2571 /* Find the relevant keymaps. */
2572 if (CONSP (keymap) && KEYMAPP (XCAR (keymap)))
2573 keymaps = keymap;
2574 else if (!NILP (keymap))
2575 keymaps = list2 (keymap, current_global_map);
2576 else
2577 keymaps = Fcurrent_active_maps (Qnil, Qnil);
2579 GCPRO6 (definition, keymaps, found, sequences, remapped_sequences, tem);
2581 tem = Fcommand_remapping (definition, Qnil, keymaps);
2582 /* If `definition' is remapped to tem', then OT1H no key will run
2583 that command (since they will run `tem' instead), so we should
2584 return nil; but OTOH all keys bound to `definition' (or to `tem')
2585 will run the same command.
2586 So for menu-shortcut purposes, we want to find all the keys bound (maybe
2587 via remapping) to `tem'. But for the purpose of finding the keys that
2588 run `definition', then we'd want to just return nil.
2589 We choose to make it work right for menu-shortcuts, since it's the most
2590 common use.
2591 Known bugs: if you remap switch-to-buffer to toto, C-h f switch-to-buffer
2592 will tell you that switch-to-buffer is bound to C-x b even though C-x b
2593 will run toto instead. And if `toto' is itself remapped to forward-char,
2594 then C-h f toto will tell you that it's bound to C-f even though C-f does
2595 not run toto and it won't tell you that C-x b does run toto. */
2596 if (NILP (no_remap) && !NILP (tem))
2597 definition = tem;
2599 if (SYMBOLP (definition)
2600 && !NILP (firstonly)
2601 && !NILP (tem = Fget (definition, QCadvertised_binding)))
2603 /* We have a list of advertised bindings. */
2604 while (CONSP (tem))
2605 if (EQ (shadow_lookup (keymaps, XCAR (tem), Qnil, 0), definition))
2606 RETURN_UNGCPRO (XCAR (tem));
2607 else
2608 tem = XCDR (tem);
2609 if (EQ (shadow_lookup (keymaps, tem, Qnil, 0), definition))
2610 RETURN_UNGCPRO (tem);
2613 sequences = Freverse (where_is_internal (definition, keymaps,
2614 !NILP (noindirect), nomenus));
2616 while (CONSP (sequences)
2617 /* If we're at the end of the `sequences' list and we haven't
2618 considered remapped sequences yet, copy them over and
2619 process them. */
2620 || (!remapped && (sequences = remapped_sequences,
2621 remapped = 1,
2622 CONSP (sequences))))
2624 Lisp_Object sequence, function;
2626 sequence = XCAR (sequences);
2627 sequences = XCDR (sequences);
2629 /* Verify that this key binding is not shadowed by another
2630 binding for the same key, before we say it exists.
2632 Mechanism: look for local definition of this key and if
2633 it is defined and does not match what we found then
2634 ignore this key.
2636 Either nil or number as value from Flookup_key
2637 means undefined. */
2638 if (NILP (Fequal (shadow_lookup (keymaps, sequence, Qnil, remapped),
2639 definition)))
2640 continue;
2642 /* If the current sequence is a command remapping with
2643 format [remap COMMAND], find the key sequences
2644 which run COMMAND, and use those sequences instead. */
2645 if (NILP (no_remap) && !remapped
2646 && VECTORP (sequence) && ASIZE (sequence) == 2
2647 && EQ (AREF (sequence, 0), Qremap)
2648 && (function = AREF (sequence, 1), SYMBOLP (function)))
2650 Lisp_Object seqs = where_is_internal (function, keymaps,
2651 !NILP (noindirect), nomenus);
2652 remapped_sequences = nconc2 (Freverse (seqs), remapped_sequences);
2653 continue;
2656 /* Don't annoy user with strings from a menu such as the
2657 entries from the "Edit => Paste from Kill Menu".
2658 Change them all to "(any string)", so that there
2659 seems to be only one menu item to report. */
2660 if (! NILP (sequence))
2662 Lisp_Object tem1;
2663 tem1 = Faref (sequence, make_number (ASIZE (sequence) - 1));
2664 if (STRINGP (tem1))
2665 Faset (sequence, make_number (ASIZE (sequence) - 1),
2666 build_string ("(any string)"));
2669 /* It is a true unshadowed match. Record it, unless it's already
2670 been seen (as could happen when inheriting keymaps). */
2671 if (NILP (Fmember (sequence, found)))
2672 found = Fcons (sequence, found);
2674 /* If firstonly is Qnon_ascii, then we can return the first
2675 binding we find. If firstonly is not Qnon_ascii but not
2676 nil, then we should return the first ascii-only binding
2677 we find. */
2678 if (EQ (firstonly, Qnon_ascii))
2679 RETURN_UNGCPRO (sequence);
2680 else if (!NILP (firstonly)
2681 && 2 == preferred_sequence_p (sequence))
2682 RETURN_UNGCPRO (sequence);
2685 UNGCPRO;
2687 found = Fnreverse (found);
2689 /* firstonly may have been t, but we may have gone all the way through
2690 the keymaps without finding an all-ASCII key sequence. So just
2691 return the best we could find. */
2692 if (NILP (firstonly))
2693 return found;
2694 else if (where_is_preferred_modifier == 0)
2695 return Fcar (found);
2696 else
2697 { /* Maybe we did not find a preferred_modifier binding, but we did find
2698 some ASCII binding. */
2699 Lisp_Object bindings = found;
2700 while (CONSP (bindings))
2701 if (preferred_sequence_p (XCAR (bindings)))
2702 return XCAR (bindings);
2703 else
2704 bindings = XCDR (bindings);
2705 return Fcar (found);
2709 /* This function can GC because get_keyelt can. */
2711 static void
2712 where_is_internal_1 (Lisp_Object key, Lisp_Object binding, Lisp_Object args, void *data)
2714 struct where_is_internal_data *d = data; /* Cast! */
2715 Lisp_Object definition = d->definition;
2716 bool noindirect = d->noindirect;
2717 Lisp_Object this = d->this;
2718 Lisp_Object last = d->last;
2719 bool last_is_meta = d->last_is_meta;
2720 Lisp_Object sequence;
2722 /* Search through indirections unless that's not wanted. */
2723 if (!noindirect)
2724 binding = get_keyelt (binding, 0);
2726 /* End this iteration if this element does not match
2727 the target. */
2729 if (!(!NILP (where_is_cache) /* everything "matches" during cache-fill. */
2730 || EQ (binding, definition)
2731 || (CONSP (definition) && !NILP (Fequal (binding, definition)))))
2732 /* Doesn't match. */
2733 return;
2735 /* We have found a match. Construct the key sequence where we found it. */
2736 if (INTEGERP (key) && last_is_meta)
2738 sequence = Fcopy_sequence (this);
2739 Faset (sequence, last, make_number (XINT (key) | meta_modifier));
2741 else
2743 if (CONSP (key))
2744 key = Fcons (XCAR (key), XCDR (key));
2745 sequence = append_key (this, key);
2748 if (!NILP (where_is_cache))
2750 Lisp_Object sequences = Fgethash (binding, where_is_cache, Qnil);
2751 Fputhash (binding, Fcons (sequence, sequences), where_is_cache);
2753 else
2754 d->sequences = Fcons (sequence, d->sequences);
2757 /* describe-bindings - summarizing all the bindings in a set of keymaps. */
2759 DEFUN ("describe-buffer-bindings", Fdescribe_buffer_bindings, Sdescribe_buffer_bindings, 1, 3, 0,
2760 doc: /* Insert the list of all defined keys and their definitions.
2761 The list is inserted in the current buffer, while the bindings are
2762 looked up in BUFFER.
2763 The optional argument PREFIX, if non-nil, should be a key sequence;
2764 then we display only bindings that start with that prefix.
2765 The optional argument MENUS, if non-nil, says to mention menu bindings.
2766 \(Ordinarily these are omitted from the output.) */)
2767 (Lisp_Object buffer, Lisp_Object prefix, Lisp_Object menus)
2769 Lisp_Object outbuf, shadow;
2770 bool nomenu = NILP (menus);
2771 Lisp_Object start1;
2772 struct gcpro gcpro1;
2774 const char *alternate_heading
2775 = "\
2776 Keyboard translations:\n\n\
2777 You type Translation\n\
2778 -------- -----------\n";
2780 CHECK_BUFFER (buffer);
2782 shadow = Qnil;
2783 GCPRO1 (shadow);
2785 outbuf = Fcurrent_buffer ();
2787 /* Report on alternates for keys. */
2788 if (STRINGP (KVAR (current_kboard, Vkeyboard_translate_table)) && !NILP (prefix))
2790 int c;
2791 const unsigned char *translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2792 int translate_len = SCHARS (KVAR (current_kboard, Vkeyboard_translate_table));
2794 for (c = 0; c < translate_len; c++)
2795 if (translate[c] != c)
2797 char buf[KEY_DESCRIPTION_SIZE];
2798 char *bufend;
2800 if (alternate_heading)
2802 insert_string (alternate_heading);
2803 alternate_heading = 0;
2806 bufend = push_key_description (translate[c], buf);
2807 insert (buf, bufend - buf);
2808 Findent_to (make_number (16), make_number (1));
2809 bufend = push_key_description (c, buf);
2810 insert (buf, bufend - buf);
2812 insert ("\n", 1);
2814 /* Insert calls signal_after_change which may GC. */
2815 translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2818 insert ("\n", 1);
2821 if (!NILP (Vkey_translation_map))
2822 describe_map_tree (Vkey_translation_map, 0, Qnil, prefix,
2823 "Key translations", nomenu, 1, 0, 0);
2826 /* Print the (major mode) local map. */
2827 start1 = Qnil;
2828 if (!NILP (KVAR (current_kboard, Voverriding_terminal_local_map)))
2829 start1 = KVAR (current_kboard, Voverriding_terminal_local_map);
2831 if (!NILP (start1))
2833 describe_map_tree (start1, 1, shadow, prefix,
2834 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2835 shadow = Fcons (start1, shadow);
2836 start1 = Qnil;
2838 else if (!NILP (Voverriding_local_map))
2839 start1 = Voverriding_local_map;
2841 if (!NILP (start1))
2843 describe_map_tree (start1, 1, shadow, prefix,
2844 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2845 shadow = Fcons (start1, shadow);
2847 else
2849 /* Print the minor mode and major mode keymaps. */
2850 int i, nmaps;
2851 Lisp_Object *modes, *maps;
2853 /* Temporarily switch to `buffer', so that we can get that buffer's
2854 minor modes correctly. */
2855 Fset_buffer (buffer);
2857 nmaps = current_minor_maps (&modes, &maps);
2858 Fset_buffer (outbuf);
2860 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2861 XBUFFER (buffer), Qkeymap);
2862 if (!NILP (start1))
2864 describe_map_tree (start1, 1, shadow, prefix,
2865 "\f\n`keymap' Property Bindings", nomenu,
2866 0, 0, 0);
2867 shadow = Fcons (start1, shadow);
2870 /* Print the minor mode maps. */
2871 for (i = 0; i < nmaps; i++)
2873 /* The title for a minor mode keymap
2874 is constructed at run time.
2875 We let describe_map_tree do the actual insertion
2876 because it takes care of other features when doing so. */
2877 char *title, *p;
2879 if (!SYMBOLP (modes[i]))
2880 emacs_abort ();
2882 USE_SAFE_ALLOCA;
2883 p = title = SAFE_ALLOCA (42 + SBYTES (SYMBOL_NAME (modes[i])));
2884 *p++ = '\f';
2885 *p++ = '\n';
2886 *p++ = '`';
2887 memcpy (p, SDATA (SYMBOL_NAME (modes[i])),
2888 SBYTES (SYMBOL_NAME (modes[i])));
2889 p += SBYTES (SYMBOL_NAME (modes[i]));
2890 *p++ = '\'';
2891 memcpy (p, " Minor Mode Bindings", strlen (" Minor Mode Bindings"));
2892 p += strlen (" Minor Mode Bindings");
2893 *p = 0;
2895 describe_map_tree (maps[i], 1, shadow, prefix,
2896 title, nomenu, 0, 0, 0);
2897 shadow = Fcons (maps[i], shadow);
2898 SAFE_FREE ();
2901 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2902 XBUFFER (buffer), Qlocal_map);
2903 if (!NILP (start1))
2905 if (EQ (start1, BVAR (XBUFFER (buffer), keymap)))
2906 describe_map_tree (start1, 1, shadow, prefix,
2907 "\f\nMajor Mode Bindings", nomenu, 0, 0, 0);
2908 else
2909 describe_map_tree (start1, 1, shadow, prefix,
2910 "\f\n`local-map' Property Bindings",
2911 nomenu, 0, 0, 0);
2913 shadow = Fcons (start1, shadow);
2917 describe_map_tree (current_global_map, 1, shadow, prefix,
2918 "\f\nGlobal Bindings", nomenu, 0, 1, 0);
2920 /* Print the function-key-map translations under this prefix. */
2921 if (!NILP (KVAR (current_kboard, Vlocal_function_key_map)))
2922 describe_map_tree (KVAR (current_kboard, Vlocal_function_key_map), 0, Qnil, prefix,
2923 "\f\nFunction key map translations", nomenu, 1, 0, 0);
2925 /* Print the input-decode-map translations under this prefix. */
2926 if (!NILP (KVAR (current_kboard, Vinput_decode_map)))
2927 describe_map_tree (KVAR (current_kboard, Vinput_decode_map), 0, Qnil, prefix,
2928 "\f\nInput decoding map translations", nomenu, 1, 0, 0);
2930 UNGCPRO;
2931 return Qnil;
2934 /* Insert a description of the key bindings in STARTMAP,
2935 followed by those of all maps reachable through STARTMAP.
2936 If PARTIAL, omit certain "uninteresting" commands
2937 (such as `undefined').
2938 If SHADOW is non-nil, it is a list of maps;
2939 don't mention keys which would be shadowed by any of them.
2940 PREFIX, if non-nil, says mention only keys that start with PREFIX.
2941 TITLE, if not 0, is a string to insert at the beginning.
2942 TITLE should not end with a colon or a newline; we supply that.
2943 If NOMENU, then omit menu-bar commands.
2945 If TRANSL, the definitions are actually key translations
2946 so print strings and vectors differently.
2948 If ALWAYS_TITLE, print the title even if there are no maps
2949 to look through.
2951 If MENTION_SHADOW, then when something is shadowed by SHADOW,
2952 don't omit it; instead, mention it but say it is shadowed.
2954 Any inserted text ends in two newlines (used by `help-make-xrefs'). */
2956 void
2957 describe_map_tree (Lisp_Object startmap, bool partial, Lisp_Object shadow,
2958 Lisp_Object prefix, const char *title, bool nomenu,
2959 bool transl, bool always_title, bool mention_shadow)
2961 Lisp_Object maps, orig_maps, seen, sub_shadows;
2962 struct gcpro gcpro1, gcpro2, gcpro3;
2963 bool something = 0;
2964 const char *key_heading
2965 = "\
2966 key binding\n\
2967 --- -------\n";
2969 orig_maps = maps = Faccessible_keymaps (startmap, prefix);
2970 seen = Qnil;
2971 sub_shadows = Qnil;
2972 GCPRO3 (maps, seen, sub_shadows);
2974 if (nomenu)
2976 Lisp_Object list;
2978 /* Delete from MAPS each element that is for the menu bar. */
2979 for (list = maps; CONSP (list); list = XCDR (list))
2981 Lisp_Object elt, elt_prefix, tem;
2983 elt = XCAR (list);
2984 elt_prefix = Fcar (elt);
2985 if (ASIZE (elt_prefix) >= 1)
2987 tem = Faref (elt_prefix, make_number (0));
2988 if (EQ (tem, Qmenu_bar))
2989 maps = Fdelq (elt, maps);
2994 if (!NILP (maps) || always_title)
2996 if (title)
2998 insert_string (title);
2999 if (!NILP (prefix))
3001 insert_string (" Starting With ");
3002 insert1 (Fkey_description (prefix, Qnil));
3004 insert_string (":\n");
3006 insert_string (key_heading);
3007 something = 1;
3010 for (; CONSP (maps); maps = XCDR (maps))
3012 register Lisp_Object elt, elt_prefix, tail;
3014 elt = XCAR (maps);
3015 elt_prefix = Fcar (elt);
3017 sub_shadows = Qnil;
3019 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
3021 Lisp_Object shmap;
3023 shmap = XCAR (tail);
3025 /* If the sequence by which we reach this keymap is zero-length,
3026 then the shadow map for this keymap is just SHADOW. */
3027 if ((STRINGP (elt_prefix) && SCHARS (elt_prefix) == 0)
3028 || (VECTORP (elt_prefix) && ASIZE (elt_prefix) == 0))
3030 /* If the sequence by which we reach this keymap actually has
3031 some elements, then the sequence's definition in SHADOW is
3032 what we should use. */
3033 else
3035 shmap = Flookup_key (shmap, Fcar (elt), Qt);
3036 if (INTEGERP (shmap))
3037 shmap = Qnil;
3040 /* If shmap is not nil and not a keymap,
3041 it completely shadows this map, so don't
3042 describe this map at all. */
3043 if (!NILP (shmap) && !KEYMAPP (shmap))
3044 goto skip;
3046 if (!NILP (shmap))
3047 sub_shadows = Fcons (shmap, sub_shadows);
3050 /* Maps we have already listed in this loop shadow this map. */
3051 for (tail = orig_maps; !EQ (tail, maps); tail = XCDR (tail))
3053 Lisp_Object tem;
3054 tem = Fequal (Fcar (XCAR (tail)), elt_prefix);
3055 if (!NILP (tem))
3056 sub_shadows = Fcons (XCDR (XCAR (tail)), sub_shadows);
3059 describe_map (Fcdr (elt), elt_prefix,
3060 transl ? describe_translation : describe_command,
3061 partial, sub_shadows, &seen, nomenu, mention_shadow);
3063 skip: ;
3066 if (something)
3067 insert_string ("\n");
3069 UNGCPRO;
3072 static int previous_description_column;
3074 static void
3075 describe_command (Lisp_Object definition, Lisp_Object args)
3077 register Lisp_Object tem1;
3078 ptrdiff_t column = current_column ();
3079 int description_column;
3081 /* If column 16 is no good, go to col 32;
3082 but don't push beyond that--go to next line instead. */
3083 if (column > 30)
3085 insert_char ('\n');
3086 description_column = 32;
3088 else if (column > 14 || (column > 10 && previous_description_column == 32))
3089 description_column = 32;
3090 else
3091 description_column = 16;
3093 Findent_to (make_number (description_column), make_number (1));
3094 previous_description_column = description_column;
3096 if (SYMBOLP (definition))
3098 tem1 = SYMBOL_NAME (definition);
3099 insert1 (tem1);
3100 insert_string ("\n");
3102 else if (STRINGP (definition) || VECTORP (definition))
3103 insert_string ("Keyboard Macro\n");
3104 else if (KEYMAPP (definition))
3105 insert_string ("Prefix Command\n");
3106 else
3107 insert_string ("??\n");
3110 static void
3111 describe_translation (Lisp_Object definition, Lisp_Object args)
3113 register Lisp_Object tem1;
3115 Findent_to (make_number (16), make_number (1));
3117 if (SYMBOLP (definition))
3119 tem1 = SYMBOL_NAME (definition);
3120 insert1 (tem1);
3121 insert_string ("\n");
3123 else if (STRINGP (definition) || VECTORP (definition))
3125 insert1 (Fkey_description (definition, Qnil));
3126 insert_string ("\n");
3128 else if (KEYMAPP (definition))
3129 insert_string ("Prefix Command\n");
3130 else
3131 insert_string ("??\n");
3134 /* describe_map puts all the usable elements of a sparse keymap
3135 into an array of `struct describe_map_elt',
3136 then sorts them by the events. */
3138 struct describe_map_elt
3140 Lisp_Object event;
3141 Lisp_Object definition;
3142 bool shadowed;
3145 /* qsort comparison function for sorting `struct describe_map_elt' by
3146 the event field. */
3148 static int
3149 describe_map_compare (const void *aa, const void *bb)
3151 const struct describe_map_elt *a = aa, *b = bb;
3152 if (INTEGERP (a->event) && INTEGERP (b->event))
3153 return ((XINT (a->event) > XINT (b->event))
3154 - (XINT (a->event) < XINT (b->event)));
3155 if (!INTEGERP (a->event) && INTEGERP (b->event))
3156 return 1;
3157 if (INTEGERP (a->event) && !INTEGERP (b->event))
3158 return -1;
3159 if (SYMBOLP (a->event) && SYMBOLP (b->event))
3160 return (!NILP (Fstring_lessp (a->event, b->event)) ? -1
3161 : !NILP (Fstring_lessp (b->event, a->event)) ? 1
3162 : 0);
3163 return 0;
3166 /* Describe the contents of map MAP, assuming that this map itself is
3167 reached by the sequence of prefix keys PREFIX (a string or vector).
3168 PARTIAL, SHADOW, NOMENU are as in `describe_map_tree' above. */
3170 static void
3171 describe_map (Lisp_Object map, Lisp_Object prefix,
3172 void (*elt_describer) (Lisp_Object, Lisp_Object),
3173 bool partial, Lisp_Object shadow,
3174 Lisp_Object *seen, bool nomenu, bool mention_shadow)
3176 Lisp_Object tail, definition, event;
3177 Lisp_Object tem;
3178 Lisp_Object suppress;
3179 Lisp_Object kludge;
3180 bool first = 1;
3181 struct gcpro gcpro1, gcpro2, gcpro3;
3183 /* These accumulate the values from sparse keymap bindings,
3184 so we can sort them and handle them in order. */
3185 ptrdiff_t length_needed = 0;
3186 struct describe_map_elt *vect;
3187 ptrdiff_t slots_used = 0;
3188 ptrdiff_t i;
3190 suppress = Qnil;
3192 if (partial)
3193 suppress = intern ("suppress-keymap");
3195 /* This vector gets used to present single keys to Flookup_key. Since
3196 that is done once per keymap element, we don't want to cons up a
3197 fresh vector every time. */
3198 kludge = Fmake_vector (make_number (1), Qnil);
3199 definition = Qnil;
3201 GCPRO3 (prefix, definition, kludge);
3203 map = call1 (Qkeymap_canonicalize, map);
3205 for (tail = map; CONSP (tail); tail = XCDR (tail))
3206 length_needed++;
3208 USE_SAFE_ALLOCA;
3209 SAFE_NALLOCA (vect, 1, length_needed);
3211 for (tail = map; CONSP (tail); tail = XCDR (tail))
3213 QUIT;
3215 if (VECTORP (XCAR (tail))
3216 || CHAR_TABLE_P (XCAR (tail)))
3217 describe_vector (XCAR (tail),
3218 prefix, Qnil, elt_describer, partial, shadow, map,
3219 1, mention_shadow);
3220 else if (CONSP (XCAR (tail)))
3222 bool this_shadowed = 0;
3224 event = XCAR (XCAR (tail));
3226 /* Ignore bindings whose "prefix" are not really valid events.
3227 (We get these in the frames and buffers menu.) */
3228 if (!(SYMBOLP (event) || INTEGERP (event)))
3229 continue;
3231 if (nomenu && EQ (event, Qmenu_bar))
3232 continue;
3234 definition = get_keyelt (XCDR (XCAR (tail)), 0);
3236 /* Don't show undefined commands or suppressed commands. */
3237 if (NILP (definition)) continue;
3238 if (SYMBOLP (definition) && partial)
3240 tem = Fget (definition, suppress);
3241 if (!NILP (tem))
3242 continue;
3245 /* Don't show a command that isn't really visible
3246 because a local definition of the same key shadows it. */
3248 ASET (kludge, 0, event);
3249 if (!NILP (shadow))
3251 tem = shadow_lookup (shadow, kludge, Qt, 0);
3252 if (!NILP (tem))
3254 /* If both bindings are keymaps, this key is a prefix key,
3255 so don't say it is shadowed. */
3256 if (KEYMAPP (definition) && KEYMAPP (tem))
3258 /* Avoid generating duplicate entries if the
3259 shadowed binding has the same definition. */
3260 else if (mention_shadow && !EQ (tem, definition))
3261 this_shadowed = 1;
3262 else
3263 continue;
3267 tem = Flookup_key (map, kludge, Qt);
3268 if (!EQ (tem, definition)) continue;
3270 vect[slots_used].event = event;
3271 vect[slots_used].definition = definition;
3272 vect[slots_used].shadowed = this_shadowed;
3273 slots_used++;
3275 else if (EQ (XCAR (tail), Qkeymap))
3277 /* The same keymap might be in the structure twice, if we're
3278 using an inherited keymap. So skip anything we've already
3279 encountered. */
3280 tem = Fassq (tail, *seen);
3281 if (CONSP (tem) && !NILP (Fequal (XCAR (tem), prefix)))
3282 break;
3283 *seen = Fcons (Fcons (tail, prefix), *seen);
3287 /* If we found some sparse map events, sort them. */
3289 qsort (vect, slots_used, sizeof (struct describe_map_elt),
3290 describe_map_compare);
3292 /* Now output them in sorted order. */
3294 for (i = 0; i < slots_used; i++)
3296 Lisp_Object start, end;
3298 if (first)
3300 previous_description_column = 0;
3301 insert ("\n", 1);
3302 first = 0;
3305 ASET (kludge, 0, vect[i].event);
3306 start = vect[i].event;
3307 end = start;
3309 definition = vect[i].definition;
3311 /* Find consecutive chars that are identically defined. */
3312 if (INTEGERP (vect[i].event))
3314 while (i + 1 < slots_used
3315 && EQ (vect[i+1].event, make_number (XINT (vect[i].event) + 1))
3316 && !NILP (Fequal (vect[i + 1].definition, definition))
3317 && vect[i].shadowed == vect[i + 1].shadowed)
3318 i++;
3319 end = vect[i].event;
3322 /* Now START .. END is the range to describe next. */
3324 /* Insert the string to describe the event START. */
3325 insert1 (Fkey_description (kludge, prefix));
3327 if (!EQ (start, end))
3329 insert (" .. ", 4);
3331 ASET (kludge, 0, end);
3332 /* Insert the string to describe the character END. */
3333 insert1 (Fkey_description (kludge, prefix));
3336 /* Print a description of the definition of this character.
3337 elt_describer will take care of spacing out far enough
3338 for alignment purposes. */
3339 (*elt_describer) (vect[i].definition, Qnil);
3341 if (vect[i].shadowed)
3343 ptrdiff_t pt = max (PT - 1, BEG);
3345 SET_PT (pt);
3346 insert_string ("\n (that binding is currently shadowed by another mode)");
3347 pt = min (PT + 1, Z);
3348 SET_PT (pt);
3352 SAFE_FREE ();
3353 UNGCPRO;
3356 static void
3357 describe_vector_princ (Lisp_Object elt, Lisp_Object fun)
3359 Findent_to (make_number (16), make_number (1));
3360 call1 (fun, elt);
3361 Fterpri (Qnil, Qnil);
3364 DEFUN ("describe-vector", Fdescribe_vector, Sdescribe_vector, 1, 2, 0,
3365 doc: /* Insert a description of contents of VECTOR.
3366 This is text showing the elements of vector matched against indices.
3367 DESCRIBER is the output function used; nil means use `princ'. */)
3368 (Lisp_Object vector, Lisp_Object describer)
3370 ptrdiff_t count = SPECPDL_INDEX ();
3371 if (NILP (describer))
3372 describer = intern ("princ");
3373 specbind (Qstandard_output, Fcurrent_buffer ());
3374 CHECK_VECTOR_OR_CHAR_TABLE (vector);
3375 describe_vector (vector, Qnil, describer, describe_vector_princ, 0,
3376 Qnil, Qnil, 0, 0);
3378 return unbind_to (count, Qnil);
3381 /* Insert in the current buffer a description of the contents of VECTOR.
3382 We call ELT_DESCRIBER to insert the description of one value found
3383 in VECTOR.
3385 ELT_PREFIX describes what "comes before" the keys or indices defined
3386 by this vector. This is a human-readable string whose size
3387 is not necessarily related to the situation.
3389 If the vector is in a keymap, ELT_PREFIX is a prefix key which
3390 leads to this keymap.
3392 If the vector is a chartable, ELT_PREFIX is the vector
3393 of bytes that lead to the character set or portion of a character
3394 set described by this chartable.
3396 If PARTIAL, it means do not mention suppressed commands
3397 (that assumes the vector is in a keymap).
3399 SHADOW is a list of keymaps that shadow this map.
3400 If it is non-nil, then we look up the key in those maps
3401 and we don't mention it now if it is defined by any of them.
3403 ENTIRE_MAP is the keymap in which this vector appears.
3404 If the definition in effect in the whole map does not match
3405 the one in this vector, we ignore this one.
3407 ARGS is simply passed as the second argument to ELT_DESCRIBER.
3409 KEYMAP_P is 1 if vector is known to be a keymap, so map ESC to M-.
3411 ARGS is simply passed as the second argument to ELT_DESCRIBER. */
3413 static void
3414 describe_vector (Lisp_Object vector, Lisp_Object prefix, Lisp_Object args,
3415 void (*elt_describer) (Lisp_Object, Lisp_Object),
3416 bool partial, Lisp_Object shadow, Lisp_Object entire_map,
3417 bool keymap_p, bool mention_shadow)
3419 Lisp_Object definition;
3420 Lisp_Object tem2;
3421 Lisp_Object elt_prefix = Qnil;
3422 int i;
3423 Lisp_Object suppress;
3424 Lisp_Object kludge;
3425 bool first = 1;
3426 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
3427 /* Range of elements to be handled. */
3428 int from, to, stop;
3429 Lisp_Object character;
3430 int starting_i;
3432 suppress = Qnil;
3434 definition = Qnil;
3436 if (!keymap_p)
3438 /* Call Fkey_description first, to avoid GC bug for the other string. */
3439 if (!NILP (prefix) && XFASTINT (Flength (prefix)) > 0)
3441 Lisp_Object tem = Fkey_description (prefix, Qnil);
3442 AUTO_STRING (space, " ");
3443 elt_prefix = concat2 (tem, space);
3445 prefix = Qnil;
3448 /* This vector gets used to present single keys to Flookup_key. Since
3449 that is done once per vector element, we don't want to cons up a
3450 fresh vector every time. */
3451 kludge = Fmake_vector (make_number (1), Qnil);
3452 GCPRO4 (elt_prefix, prefix, definition, kludge);
3454 if (partial)
3455 suppress = intern ("suppress-keymap");
3457 from = 0;
3458 if (CHAR_TABLE_P (vector))
3459 stop = MAX_5_BYTE_CHAR + 1, to = MAX_CHAR + 1;
3460 else
3461 stop = to = ASIZE (vector);
3463 for (i = from; ; i++)
3465 bool this_shadowed = 0;
3466 int range_beg, range_end;
3467 Lisp_Object val;
3469 QUIT;
3471 if (i == stop)
3473 if (i == to)
3474 break;
3475 stop = to;
3478 starting_i = i;
3480 if (CHAR_TABLE_P (vector))
3482 range_beg = i;
3483 i = stop - 1;
3484 val = char_table_ref_and_range (vector, range_beg, &range_beg, &i);
3486 else
3487 val = AREF (vector, i);
3488 definition = get_keyelt (val, 0);
3490 if (NILP (definition)) continue;
3492 /* Don't mention suppressed commands. */
3493 if (SYMBOLP (definition) && partial)
3495 Lisp_Object tem;
3497 tem = Fget (definition, suppress);
3499 if (!NILP (tem)) continue;
3502 character = make_number (starting_i);
3503 ASET (kludge, 0, character);
3505 /* If this binding is shadowed by some other map, ignore it. */
3506 if (!NILP (shadow))
3508 Lisp_Object tem;
3510 tem = shadow_lookup (shadow, kludge, Qt, 0);
3512 if (!NILP (tem))
3514 if (mention_shadow)
3515 this_shadowed = 1;
3516 else
3517 continue;
3521 /* Ignore this definition if it is shadowed by an earlier
3522 one in the same keymap. */
3523 if (!NILP (entire_map))
3525 Lisp_Object tem;
3527 tem = Flookup_key (entire_map, kludge, Qt);
3529 if (!EQ (tem, definition))
3530 continue;
3533 if (first)
3535 insert ("\n", 1);
3536 first = 0;
3539 /* Output the prefix that applies to every entry in this map. */
3540 if (!NILP (elt_prefix))
3541 insert1 (elt_prefix);
3543 insert1 (Fkey_description (kludge, prefix));
3545 /* Find all consecutive characters or rows that have the same
3546 definition. But, VECTOR is a char-table, we had better put a
3547 boundary between normal characters (-#x3FFF7F) and 8-bit
3548 characters (#x3FFF80-). */
3549 if (CHAR_TABLE_P (vector))
3551 while (i + 1 < stop
3552 && (range_beg = i + 1, range_end = stop - 1,
3553 val = char_table_ref_and_range (vector, range_beg,
3554 &range_beg, &range_end),
3555 tem2 = get_keyelt (val, 0),
3556 !NILP (tem2))
3557 && !NILP (Fequal (tem2, definition)))
3558 i = range_end;
3560 else
3561 while (i + 1 < stop
3562 && (tem2 = get_keyelt (AREF (vector, i + 1), 0),
3563 !NILP (tem2))
3564 && !NILP (Fequal (tem2, definition)))
3565 i++;
3567 /* If we have a range of more than one character,
3568 print where the range reaches to. */
3570 if (i != starting_i)
3572 insert (" .. ", 4);
3574 ASET (kludge, 0, make_number (i));
3576 if (!NILP (elt_prefix))
3577 insert1 (elt_prefix);
3579 insert1 (Fkey_description (kludge, prefix));
3582 /* Print a description of the definition of this character.
3583 elt_describer will take care of spacing out far enough
3584 for alignment purposes. */
3585 (*elt_describer) (definition, args);
3587 if (this_shadowed)
3589 SET_PT (PT - 1);
3590 insert_string (" (binding currently shadowed)");
3591 SET_PT (PT + 1);
3595 if (CHAR_TABLE_P (vector) && ! NILP (XCHAR_TABLE (vector)->defalt))
3597 if (!NILP (elt_prefix))
3598 insert1 (elt_prefix);
3599 insert ("default", 7);
3600 (*elt_describer) (XCHAR_TABLE (vector)->defalt, args);
3603 UNGCPRO;
3606 /* Apropos - finding all symbols whose names match a regexp. */
3607 static Lisp_Object apropos_predicate;
3608 static Lisp_Object apropos_accumulate;
3610 static void
3611 apropos_accum (Lisp_Object symbol, Lisp_Object string)
3613 register Lisp_Object tem;
3615 tem = Fstring_match (string, Fsymbol_name (symbol), Qnil);
3616 if (!NILP (tem) && !NILP (apropos_predicate))
3617 tem = call1 (apropos_predicate, symbol);
3618 if (!NILP (tem))
3619 apropos_accumulate = Fcons (symbol, apropos_accumulate);
3622 DEFUN ("apropos-internal", Fapropos_internal, Sapropos_internal, 1, 2, 0,
3623 doc: /* Show all symbols whose names contain match for REGEXP.
3624 If optional 2nd arg PREDICATE is non-nil, (funcall PREDICATE SYMBOL) is done
3625 for each symbol and a symbol is mentioned only if that returns non-nil.
3626 Return list of symbols found. */)
3627 (Lisp_Object regexp, Lisp_Object predicate)
3629 Lisp_Object tem;
3630 CHECK_STRING (regexp);
3631 apropos_predicate = predicate;
3632 apropos_accumulate = Qnil;
3633 map_obarray (Vobarray, apropos_accum, regexp);
3634 tem = Fsort (apropos_accumulate, Qstring_lessp);
3635 apropos_accumulate = Qnil;
3636 apropos_predicate = Qnil;
3637 return tem;
3640 void
3641 syms_of_keymap (void)
3643 DEFSYM (Qkeymap, "keymap");
3644 staticpro (&apropos_predicate);
3645 staticpro (&apropos_accumulate);
3646 apropos_predicate = Qnil;
3647 apropos_accumulate = Qnil;
3649 DEFSYM (Qkeymap_canonicalize, "keymap-canonicalize");
3651 /* Now we are ready to set up this property, so we can
3652 create char tables. */
3653 Fput (Qkeymap, Qchar_table_extra_slots, make_number (0));
3655 /* Initialize the keymaps standardly used.
3656 Each one is the value of a Lisp variable, and is also
3657 pointed to by a C variable */
3659 global_map = Fmake_keymap (Qnil);
3660 Fset (intern_c_string ("global-map"), global_map);
3662 current_global_map = global_map;
3663 staticpro (&global_map);
3664 staticpro (&current_global_map);
3666 meta_map = Fmake_keymap (Qnil);
3667 Fset (intern_c_string ("esc-map"), meta_map);
3668 Ffset (intern_c_string ("ESC-prefix"), meta_map);
3670 control_x_map = Fmake_keymap (Qnil);
3671 Fset (intern_c_string ("ctl-x-map"), control_x_map);
3672 Ffset (intern_c_string ("Control-X-prefix"), control_x_map);
3674 exclude_keys = listn (CONSTYPE_PURE, 5,
3675 pure_cons (build_pure_c_string ("DEL"), build_pure_c_string ("\\d")),
3676 pure_cons (build_pure_c_string ("TAB"), build_pure_c_string ("\\t")),
3677 pure_cons (build_pure_c_string ("RET"), build_pure_c_string ("\\r")),
3678 pure_cons (build_pure_c_string ("ESC"), build_pure_c_string ("\\e")),
3679 pure_cons (build_pure_c_string ("SPC"), build_pure_c_string (" ")));
3680 staticpro (&exclude_keys);
3682 DEFVAR_LISP ("define-key-rebound-commands", Vdefine_key_rebound_commands,
3683 doc: /* List of commands given new key bindings recently.
3684 This is used for internal purposes during Emacs startup;
3685 don't alter it yourself. */);
3686 Vdefine_key_rebound_commands = Qt;
3688 DEFVAR_LISP ("minibuffer-local-map", Vminibuffer_local_map,
3689 doc: /* Default keymap to use when reading from the minibuffer. */);
3690 Vminibuffer_local_map = Fmake_sparse_keymap (Qnil);
3692 DEFVAR_LISP ("minibuffer-local-ns-map", Vminibuffer_local_ns_map,
3693 doc: /* Local keymap for the minibuffer when spaces are not allowed. */);
3694 Vminibuffer_local_ns_map = Fmake_sparse_keymap (Qnil);
3695 Fset_keymap_parent (Vminibuffer_local_ns_map, Vminibuffer_local_map);
3698 DEFVAR_LISP ("minor-mode-map-alist", Vminor_mode_map_alist,
3699 doc: /* Alist of keymaps to use for minor modes.
3700 Each element looks like (VARIABLE . KEYMAP); KEYMAP is used to read
3701 key sequences and look up bindings if VARIABLE's value is non-nil.
3702 If two active keymaps bind the same key, the keymap appearing earlier
3703 in the list takes precedence. */);
3704 Vminor_mode_map_alist = Qnil;
3706 DEFVAR_LISP ("minor-mode-overriding-map-alist", Vminor_mode_overriding_map_alist,
3707 doc: /* Alist of keymaps to use for minor modes, in current major mode.
3708 This variable is an alist just like `minor-mode-map-alist', and it is
3709 used the same way (and before `minor-mode-map-alist'); however,
3710 it is provided for major modes to bind locally. */);
3711 Vminor_mode_overriding_map_alist = Qnil;
3713 DEFVAR_LISP ("emulation-mode-map-alists", Vemulation_mode_map_alists,
3714 doc: /* List of keymap alists to use for emulation modes.
3715 It is intended for modes or packages using multiple minor-mode keymaps.
3716 Each element is a keymap alist just like `minor-mode-map-alist', or a
3717 symbol with a variable binding which is a keymap alist, and it is used
3718 the same way. The "active" keymaps in each alist are used before
3719 `minor-mode-map-alist' and `minor-mode-overriding-map-alist'. */);
3720 Vemulation_mode_map_alists = Qnil;
3722 DEFVAR_LISP ("where-is-preferred-modifier", Vwhere_is_preferred_modifier,
3723 doc: /* Preferred modifier key to use for `where-is'.
3724 When a single binding is requested, `where-is' will return one that
3725 uses this modifier key if possible. If nil, or if no such binding
3726 exists, bindings using keys without modifiers (or only with meta) will
3727 be preferred. */);
3728 Vwhere_is_preferred_modifier = Qnil;
3729 where_is_preferred_modifier = 0;
3731 DEFSYM (Qmenu_bar, "menu-bar");
3732 DEFSYM (Qmode_line, "mode-line");
3734 staticpro (&Vmouse_events);
3735 Vmouse_events = listn (CONSTYPE_PURE, 9,
3736 Qmenu_bar,
3737 Qtool_bar,
3738 Qheader_line,
3739 Qmode_line,
3740 intern_c_string ("mouse-1"),
3741 intern_c_string ("mouse-2"),
3742 intern_c_string ("mouse-3"),
3743 intern_c_string ("mouse-4"),
3744 intern_c_string ("mouse-5"));
3746 /* Keymap used for minibuffers when doing completion. */
3747 /* Keymap used for minibuffers when doing completion and require a match. */
3748 DEFSYM (Qkeymapp, "keymapp");
3749 DEFSYM (Qnon_ascii, "non-ascii");
3750 DEFSYM (Qmenu_item, "menu-item");
3751 DEFSYM (Qremap, "remap");
3752 DEFSYM (QCadvertised_binding, ":advertised-binding");
3754 command_remapping_vector = Fmake_vector (make_number (2), Qremap);
3755 staticpro (&command_remapping_vector);
3757 where_is_cache_keymaps = Qt;
3758 where_is_cache = Qnil;
3759 staticpro (&where_is_cache);
3760 staticpro (&where_is_cache_keymaps);
3762 defsubr (&Skeymapp);
3763 defsubr (&Skeymap_parent);
3764 defsubr (&Skeymap_prompt);
3765 defsubr (&Sset_keymap_parent);
3766 defsubr (&Smake_keymap);
3767 defsubr (&Smake_sparse_keymap);
3768 defsubr (&Smap_keymap_internal);
3769 defsubr (&Smap_keymap);
3770 defsubr (&Scopy_keymap);
3771 defsubr (&Scommand_remapping);
3772 defsubr (&Skey_binding);
3773 defsubr (&Slocal_key_binding);
3774 defsubr (&Sglobal_key_binding);
3775 defsubr (&Sminor_mode_key_binding);
3776 defsubr (&Sdefine_key);
3777 defsubr (&Slookup_key);
3778 defsubr (&Sdefine_prefix_command);
3779 defsubr (&Suse_global_map);
3780 defsubr (&Suse_local_map);
3781 defsubr (&Scurrent_local_map);
3782 defsubr (&Scurrent_global_map);
3783 defsubr (&Scurrent_minor_mode_maps);
3784 defsubr (&Scurrent_active_maps);
3785 defsubr (&Saccessible_keymaps);
3786 defsubr (&Skey_description);
3787 defsubr (&Sdescribe_vector);
3788 defsubr (&Ssingle_key_description);
3789 defsubr (&Stext_char_description);
3790 defsubr (&Swhere_is_internal);
3791 defsubr (&Sdescribe_buffer_bindings);
3792 defsubr (&Sapropos_internal);
3795 void
3796 keys_of_keymap (void)
3798 initial_define_key (global_map, 033, "ESC-prefix");
3799 initial_define_key (global_map, Ctl ('X'), "Control-X-prefix");