* lisp/emacs-lisp/package.el (package-menu-mode): Mode-line notification
[emacs.git] / src / keymap.c
blobd10c00489d104631175f5892d905b08570d1ef82
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
1656 /* mouse events may have a symbolic prefix indicating the
1657 scrollbar or mode line */
1658 = AREF (key, SYMBOLP (AREF (key, 0)) && ASIZE (key) > 1 ? 1 : 0);
1660 /* We are not interested in locations without event data */
1662 if (EVENT_HAS_PARAMETERS (event) && CONSP (XCDR (event)))
1664 Lisp_Object kind = EVENT_HEAD_KIND (EVENT_HEAD (event));
1665 if (EQ (kind, Qmouse_click))
1666 position = EVENT_START (event);
1670 value = Flookup_key (Fcons (Qkeymap, Fcurrent_active_maps (Qt, position)),
1671 key, accept_default);
1673 if (NILP (value) || INTEGERP (value))
1674 return Qnil;
1676 /* If the result of the ordinary keymap lookup is an interactive
1677 command, look for a key binding (ie. remapping) for that command. */
1679 if (NILP (no_remap) && SYMBOLP (value))
1681 Lisp_Object value1;
1682 if (value1 = Fcommand_remapping (value, position, Qnil), !NILP (value1))
1683 value = value1;
1686 return value;
1689 /* GC is possible in this function if it autoloads a keymap. */
1691 DEFUN ("local-key-binding", Flocal_key_binding, Slocal_key_binding, 1, 2, 0,
1692 doc: /* Return the binding for command KEYS in current local keymap only.
1693 KEYS is a string or vector, a sequence of keystrokes.
1694 The binding is probably a symbol with a function definition.
1696 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1697 bindings; see the description of `lookup-key' for more details about this. */)
1698 (Lisp_Object keys, Lisp_Object accept_default)
1700 register Lisp_Object map;
1701 map = BVAR (current_buffer, keymap);
1702 if (NILP (map))
1703 return Qnil;
1704 return Flookup_key (map, keys, accept_default);
1707 /* GC is possible in this function if it autoloads a keymap. */
1709 DEFUN ("global-key-binding", Fglobal_key_binding, Sglobal_key_binding, 1, 2, 0,
1710 doc: /* Return the binding for command KEYS in current global keymap only.
1711 KEYS is a string or vector, a sequence of keystrokes.
1712 The binding is probably a symbol with a function definition.
1713 This function's return values are the same as those of `lookup-key'
1714 \(which see).
1716 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1717 bindings; see the description of `lookup-key' for more details about this. */)
1718 (Lisp_Object keys, Lisp_Object accept_default)
1720 return Flookup_key (current_global_map, keys, accept_default);
1723 /* GC is possible in this function if it autoloads a keymap. */
1725 DEFUN ("minor-mode-key-binding", Fminor_mode_key_binding, Sminor_mode_key_binding, 1, 2, 0,
1726 doc: /* Find the visible minor mode bindings of KEY.
1727 Return an alist of pairs (MODENAME . BINDING), where MODENAME is
1728 the symbol which names the minor mode binding KEY, and BINDING is
1729 KEY's definition in that mode. In particular, if KEY has no
1730 minor-mode bindings, return nil. If the first binding is a
1731 non-prefix, all subsequent bindings will be omitted, since they would
1732 be ignored. Similarly, the list doesn't include non-prefix bindings
1733 that come after prefix bindings.
1735 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1736 bindings; see the description of `lookup-key' for more details about this. */)
1737 (Lisp_Object key, Lisp_Object accept_default)
1739 Lisp_Object *modes, *maps;
1740 int nmaps;
1741 Lisp_Object binding;
1742 int i, j;
1743 struct gcpro gcpro1, gcpro2;
1745 nmaps = current_minor_maps (&modes, &maps);
1746 /* Note that all these maps are GCPRO'd
1747 in the places where we found them. */
1749 binding = Qnil;
1750 GCPRO2 (key, binding);
1752 for (i = j = 0; i < nmaps; i++)
1753 if (!NILP (maps[i])
1754 && !NILP (binding = Flookup_key (maps[i], key, accept_default))
1755 && !INTEGERP (binding))
1757 if (KEYMAPP (binding))
1758 maps[j++] = Fcons (modes[i], binding);
1759 else if (j == 0)
1760 RETURN_UNGCPRO (list1 (Fcons (modes[i], binding)));
1763 UNGCPRO;
1764 return Flist (j, maps);
1767 DEFUN ("define-prefix-command", Fdefine_prefix_command, Sdefine_prefix_command, 1, 3, 0,
1768 doc: /* Define COMMAND as a prefix command. COMMAND should be a symbol.
1769 A new sparse keymap is stored as COMMAND's function definition and its value.
1770 If a second optional argument MAPVAR is given, the map is stored as
1771 its value instead of as COMMAND's value; but COMMAND is still defined
1772 as a function.
1773 The third optional argument NAME, if given, supplies a menu name
1774 string for the map. This is required to use the keymap as a menu.
1775 This function returns COMMAND. */)
1776 (Lisp_Object command, Lisp_Object mapvar, Lisp_Object name)
1778 Lisp_Object map;
1779 map = Fmake_sparse_keymap (name);
1780 Ffset (command, map);
1781 if (!NILP (mapvar))
1782 Fset (mapvar, map);
1783 else
1784 Fset (command, map);
1785 return command;
1788 DEFUN ("use-global-map", Fuse_global_map, Suse_global_map, 1, 1, 0,
1789 doc: /* Select KEYMAP as the global keymap. */)
1790 (Lisp_Object keymap)
1792 keymap = get_keymap (keymap, 1, 1);
1793 current_global_map = keymap;
1795 return Qnil;
1798 DEFUN ("use-local-map", Fuse_local_map, Suse_local_map, 1, 1, 0,
1799 doc: /* Select KEYMAP as the local keymap.
1800 If KEYMAP is nil, that means no local keymap. */)
1801 (Lisp_Object keymap)
1803 if (!NILP (keymap))
1804 keymap = get_keymap (keymap, 1, 1);
1806 bset_keymap (current_buffer, keymap);
1808 return Qnil;
1811 DEFUN ("current-local-map", Fcurrent_local_map, Scurrent_local_map, 0, 0, 0,
1812 doc: /* Return current buffer's local keymap, or nil if it has none.
1813 Normally the local keymap is set by the major mode with `use-local-map'. */)
1814 (void)
1816 return BVAR (current_buffer, keymap);
1819 DEFUN ("current-global-map", Fcurrent_global_map, Scurrent_global_map, 0, 0, 0,
1820 doc: /* Return the current global keymap. */)
1821 (void)
1823 return current_global_map;
1826 DEFUN ("current-minor-mode-maps", Fcurrent_minor_mode_maps, Scurrent_minor_mode_maps, 0, 0, 0,
1827 doc: /* Return a list of keymaps for the minor modes of the current buffer. */)
1828 (void)
1830 Lisp_Object *maps;
1831 int nmaps = current_minor_maps (0, &maps);
1833 return Flist (nmaps, maps);
1836 /* Help functions for describing and documenting keymaps. */
1838 struct accessible_keymaps_data {
1839 Lisp_Object maps, tail, thisseq;
1840 /* Does the current sequence end in the meta-prefix-char? */
1841 bool is_metized;
1844 static void
1845 accessible_keymaps_1 (Lisp_Object key, Lisp_Object cmd, Lisp_Object args, void *data)
1846 /* Use void * data to be compatible with map_keymap_function_t. */
1848 struct accessible_keymaps_data *d = data; /* Cast! */
1849 Lisp_Object maps = d->maps;
1850 Lisp_Object tail = d->tail;
1851 Lisp_Object thisseq = d->thisseq;
1852 bool is_metized = d->is_metized && INTEGERP (key);
1853 Lisp_Object tem;
1855 cmd = get_keymap (get_keyelt (cmd, 0), 0, 0);
1856 if (NILP (cmd))
1857 return;
1859 /* Look for and break cycles. */
1860 while (!NILP (tem = Frassq (cmd, maps)))
1862 Lisp_Object prefix = XCAR (tem);
1863 ptrdiff_t lim = XINT (Flength (XCAR (tem)));
1864 if (lim <= XINT (Flength (thisseq)))
1865 { /* This keymap was already seen with a smaller prefix. */
1866 ptrdiff_t i = 0;
1867 while (i < lim && EQ (Faref (prefix, make_number (i)),
1868 Faref (thisseq, make_number (i))))
1869 i++;
1870 if (i >= lim)
1871 /* `prefix' is a prefix of `thisseq' => there's a cycle. */
1872 return;
1874 /* This occurrence of `cmd' in `maps' does not correspond to a cycle,
1875 but maybe `cmd' occurs again further down in `maps', so keep
1876 looking. */
1877 maps = XCDR (Fmemq (tem, maps));
1880 /* If the last key in thisseq is meta-prefix-char,
1881 turn it into a meta-ized keystroke. We know
1882 that the event we're about to append is an
1883 ascii keystroke since we're processing a
1884 keymap table. */
1885 if (is_metized)
1887 int meta_bit = meta_modifier;
1888 Lisp_Object last = make_number (XINT (Flength (thisseq)) - 1);
1889 tem = Fcopy_sequence (thisseq);
1891 Faset (tem, last, make_number (XINT (key) | meta_bit));
1893 /* This new sequence is the same length as
1894 thisseq, so stick it in the list right
1895 after this one. */
1896 XSETCDR (tail,
1897 Fcons (Fcons (tem, cmd), XCDR (tail)));
1899 else
1901 tem = append_key (thisseq, key);
1902 nconc2 (tail, list1 (Fcons (tem, cmd)));
1906 /* This function cannot GC. */
1908 DEFUN ("accessible-keymaps", Faccessible_keymaps, Saccessible_keymaps,
1909 1, 2, 0,
1910 doc: /* Find all keymaps accessible via prefix characters from KEYMAP.
1911 Returns a list of elements of the form (KEYS . MAP), where the sequence
1912 KEYS starting from KEYMAP gets you to MAP. These elements are ordered
1913 so that the KEYS increase in length. The first element is ([] . KEYMAP).
1914 An optional argument PREFIX, if non-nil, should be a key sequence;
1915 then the value includes only maps for prefixes that start with PREFIX. */)
1916 (Lisp_Object keymap, Lisp_Object prefix)
1918 Lisp_Object maps, tail;
1919 EMACS_INT prefixlen = XFASTINT (Flength (prefix));
1921 /* no need for gcpro because we don't autoload any keymaps. */
1923 if (!NILP (prefix))
1925 /* If a prefix was specified, start with the keymap (if any) for
1926 that prefix, so we don't waste time considering other prefixes. */
1927 Lisp_Object tem;
1928 tem = Flookup_key (keymap, prefix, Qt);
1929 /* Flookup_key may give us nil, or a number,
1930 if the prefix is not defined in this particular map.
1931 It might even give us a list that isn't a keymap. */
1932 tem = get_keymap (tem, 0, 0);
1933 /* If the keymap is autoloaded `tem' is not a cons-cell, but we still
1934 want to return it. */
1935 if (!NILP (tem))
1937 /* Convert PREFIX to a vector now, so that later on
1938 we don't have to deal with the possibility of a string. */
1939 if (STRINGP (prefix))
1941 int i, i_byte, c;
1942 Lisp_Object copy;
1944 copy = Fmake_vector (make_number (SCHARS (prefix)), Qnil);
1945 for (i = 0, i_byte = 0; i < SCHARS (prefix);)
1947 int i_before = i;
1949 FETCH_STRING_CHAR_ADVANCE (c, prefix, i, i_byte);
1950 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
1951 c ^= 0200 | meta_modifier;
1952 ASET (copy, i_before, make_number (c));
1954 prefix = copy;
1956 maps = list1 (Fcons (prefix, tem));
1958 else
1959 return Qnil;
1961 else
1962 maps = list1 (Fcons (zero_vector, get_keymap (keymap, 1, 0)));
1964 /* For each map in the list maps,
1965 look at any other maps it points to,
1966 and stick them at the end if they are not already in the list.
1968 This is a breadth-first traversal, where tail is the queue of
1969 nodes, and maps accumulates a list of all nodes visited. */
1971 for (tail = maps; CONSP (tail); tail = XCDR (tail))
1973 struct accessible_keymaps_data data;
1974 register Lisp_Object thismap = Fcdr (XCAR (tail));
1975 Lisp_Object last;
1977 data.thisseq = Fcar (XCAR (tail));
1978 data.maps = maps;
1979 data.tail = tail;
1980 last = make_number (XINT (Flength (data.thisseq)) - 1);
1981 /* Does the current sequence end in the meta-prefix-char? */
1982 data.is_metized = (XINT (last) >= 0
1983 /* Don't metize the last char of PREFIX. */
1984 && XINT (last) >= prefixlen
1985 && EQ (Faref (data.thisseq, last), meta_prefix_char));
1987 /* Since we can't run lisp code, we can't scan autoloaded maps. */
1988 if (CONSP (thismap))
1989 map_keymap (thismap, accessible_keymaps_1, Qnil, &data, 0);
1991 return maps;
1994 /* This function cannot GC. */
1996 DEFUN ("key-description", Fkey_description, Skey_description, 1, 2, 0,
1997 doc: /* Return a pretty description of key-sequence KEYS.
1998 Optional arg PREFIX is the sequence of keys leading up to KEYS.
1999 For example, [?\C-x ?l] is converted into the string \"C-x l\".
2001 For an approximate inverse of this, see `kbd'. */)
2002 (Lisp_Object keys, Lisp_Object prefix)
2004 ptrdiff_t len = 0;
2005 EMACS_INT i;
2006 ptrdiff_t i_byte;
2007 Lisp_Object *args;
2008 EMACS_INT size = XINT (Flength (keys));
2009 Lisp_Object list;
2010 Lisp_Object sep = build_string (" ");
2011 Lisp_Object key;
2012 Lisp_Object result;
2013 bool add_meta = 0;
2014 USE_SAFE_ALLOCA;
2016 if (!NILP (prefix))
2017 size += XINT (Flength (prefix));
2019 /* This has one extra element at the end that we don't pass to Fconcat. */
2020 if (min (PTRDIFF_MAX, SIZE_MAX) / word_size / 4 < size)
2021 memory_full (SIZE_MAX);
2022 SAFE_ALLOCA_LISP (args, size * 4);
2024 /* In effect, this computes
2025 (mapconcat 'single-key-description keys " ")
2026 but we shouldn't use mapconcat because it can do GC. */
2028 next_list:
2029 if (!NILP (prefix))
2030 list = prefix, prefix = Qnil;
2031 else if (!NILP (keys))
2032 list = keys, keys = Qnil;
2033 else
2035 if (add_meta)
2037 args[len] = Fsingle_key_description (meta_prefix_char, Qnil);
2038 result = Fconcat (len + 1, args);
2040 else if (len == 0)
2041 result = empty_unibyte_string;
2042 else
2043 result = Fconcat (len - 1, args);
2044 SAFE_FREE ();
2045 return result;
2048 if (STRINGP (list))
2049 size = SCHARS (list);
2050 else if (VECTORP (list))
2051 size = ASIZE (list);
2052 else if (CONSP (list))
2053 size = XINT (Flength (list));
2054 else
2055 wrong_type_argument (Qarrayp, list);
2057 i = i_byte = 0;
2059 while (i < size)
2061 if (STRINGP (list))
2063 int c;
2064 FETCH_STRING_CHAR_ADVANCE (c, list, i, i_byte);
2065 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2066 c ^= 0200 | meta_modifier;
2067 XSETFASTINT (key, c);
2069 else if (VECTORP (list))
2071 key = AREF (list, i); i++;
2073 else
2075 key = XCAR (list);
2076 list = XCDR (list);
2077 i++;
2080 if (add_meta)
2082 if (!INTEGERP (key)
2083 || EQ (key, meta_prefix_char)
2084 || (XINT (key) & meta_modifier))
2086 args[len++] = Fsingle_key_description (meta_prefix_char, Qnil);
2087 args[len++] = sep;
2088 if (EQ (key, meta_prefix_char))
2089 continue;
2091 else
2092 XSETINT (key, XINT (key) | meta_modifier);
2093 add_meta = 0;
2095 else if (EQ (key, meta_prefix_char))
2097 add_meta = 1;
2098 continue;
2100 args[len++] = Fsingle_key_description (key, Qnil);
2101 args[len++] = sep;
2103 goto next_list;
2107 char *
2108 push_key_description (EMACS_INT ch, char *p)
2110 int c, c2;
2111 bool tab_as_ci;
2113 /* Clear all the meaningless bits above the meta bit. */
2114 c = ch & (meta_modifier | ~ - meta_modifier);
2115 c2 = c & ~(alt_modifier | ctrl_modifier | hyper_modifier
2116 | meta_modifier | shift_modifier | super_modifier);
2118 if (! CHARACTERP (make_number (c2)))
2120 /* KEY_DESCRIPTION_SIZE is large enough for this. */
2121 p += sprintf (p, "[%d]", c);
2122 return p;
2125 tab_as_ci = (c2 == '\t' && (c & meta_modifier));
2127 if (c & alt_modifier)
2129 *p++ = 'A';
2130 *p++ = '-';
2131 c -= alt_modifier;
2133 if ((c & ctrl_modifier) != 0
2134 || (c2 < ' ' && c2 != 27 && c2 != '\t' && c2 != Ctl ('M'))
2135 || tab_as_ci)
2137 *p++ = 'C';
2138 *p++ = '-';
2139 c &= ~ctrl_modifier;
2141 if (c & hyper_modifier)
2143 *p++ = 'H';
2144 *p++ = '-';
2145 c -= hyper_modifier;
2147 if (c & meta_modifier)
2149 *p++ = 'M';
2150 *p++ = '-';
2151 c -= meta_modifier;
2153 if (c & shift_modifier)
2155 *p++ = 'S';
2156 *p++ = '-';
2157 c -= shift_modifier;
2159 if (c & super_modifier)
2161 *p++ = 's';
2162 *p++ = '-';
2163 c -= super_modifier;
2165 if (c < 040)
2167 if (c == 033)
2169 *p++ = 'E';
2170 *p++ = 'S';
2171 *p++ = 'C';
2173 else if (tab_as_ci)
2175 *p++ = 'i';
2177 else if (c == '\t')
2179 *p++ = 'T';
2180 *p++ = 'A';
2181 *p++ = 'B';
2183 else if (c == Ctl ('M'))
2185 *p++ = 'R';
2186 *p++ = 'E';
2187 *p++ = 'T';
2189 else
2191 /* `C-' already added above. */
2192 if (c > 0 && c <= Ctl ('Z'))
2193 *p++ = c + 0140;
2194 else
2195 *p++ = c + 0100;
2198 else if (c == 0177)
2200 *p++ = 'D';
2201 *p++ = 'E';
2202 *p++ = 'L';
2204 else if (c == ' ')
2206 *p++ = 'S';
2207 *p++ = 'P';
2208 *p++ = 'C';
2210 else if (c < 128)
2211 *p++ = c;
2212 else
2214 /* Now we are sure that C is a valid character code. */
2215 p += CHAR_STRING (c, (unsigned char *) p);
2218 return p;
2221 /* This function cannot GC. */
2223 DEFUN ("single-key-description", Fsingle_key_description,
2224 Ssingle_key_description, 1, 2, 0,
2225 doc: /* Return a pretty description of command character KEY.
2226 Control characters turn into C-whatever, etc.
2227 Optional argument NO-ANGLES non-nil means don't put angle brackets
2228 around function keys and event symbols. */)
2229 (Lisp_Object key, Lisp_Object no_angles)
2231 USE_SAFE_ALLOCA;
2233 if (CONSP (key) && lucid_event_type_list_p (key))
2234 key = Fevent_convert_list (key);
2236 if (CONSP (key) && INTEGERP (XCAR (key)) && INTEGERP (XCDR (key)))
2237 /* An interval from a map-char-table. */
2239 AUTO_STRING (dot_dot, "..");
2240 return concat3 (Fsingle_key_description (XCAR (key), no_angles),
2241 dot_dot,
2242 Fsingle_key_description (XCDR (key), no_angles));
2245 key = EVENT_HEAD (key);
2247 if (INTEGERP (key)) /* Normal character. */
2249 char tem[KEY_DESCRIPTION_SIZE];
2250 char *p = push_key_description (XINT (key), tem);
2251 *p = 0;
2252 return make_specified_string (tem, -1, p - tem, 1);
2254 else if (SYMBOLP (key)) /* Function key or event-symbol. */
2256 if (NILP (no_angles))
2258 Lisp_Object result;
2259 char *buffer = SAFE_ALLOCA (sizeof "<>"
2260 + SBYTES (SYMBOL_NAME (key)));
2261 esprintf (buffer, "<%s>", SDATA (SYMBOL_NAME (key)));
2262 result = build_string (buffer);
2263 SAFE_FREE ();
2264 return result;
2266 else
2267 return Fsymbol_name (key);
2269 else if (STRINGP (key)) /* Buffer names in the menubar. */
2270 return Fcopy_sequence (key);
2271 else
2272 error ("KEY must be an integer, cons, symbol, or string");
2275 static char *
2276 push_text_char_description (register unsigned int c, register char *p)
2278 if (c >= 0200)
2280 *p++ = 'M';
2281 *p++ = '-';
2282 c -= 0200;
2284 if (c < 040)
2286 *p++ = '^';
2287 *p++ = c + 64; /* 'A' - 1 */
2289 else if (c == 0177)
2291 *p++ = '^';
2292 *p++ = '?';
2294 else
2295 *p++ = c;
2296 return p;
2299 /* This function cannot GC. */
2301 DEFUN ("text-char-description", Ftext_char_description, Stext_char_description, 1, 1, 0,
2302 doc: /* Return a pretty description of file-character CHARACTER.
2303 Control characters turn into "^char", etc. This differs from
2304 `single-key-description' which turns them into "C-char".
2305 Also, this function recognizes the 2**7 bit as the Meta character,
2306 whereas `single-key-description' uses the 2**27 bit for Meta.
2307 See Info node `(elisp)Describing Characters' for examples. */)
2308 (Lisp_Object character)
2310 /* Currently MAX_MULTIBYTE_LENGTH is 4 (< 6). */
2311 char str[6];
2312 int c;
2314 CHECK_CHARACTER (character);
2316 c = XINT (character);
2317 if (!ASCII_CHAR_P (c))
2319 int len = CHAR_STRING (c, (unsigned char *) str);
2321 return make_multibyte_string (str, 1, len);
2324 *push_text_char_description (c & 0377, str) = 0;
2326 return build_string (str);
2329 static int where_is_preferred_modifier;
2331 /* Return 0 if SEQ uses non-preferred modifiers or non-char events.
2332 Else, return 2 if SEQ uses the where_is_preferred_modifier,
2333 and 1 otherwise. */
2334 static int
2335 preferred_sequence_p (Lisp_Object seq)
2337 EMACS_INT i;
2338 EMACS_INT len = XFASTINT (Flength (seq));
2339 int result = 1;
2341 for (i = 0; i < len; i++)
2343 Lisp_Object ii, elt;
2345 XSETFASTINT (ii, i);
2346 elt = Faref (seq, ii);
2348 if (!INTEGERP (elt))
2349 return 0;
2350 else
2352 int modifiers = XINT (elt) & (CHAR_MODIFIER_MASK & ~CHAR_META);
2353 if (modifiers == where_is_preferred_modifier)
2354 result = 2;
2355 else if (modifiers)
2356 return 0;
2360 return result;
2364 /* where-is - finding a command in a set of keymaps. */
2366 static void where_is_internal_1 (Lisp_Object key, Lisp_Object binding,
2367 Lisp_Object args, void *data);
2369 /* Like Flookup_key, but uses a list of keymaps SHADOW instead of a single map.
2370 Returns the first non-nil binding found in any of those maps.
2371 If REMAP is true, pass the result of the lookup through command
2372 remapping before returning it. */
2374 static Lisp_Object
2375 shadow_lookup (Lisp_Object shadow, Lisp_Object key, Lisp_Object flag,
2376 bool remap)
2378 Lisp_Object tail, value;
2380 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2382 value = Flookup_key (XCAR (tail), key, flag);
2383 if (NATNUMP (value))
2385 value = Flookup_key (XCAR (tail),
2386 Fsubstring (key, make_number (0), value), flag);
2387 if (!NILP (value))
2388 return Qnil;
2390 else if (!NILP (value))
2392 Lisp_Object remapping;
2393 if (remap && SYMBOLP (value)
2394 && (remapping = Fcommand_remapping (value, Qnil, shadow),
2395 !NILP (remapping)))
2396 return remapping;
2397 else
2398 return value;
2401 return Qnil;
2404 static Lisp_Object Vmouse_events;
2406 struct where_is_internal_data {
2407 Lisp_Object definition, this, last;
2408 bool last_is_meta, noindirect;
2409 Lisp_Object sequences;
2412 /* This function can't GC, AFAIK. */
2413 /* Return the list of bindings found. This list is ordered "longest
2414 to shortest". It may include bindings that are actually shadowed
2415 by others, as well as duplicate bindings and remapping bindings.
2416 The list returned is potentially shared with where_is_cache, so
2417 be careful not to modify it via side-effects. */
2419 static Lisp_Object
2420 where_is_internal (Lisp_Object definition, Lisp_Object keymaps,
2421 bool noindirect, bool nomenus)
2423 Lisp_Object maps = Qnil;
2424 Lisp_Object found;
2425 struct where_is_internal_data data;
2427 /* Only important use of caching is for the menubar
2428 (i.e. where-is-internal called with (def nil t nil nil)). */
2429 if (nomenus && !noindirect)
2431 /* Check heuristic-consistency of the cache. */
2432 if (NILP (Fequal (keymaps, where_is_cache_keymaps)))
2433 where_is_cache = Qnil;
2435 if (NILP (where_is_cache))
2437 /* We need to create the cache. */
2438 where_is_cache = Fmake_hash_table (0, NULL);
2439 where_is_cache_keymaps = Qt;
2441 else
2442 /* We can reuse the cache. */
2443 return Fgethash (definition, where_is_cache, Qnil);
2445 else
2446 /* Kill the cache so that where_is_internal_1 doesn't think
2447 we're filling it up. */
2448 where_is_cache = Qnil;
2450 found = keymaps;
2451 while (CONSP (found))
2453 maps =
2454 nconc2 (maps,
2455 Faccessible_keymaps (get_keymap (XCAR (found), 1, 0), Qnil));
2456 found = XCDR (found);
2459 data.sequences = Qnil;
2460 for (; CONSP (maps); maps = XCDR (maps))
2462 /* Key sequence to reach map, and the map that it reaches */
2463 register Lisp_Object this, map, tem;
2465 /* In order to fold [META-PREFIX-CHAR CHAR] sequences into
2466 [M-CHAR] sequences, check if last character of the sequence
2467 is the meta-prefix char. */
2468 Lisp_Object last;
2469 bool last_is_meta;
2471 this = Fcar (XCAR (maps));
2472 map = Fcdr (XCAR (maps));
2473 last = make_number (XINT (Flength (this)) - 1);
2474 last_is_meta = (XINT (last) >= 0
2475 && EQ (Faref (this, last), meta_prefix_char));
2477 /* if (nomenus && !preferred_sequence_p (this)) */
2478 if (nomenus && XINT (last) >= 0
2479 && SYMBOLP (tem = Faref (this, make_number (0)))
2480 && !NILP (Fmemq (XCAR (parse_modifiers (tem)), Vmouse_events)))
2481 /* If no menu entries should be returned, skip over the
2482 keymaps bound to `menu-bar' and `tool-bar' and other
2483 non-ascii prefixes like `C-down-mouse-2'. */
2484 continue;
2486 QUIT;
2488 data.definition = definition;
2489 data.noindirect = noindirect;
2490 data.this = this;
2491 data.last = last;
2492 data.last_is_meta = last_is_meta;
2494 if (CONSP (map))
2495 map_keymap (map, where_is_internal_1, Qnil, &data, 0);
2498 if (nomenus && !noindirect)
2499 { /* Remember for which keymaps this cache was built.
2500 We do it here (late) because we want to keep where_is_cache_keymaps
2501 set to t while the cache isn't fully filled. */
2502 where_is_cache_keymaps = keymaps;
2503 /* During cache-filling, data.sequences is not filled by
2504 where_is_internal_1. */
2505 return Fgethash (definition, where_is_cache, Qnil);
2507 else
2508 return data.sequences;
2511 /* This function can GC if Flookup_key autoloads any keymaps. */
2513 DEFUN ("where-is-internal", Fwhere_is_internal, Swhere_is_internal, 1, 5, 0,
2514 doc: /* Return list of keys that invoke DEFINITION.
2515 If KEYMAP is a keymap, search only KEYMAP and the global keymap.
2516 If KEYMAP is nil, search all the currently active keymaps, except
2517 for `overriding-local-map' (which is ignored).
2518 If KEYMAP is a list of keymaps, search only those keymaps.
2520 If optional 3rd arg FIRSTONLY is non-nil, return the first key sequence found,
2521 rather than a list of all possible key sequences.
2522 If FIRSTONLY is the symbol `non-ascii', return the first binding found,
2523 no matter what it is.
2524 If FIRSTONLY has another non-nil value, prefer bindings
2525 that use the modifier key specified in `where-is-preferred-modifier'
2526 \(or their meta variants) and entirely reject menu bindings.
2528 If optional 4th arg NOINDIRECT is non-nil, don't extract the commands inside
2529 menu-items. This makes it possible to search for a menu-item itself.
2531 The optional 5th arg NO-REMAP alters how command remapping is handled:
2533 - If another command OTHER-COMMAND is remapped to DEFINITION, normally
2534 search for the bindings of OTHER-COMMAND and include them in the
2535 returned list. But if NO-REMAP is non-nil, include the vector
2536 [remap OTHER-COMMAND] in the returned list instead, without
2537 searching for those other bindings.
2539 - If DEFINITION is remapped to OTHER-COMMAND, normally return the
2540 bindings for OTHER-COMMAND. But if NO-REMAP is non-nil, return the
2541 bindings for DEFINITION instead, ignoring its remapping. */)
2542 (Lisp_Object definition, Lisp_Object keymap, Lisp_Object firstonly, Lisp_Object noindirect, Lisp_Object no_remap)
2544 /* The keymaps in which to search. */
2545 Lisp_Object keymaps;
2546 /* Potentially relevant bindings in "shortest to longest" order. */
2547 Lisp_Object sequences = Qnil;
2548 /* Actually relevant bindings. */
2549 Lisp_Object found = Qnil;
2550 /* 1 means ignore all menu bindings entirely. */
2551 bool nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2552 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5, gcpro6;
2553 /* List of sequences found via remapping. Keep them in a separate
2554 variable, so as to push them later, since we prefer
2555 non-remapped binding. */
2556 Lisp_Object remapped_sequences = Qnil;
2557 /* Whether or not we're handling remapped sequences. This is needed
2558 because remapping is not done recursively by Fcommand_remapping: you
2559 can't remap a remapped command. */
2560 bool remapped = 0;
2561 Lisp_Object tem = Qnil;
2563 /* Refresh the C version of the modifier preference. */
2564 where_is_preferred_modifier
2565 = parse_solitary_modifier (Vwhere_is_preferred_modifier);
2567 /* Find the relevant keymaps. */
2568 if (CONSP (keymap) && KEYMAPP (XCAR (keymap)))
2569 keymaps = keymap;
2570 else if (!NILP (keymap))
2571 keymaps = list2 (keymap, current_global_map);
2572 else
2573 keymaps = Fcurrent_active_maps (Qnil, Qnil);
2575 GCPRO6 (definition, keymaps, found, sequences, remapped_sequences, tem);
2577 tem = Fcommand_remapping (definition, Qnil, keymaps);
2578 /* If `definition' is remapped to tem', then OT1H no key will run
2579 that command (since they will run `tem' instead), so we should
2580 return nil; but OTOH all keys bound to `definition' (or to `tem')
2581 will run the same command.
2582 So for menu-shortcut purposes, we want to find all the keys bound (maybe
2583 via remapping) to `tem'. But for the purpose of finding the keys that
2584 run `definition', then we'd want to just return nil.
2585 We choose to make it work right for menu-shortcuts, since it's the most
2586 common use.
2587 Known bugs: if you remap switch-to-buffer to toto, C-h f switch-to-buffer
2588 will tell you that switch-to-buffer is bound to C-x b even though C-x b
2589 will run toto instead. And if `toto' is itself remapped to forward-char,
2590 then C-h f toto will tell you that it's bound to C-f even though C-f does
2591 not run toto and it won't tell you that C-x b does run toto. */
2592 if (NILP (no_remap) && !NILP (tem))
2593 definition = tem;
2595 if (SYMBOLP (definition)
2596 && !NILP (firstonly)
2597 && !NILP (tem = Fget (definition, QCadvertised_binding)))
2599 /* We have a list of advertised bindings. */
2600 while (CONSP (tem))
2601 if (EQ (shadow_lookup (keymaps, XCAR (tem), Qnil, 0), definition))
2602 RETURN_UNGCPRO (XCAR (tem));
2603 else
2604 tem = XCDR (tem);
2605 if (EQ (shadow_lookup (keymaps, tem, Qnil, 0), definition))
2606 RETURN_UNGCPRO (tem);
2609 sequences = Freverse (where_is_internal (definition, keymaps,
2610 !NILP (noindirect), nomenus));
2612 while (CONSP (sequences)
2613 /* If we're at the end of the `sequences' list and we haven't
2614 considered remapped sequences yet, copy them over and
2615 process them. */
2616 || (!remapped && (sequences = remapped_sequences,
2617 remapped = 1,
2618 CONSP (sequences))))
2620 Lisp_Object sequence, function;
2622 sequence = XCAR (sequences);
2623 sequences = XCDR (sequences);
2625 /* Verify that this key binding is not shadowed by another
2626 binding for the same key, before we say it exists.
2628 Mechanism: look for local definition of this key and if
2629 it is defined and does not match what we found then
2630 ignore this key.
2632 Either nil or number as value from Flookup_key
2633 means undefined. */
2634 if (NILP (Fequal (shadow_lookup (keymaps, sequence, Qnil, remapped),
2635 definition)))
2636 continue;
2638 /* If the current sequence is a command remapping with
2639 format [remap COMMAND], find the key sequences
2640 which run COMMAND, and use those sequences instead. */
2641 if (NILP (no_remap) && !remapped
2642 && VECTORP (sequence) && ASIZE (sequence) == 2
2643 && EQ (AREF (sequence, 0), Qremap)
2644 && (function = AREF (sequence, 1), SYMBOLP (function)))
2646 Lisp_Object seqs = where_is_internal (function, keymaps,
2647 !NILP (noindirect), nomenus);
2648 remapped_sequences = nconc2 (Freverse (seqs), remapped_sequences);
2649 continue;
2652 /* Don't annoy user with strings from a menu such as the
2653 entries from the "Edit => Paste from Kill Menu".
2654 Change them all to "(any string)", so that there
2655 seems to be only one menu item to report. */
2656 if (! NILP (sequence))
2658 Lisp_Object tem1;
2659 tem1 = Faref (sequence, make_number (ASIZE (sequence) - 1));
2660 if (STRINGP (tem1))
2661 Faset (sequence, make_number (ASIZE (sequence) - 1),
2662 build_string ("(any string)"));
2665 /* It is a true unshadowed match. Record it, unless it's already
2666 been seen (as could happen when inheriting keymaps). */
2667 if (NILP (Fmember (sequence, found)))
2668 found = Fcons (sequence, found);
2670 /* If firstonly is Qnon_ascii, then we can return the first
2671 binding we find. If firstonly is not Qnon_ascii but not
2672 nil, then we should return the first ascii-only binding
2673 we find. */
2674 if (EQ (firstonly, Qnon_ascii))
2675 RETURN_UNGCPRO (sequence);
2676 else if (!NILP (firstonly)
2677 && 2 == preferred_sequence_p (sequence))
2678 RETURN_UNGCPRO (sequence);
2681 UNGCPRO;
2683 found = Fnreverse (found);
2685 /* firstonly may have been t, but we may have gone all the way through
2686 the keymaps without finding an all-ASCII key sequence. So just
2687 return the best we could find. */
2688 if (NILP (firstonly))
2689 return found;
2690 else if (where_is_preferred_modifier == 0)
2691 return Fcar (found);
2692 else
2693 { /* Maybe we did not find a preferred_modifier binding, but we did find
2694 some ASCII binding. */
2695 Lisp_Object bindings = found;
2696 while (CONSP (bindings))
2697 if (preferred_sequence_p (XCAR (bindings)))
2698 return XCAR (bindings);
2699 else
2700 bindings = XCDR (bindings);
2701 return Fcar (found);
2705 /* This function can GC because get_keyelt can. */
2707 static void
2708 where_is_internal_1 (Lisp_Object key, Lisp_Object binding, Lisp_Object args, void *data)
2710 struct where_is_internal_data *d = data; /* Cast! */
2711 Lisp_Object definition = d->definition;
2712 bool noindirect = d->noindirect;
2713 Lisp_Object this = d->this;
2714 Lisp_Object last = d->last;
2715 bool last_is_meta = d->last_is_meta;
2716 Lisp_Object sequence;
2718 /* Search through indirections unless that's not wanted. */
2719 if (!noindirect)
2720 binding = get_keyelt (binding, 0);
2722 /* End this iteration if this element does not match
2723 the target. */
2725 if (!(!NILP (where_is_cache) /* everything "matches" during cache-fill. */
2726 || EQ (binding, definition)
2727 || (CONSP (definition) && !NILP (Fequal (binding, definition)))))
2728 /* Doesn't match. */
2729 return;
2731 /* We have found a match. Construct the key sequence where we found it. */
2732 if (INTEGERP (key) && last_is_meta)
2734 sequence = Fcopy_sequence (this);
2735 Faset (sequence, last, make_number (XINT (key) | meta_modifier));
2737 else
2739 if (CONSP (key))
2740 key = Fcons (XCAR (key), XCDR (key));
2741 sequence = append_key (this, key);
2744 if (!NILP (where_is_cache))
2746 Lisp_Object sequences = Fgethash (binding, where_is_cache, Qnil);
2747 Fputhash (binding, Fcons (sequence, sequences), where_is_cache);
2749 else
2750 d->sequences = Fcons (sequence, d->sequences);
2753 /* describe-bindings - summarizing all the bindings in a set of keymaps. */
2755 DEFUN ("describe-buffer-bindings", Fdescribe_buffer_bindings, Sdescribe_buffer_bindings, 1, 3, 0,
2756 doc: /* Insert the list of all defined keys and their definitions.
2757 The list is inserted in the current buffer, while the bindings are
2758 looked up in BUFFER.
2759 The optional argument PREFIX, if non-nil, should be a key sequence;
2760 then we display only bindings that start with that prefix.
2761 The optional argument MENUS, if non-nil, says to mention menu bindings.
2762 \(Ordinarily these are omitted from the output.) */)
2763 (Lisp_Object buffer, Lisp_Object prefix, Lisp_Object menus)
2765 Lisp_Object outbuf, shadow;
2766 bool nomenu = NILP (menus);
2767 Lisp_Object start1;
2768 struct gcpro gcpro1;
2770 const char *alternate_heading
2771 = "\
2772 Keyboard translations:\n\n\
2773 You type Translation\n\
2774 -------- -----------\n";
2776 CHECK_BUFFER (buffer);
2778 shadow = Qnil;
2779 GCPRO1 (shadow);
2781 outbuf = Fcurrent_buffer ();
2783 /* Report on alternates for keys. */
2784 if (STRINGP (KVAR (current_kboard, Vkeyboard_translate_table)) && !NILP (prefix))
2786 int c;
2787 const unsigned char *translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2788 int translate_len = SCHARS (KVAR (current_kboard, Vkeyboard_translate_table));
2790 for (c = 0; c < translate_len; c++)
2791 if (translate[c] != c)
2793 char buf[KEY_DESCRIPTION_SIZE];
2794 char *bufend;
2796 if (alternate_heading)
2798 insert_string (alternate_heading);
2799 alternate_heading = 0;
2802 bufend = push_key_description (translate[c], buf);
2803 insert (buf, bufend - buf);
2804 Findent_to (make_number (16), make_number (1));
2805 bufend = push_key_description (c, buf);
2806 insert (buf, bufend - buf);
2808 insert ("\n", 1);
2810 /* Insert calls signal_after_change which may GC. */
2811 translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2814 insert ("\n", 1);
2817 if (!NILP (Vkey_translation_map))
2818 describe_map_tree (Vkey_translation_map, 0, Qnil, prefix,
2819 "Key translations", nomenu, 1, 0, 0);
2822 /* Print the (major mode) local map. */
2823 start1 = Qnil;
2824 if (!NILP (KVAR (current_kboard, Voverriding_terminal_local_map)))
2825 start1 = KVAR (current_kboard, Voverriding_terminal_local_map);
2827 if (!NILP (start1))
2829 describe_map_tree (start1, 1, shadow, prefix,
2830 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2831 shadow = Fcons (start1, shadow);
2832 start1 = Qnil;
2834 else if (!NILP (Voverriding_local_map))
2835 start1 = Voverriding_local_map;
2837 if (!NILP (start1))
2839 describe_map_tree (start1, 1, shadow, prefix,
2840 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2841 shadow = Fcons (start1, shadow);
2843 else
2845 /* Print the minor mode and major mode keymaps. */
2846 int i, nmaps;
2847 Lisp_Object *modes, *maps;
2849 /* Temporarily switch to `buffer', so that we can get that buffer's
2850 minor modes correctly. */
2851 Fset_buffer (buffer);
2853 nmaps = current_minor_maps (&modes, &maps);
2854 Fset_buffer (outbuf);
2856 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2857 XBUFFER (buffer), Qkeymap);
2858 if (!NILP (start1))
2860 describe_map_tree (start1, 1, shadow, prefix,
2861 "\f\n`keymap' Property Bindings", nomenu,
2862 0, 0, 0);
2863 shadow = Fcons (start1, shadow);
2866 /* Print the minor mode maps. */
2867 for (i = 0; i < nmaps; i++)
2869 /* The title for a minor mode keymap
2870 is constructed at run time.
2871 We let describe_map_tree do the actual insertion
2872 because it takes care of other features when doing so. */
2873 char *title, *p;
2875 if (!SYMBOLP (modes[i]))
2876 emacs_abort ();
2878 USE_SAFE_ALLOCA;
2879 p = title = SAFE_ALLOCA (42 + SBYTES (SYMBOL_NAME (modes[i])));
2880 *p++ = '\f';
2881 *p++ = '\n';
2882 *p++ = '`';
2883 memcpy (p, SDATA (SYMBOL_NAME (modes[i])),
2884 SBYTES (SYMBOL_NAME (modes[i])));
2885 p += SBYTES (SYMBOL_NAME (modes[i]));
2886 *p++ = '\'';
2887 memcpy (p, " Minor Mode Bindings", strlen (" Minor Mode Bindings"));
2888 p += strlen (" Minor Mode Bindings");
2889 *p = 0;
2891 describe_map_tree (maps[i], 1, shadow, prefix,
2892 title, nomenu, 0, 0, 0);
2893 shadow = Fcons (maps[i], shadow);
2894 SAFE_FREE ();
2897 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2898 XBUFFER (buffer), Qlocal_map);
2899 if (!NILP (start1))
2901 if (EQ (start1, BVAR (XBUFFER (buffer), keymap)))
2902 describe_map_tree (start1, 1, shadow, prefix,
2903 "\f\nMajor Mode Bindings", nomenu, 0, 0, 0);
2904 else
2905 describe_map_tree (start1, 1, shadow, prefix,
2906 "\f\n`local-map' Property Bindings",
2907 nomenu, 0, 0, 0);
2909 shadow = Fcons (start1, shadow);
2913 describe_map_tree (current_global_map, 1, shadow, prefix,
2914 "\f\nGlobal Bindings", nomenu, 0, 1, 0);
2916 /* Print the function-key-map translations under this prefix. */
2917 if (!NILP (KVAR (current_kboard, Vlocal_function_key_map)))
2918 describe_map_tree (KVAR (current_kboard, Vlocal_function_key_map), 0, Qnil, prefix,
2919 "\f\nFunction key map translations", nomenu, 1, 0, 0);
2921 /* Print the input-decode-map translations under this prefix. */
2922 if (!NILP (KVAR (current_kboard, Vinput_decode_map)))
2923 describe_map_tree (KVAR (current_kboard, Vinput_decode_map), 0, Qnil, prefix,
2924 "\f\nInput decoding map translations", nomenu, 1, 0, 0);
2926 UNGCPRO;
2927 return Qnil;
2930 /* Insert a description of the key bindings in STARTMAP,
2931 followed by those of all maps reachable through STARTMAP.
2932 If PARTIAL, omit certain "uninteresting" commands
2933 (such as `undefined').
2934 If SHADOW is non-nil, it is a list of maps;
2935 don't mention keys which would be shadowed by any of them.
2936 PREFIX, if non-nil, says mention only keys that start with PREFIX.
2937 TITLE, if not 0, is a string to insert at the beginning.
2938 TITLE should not end with a colon or a newline; we supply that.
2939 If NOMENU, then omit menu-bar commands.
2941 If TRANSL, the definitions are actually key translations
2942 so print strings and vectors differently.
2944 If ALWAYS_TITLE, print the title even if there are no maps
2945 to look through.
2947 If MENTION_SHADOW, then when something is shadowed by SHADOW,
2948 don't omit it; instead, mention it but say it is shadowed.
2950 Any inserted text ends in two newlines (used by `help-make-xrefs'). */
2952 void
2953 describe_map_tree (Lisp_Object startmap, bool partial, Lisp_Object shadow,
2954 Lisp_Object prefix, const char *title, bool nomenu,
2955 bool transl, bool always_title, bool mention_shadow)
2957 Lisp_Object maps, orig_maps, seen, sub_shadows;
2958 struct gcpro gcpro1, gcpro2, gcpro3;
2959 bool something = 0;
2960 const char *key_heading
2961 = "\
2962 key binding\n\
2963 --- -------\n";
2965 orig_maps = maps = Faccessible_keymaps (startmap, prefix);
2966 seen = Qnil;
2967 sub_shadows = Qnil;
2968 GCPRO3 (maps, seen, sub_shadows);
2970 if (nomenu)
2972 Lisp_Object list;
2974 /* Delete from MAPS each element that is for the menu bar. */
2975 for (list = maps; CONSP (list); list = XCDR (list))
2977 Lisp_Object elt, elt_prefix, tem;
2979 elt = XCAR (list);
2980 elt_prefix = Fcar (elt);
2981 if (ASIZE (elt_prefix) >= 1)
2983 tem = Faref (elt_prefix, make_number (0));
2984 if (EQ (tem, Qmenu_bar))
2985 maps = Fdelq (elt, maps);
2990 if (!NILP (maps) || always_title)
2992 if (title)
2994 insert_string (title);
2995 if (!NILP (prefix))
2997 insert_string (" Starting With ");
2998 insert1 (Fkey_description (prefix, Qnil));
3000 insert_string (":\n");
3002 insert_string (key_heading);
3003 something = 1;
3006 for (; CONSP (maps); maps = XCDR (maps))
3008 register Lisp_Object elt, elt_prefix, tail;
3010 elt = XCAR (maps);
3011 elt_prefix = Fcar (elt);
3013 sub_shadows = Qnil;
3015 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
3017 Lisp_Object shmap;
3019 shmap = XCAR (tail);
3021 /* If the sequence by which we reach this keymap is zero-length,
3022 then the shadow map for this keymap is just SHADOW. */
3023 if ((STRINGP (elt_prefix) && SCHARS (elt_prefix) == 0)
3024 || (VECTORP (elt_prefix) && ASIZE (elt_prefix) == 0))
3026 /* If the sequence by which we reach this keymap actually has
3027 some elements, then the sequence's definition in SHADOW is
3028 what we should use. */
3029 else
3031 shmap = Flookup_key (shmap, Fcar (elt), Qt);
3032 if (INTEGERP (shmap))
3033 shmap = Qnil;
3036 /* If shmap is not nil and not a keymap,
3037 it completely shadows this map, so don't
3038 describe this map at all. */
3039 if (!NILP (shmap) && !KEYMAPP (shmap))
3040 goto skip;
3042 if (!NILP (shmap))
3043 sub_shadows = Fcons (shmap, sub_shadows);
3046 /* Maps we have already listed in this loop shadow this map. */
3047 for (tail = orig_maps; !EQ (tail, maps); tail = XCDR (tail))
3049 Lisp_Object tem;
3050 tem = Fequal (Fcar (XCAR (tail)), elt_prefix);
3051 if (!NILP (tem))
3052 sub_shadows = Fcons (XCDR (XCAR (tail)), sub_shadows);
3055 describe_map (Fcdr (elt), elt_prefix,
3056 transl ? describe_translation : describe_command,
3057 partial, sub_shadows, &seen, nomenu, mention_shadow);
3059 skip: ;
3062 if (something)
3063 insert_string ("\n");
3065 UNGCPRO;
3068 static int previous_description_column;
3070 static void
3071 describe_command (Lisp_Object definition, Lisp_Object args)
3073 register Lisp_Object tem1;
3074 ptrdiff_t column = current_column ();
3075 int description_column;
3077 /* If column 16 is no good, go to col 32;
3078 but don't push beyond that--go to next line instead. */
3079 if (column > 30)
3081 insert_char ('\n');
3082 description_column = 32;
3084 else if (column > 14 || (column > 10 && previous_description_column == 32))
3085 description_column = 32;
3086 else
3087 description_column = 16;
3089 Findent_to (make_number (description_column), make_number (1));
3090 previous_description_column = description_column;
3092 if (SYMBOLP (definition))
3094 tem1 = SYMBOL_NAME (definition);
3095 insert1 (tem1);
3096 insert_string ("\n");
3098 else if (STRINGP (definition) || VECTORP (definition))
3099 insert_string ("Keyboard Macro\n");
3100 else if (KEYMAPP (definition))
3101 insert_string ("Prefix Command\n");
3102 else
3103 insert_string ("??\n");
3106 static void
3107 describe_translation (Lisp_Object definition, Lisp_Object args)
3109 register Lisp_Object tem1;
3111 Findent_to (make_number (16), make_number (1));
3113 if (SYMBOLP (definition))
3115 tem1 = SYMBOL_NAME (definition);
3116 insert1 (tem1);
3117 insert_string ("\n");
3119 else if (STRINGP (definition) || VECTORP (definition))
3121 insert1 (Fkey_description (definition, Qnil));
3122 insert_string ("\n");
3124 else if (KEYMAPP (definition))
3125 insert_string ("Prefix Command\n");
3126 else
3127 insert_string ("??\n");
3130 /* describe_map puts all the usable elements of a sparse keymap
3131 into an array of `struct describe_map_elt',
3132 then sorts them by the events. */
3134 struct describe_map_elt
3136 Lisp_Object event;
3137 Lisp_Object definition;
3138 bool shadowed;
3141 /* qsort comparison function for sorting `struct describe_map_elt' by
3142 the event field. */
3144 static int
3145 describe_map_compare (const void *aa, const void *bb)
3147 const struct describe_map_elt *a = aa, *b = bb;
3148 if (INTEGERP (a->event) && INTEGERP (b->event))
3149 return ((XINT (a->event) > XINT (b->event))
3150 - (XINT (a->event) < XINT (b->event)));
3151 if (!INTEGERP (a->event) && INTEGERP (b->event))
3152 return 1;
3153 if (INTEGERP (a->event) && !INTEGERP (b->event))
3154 return -1;
3155 if (SYMBOLP (a->event) && SYMBOLP (b->event))
3156 return (!NILP (Fstring_lessp (a->event, b->event)) ? -1
3157 : !NILP (Fstring_lessp (b->event, a->event)) ? 1
3158 : 0);
3159 return 0;
3162 /* Describe the contents of map MAP, assuming that this map itself is
3163 reached by the sequence of prefix keys PREFIX (a string or vector).
3164 PARTIAL, SHADOW, NOMENU are as in `describe_map_tree' above. */
3166 static void
3167 describe_map (Lisp_Object map, Lisp_Object prefix,
3168 void (*elt_describer) (Lisp_Object, Lisp_Object),
3169 bool partial, Lisp_Object shadow,
3170 Lisp_Object *seen, bool nomenu, bool mention_shadow)
3172 Lisp_Object tail, definition, event;
3173 Lisp_Object tem;
3174 Lisp_Object suppress;
3175 Lisp_Object kludge;
3176 bool first = 1;
3177 struct gcpro gcpro1, gcpro2, gcpro3;
3179 /* These accumulate the values from sparse keymap bindings,
3180 so we can sort them and handle them in order. */
3181 ptrdiff_t length_needed = 0;
3182 struct describe_map_elt *vect;
3183 ptrdiff_t slots_used = 0;
3184 ptrdiff_t i;
3186 suppress = Qnil;
3188 if (partial)
3189 suppress = intern ("suppress-keymap");
3191 /* This vector gets used to present single keys to Flookup_key. Since
3192 that is done once per keymap element, we don't want to cons up a
3193 fresh vector every time. */
3194 kludge = Fmake_vector (make_number (1), Qnil);
3195 definition = Qnil;
3197 GCPRO3 (prefix, definition, kludge);
3199 map = call1 (Qkeymap_canonicalize, map);
3201 for (tail = map; CONSP (tail); tail = XCDR (tail))
3202 length_needed++;
3204 USE_SAFE_ALLOCA;
3205 SAFE_NALLOCA (vect, 1, length_needed);
3207 for (tail = map; CONSP (tail); tail = XCDR (tail))
3209 QUIT;
3211 if (VECTORP (XCAR (tail))
3212 || CHAR_TABLE_P (XCAR (tail)))
3213 describe_vector (XCAR (tail),
3214 prefix, Qnil, elt_describer, partial, shadow, map,
3215 1, mention_shadow);
3216 else if (CONSP (XCAR (tail)))
3218 bool this_shadowed = 0;
3220 event = XCAR (XCAR (tail));
3222 /* Ignore bindings whose "prefix" are not really valid events.
3223 (We get these in the frames and buffers menu.) */
3224 if (!(SYMBOLP (event) || INTEGERP (event)))
3225 continue;
3227 if (nomenu && EQ (event, Qmenu_bar))
3228 continue;
3230 definition = get_keyelt (XCDR (XCAR (tail)), 0);
3232 /* Don't show undefined commands or suppressed commands. */
3233 if (NILP (definition)) continue;
3234 if (SYMBOLP (definition) && partial)
3236 tem = Fget (definition, suppress);
3237 if (!NILP (tem))
3238 continue;
3241 /* Don't show a command that isn't really visible
3242 because a local definition of the same key shadows it. */
3244 ASET (kludge, 0, event);
3245 if (!NILP (shadow))
3247 tem = shadow_lookup (shadow, kludge, Qt, 0);
3248 if (!NILP (tem))
3250 /* If both bindings are keymaps, this key is a prefix key,
3251 so don't say it is shadowed. */
3252 if (KEYMAPP (definition) && KEYMAPP (tem))
3254 /* Avoid generating duplicate entries if the
3255 shadowed binding has the same definition. */
3256 else if (mention_shadow && !EQ (tem, definition))
3257 this_shadowed = 1;
3258 else
3259 continue;
3263 tem = Flookup_key (map, kludge, Qt);
3264 if (!EQ (tem, definition)) continue;
3266 vect[slots_used].event = event;
3267 vect[slots_used].definition = definition;
3268 vect[slots_used].shadowed = this_shadowed;
3269 slots_used++;
3271 else if (EQ (XCAR (tail), Qkeymap))
3273 /* The same keymap might be in the structure twice, if we're
3274 using an inherited keymap. So skip anything we've already
3275 encountered. */
3276 tem = Fassq (tail, *seen);
3277 if (CONSP (tem) && !NILP (Fequal (XCAR (tem), prefix)))
3278 break;
3279 *seen = Fcons (Fcons (tail, prefix), *seen);
3283 /* If we found some sparse map events, sort them. */
3285 qsort (vect, slots_used, sizeof (struct describe_map_elt),
3286 describe_map_compare);
3288 /* Now output them in sorted order. */
3290 for (i = 0; i < slots_used; i++)
3292 Lisp_Object start, end;
3294 if (first)
3296 previous_description_column = 0;
3297 insert ("\n", 1);
3298 first = 0;
3301 ASET (kludge, 0, vect[i].event);
3302 start = vect[i].event;
3303 end = start;
3305 definition = vect[i].definition;
3307 /* Find consecutive chars that are identically defined. */
3308 if (INTEGERP (vect[i].event))
3310 while (i + 1 < slots_used
3311 && EQ (vect[i+1].event, make_number (XINT (vect[i].event) + 1))
3312 && !NILP (Fequal (vect[i + 1].definition, definition))
3313 && vect[i].shadowed == vect[i + 1].shadowed)
3314 i++;
3315 end = vect[i].event;
3318 /* Now START .. END is the range to describe next. */
3320 /* Insert the string to describe the event START. */
3321 insert1 (Fkey_description (kludge, prefix));
3323 if (!EQ (start, end))
3325 insert (" .. ", 4);
3327 ASET (kludge, 0, end);
3328 /* Insert the string to describe the character END. */
3329 insert1 (Fkey_description (kludge, prefix));
3332 /* Print a description of the definition of this character.
3333 elt_describer will take care of spacing out far enough
3334 for alignment purposes. */
3335 (*elt_describer) (vect[i].definition, Qnil);
3337 if (vect[i].shadowed)
3339 ptrdiff_t pt = max (PT - 1, BEG);
3341 SET_PT (pt);
3342 insert_string ("\n (that binding is currently shadowed by another mode)");
3343 pt = min (PT + 1, Z);
3344 SET_PT (pt);
3348 SAFE_FREE ();
3349 UNGCPRO;
3352 static void
3353 describe_vector_princ (Lisp_Object elt, Lisp_Object fun)
3355 Findent_to (make_number (16), make_number (1));
3356 call1 (fun, elt);
3357 Fterpri (Qnil, Qnil);
3360 DEFUN ("describe-vector", Fdescribe_vector, Sdescribe_vector, 1, 2, 0,
3361 doc: /* Insert a description of contents of VECTOR.
3362 This is text showing the elements of vector matched against indices.
3363 DESCRIBER is the output function used; nil means use `princ'. */)
3364 (Lisp_Object vector, Lisp_Object describer)
3366 ptrdiff_t count = SPECPDL_INDEX ();
3367 if (NILP (describer))
3368 describer = intern ("princ");
3369 specbind (Qstandard_output, Fcurrent_buffer ());
3370 CHECK_VECTOR_OR_CHAR_TABLE (vector);
3371 describe_vector (vector, Qnil, describer, describe_vector_princ, 0,
3372 Qnil, Qnil, 0, 0);
3374 return unbind_to (count, Qnil);
3377 /* Insert in the current buffer a description of the contents of VECTOR.
3378 We call ELT_DESCRIBER to insert the description of one value found
3379 in VECTOR.
3381 ELT_PREFIX describes what "comes before" the keys or indices defined
3382 by this vector. This is a human-readable string whose size
3383 is not necessarily related to the situation.
3385 If the vector is in a keymap, ELT_PREFIX is a prefix key which
3386 leads to this keymap.
3388 If the vector is a chartable, ELT_PREFIX is the vector
3389 of bytes that lead to the character set or portion of a character
3390 set described by this chartable.
3392 If PARTIAL, it means do not mention suppressed commands
3393 (that assumes the vector is in a keymap).
3395 SHADOW is a list of keymaps that shadow this map.
3396 If it is non-nil, then we look up the key in those maps
3397 and we don't mention it now if it is defined by any of them.
3399 ENTIRE_MAP is the keymap in which this vector appears.
3400 If the definition in effect in the whole map does not match
3401 the one in this vector, we ignore this one.
3403 ARGS is simply passed as the second argument to ELT_DESCRIBER.
3405 KEYMAP_P is 1 if vector is known to be a keymap, so map ESC to M-.
3407 ARGS is simply passed as the second argument to ELT_DESCRIBER. */
3409 static void
3410 describe_vector (Lisp_Object vector, Lisp_Object prefix, Lisp_Object args,
3411 void (*elt_describer) (Lisp_Object, Lisp_Object),
3412 bool partial, Lisp_Object shadow, Lisp_Object entire_map,
3413 bool keymap_p, bool mention_shadow)
3415 Lisp_Object definition;
3416 Lisp_Object tem2;
3417 Lisp_Object elt_prefix = Qnil;
3418 int i;
3419 Lisp_Object suppress;
3420 Lisp_Object kludge;
3421 bool first = 1;
3422 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
3423 /* Range of elements to be handled. */
3424 int from, to, stop;
3425 Lisp_Object character;
3426 int starting_i;
3428 suppress = Qnil;
3430 definition = Qnil;
3432 if (!keymap_p)
3434 /* Call Fkey_description first, to avoid GC bug for the other string. */
3435 if (!NILP (prefix) && XFASTINT (Flength (prefix)) > 0)
3437 Lisp_Object tem = Fkey_description (prefix, Qnil);
3438 AUTO_STRING (space, " ");
3439 elt_prefix = concat2 (tem, space);
3441 prefix = Qnil;
3444 /* This vector gets used to present single keys to Flookup_key. Since
3445 that is done once per vector element, we don't want to cons up a
3446 fresh vector every time. */
3447 kludge = Fmake_vector (make_number (1), Qnil);
3448 GCPRO4 (elt_prefix, prefix, definition, kludge);
3450 if (partial)
3451 suppress = intern ("suppress-keymap");
3453 from = 0;
3454 if (CHAR_TABLE_P (vector))
3455 stop = MAX_5_BYTE_CHAR + 1, to = MAX_CHAR + 1;
3456 else
3457 stop = to = ASIZE (vector);
3459 for (i = from; ; i++)
3461 bool this_shadowed = 0;
3462 int range_beg, range_end;
3463 Lisp_Object val;
3465 QUIT;
3467 if (i == stop)
3469 if (i == to)
3470 break;
3471 stop = to;
3474 starting_i = i;
3476 if (CHAR_TABLE_P (vector))
3478 range_beg = i;
3479 i = stop - 1;
3480 val = char_table_ref_and_range (vector, range_beg, &range_beg, &i);
3482 else
3483 val = AREF (vector, i);
3484 definition = get_keyelt (val, 0);
3486 if (NILP (definition)) continue;
3488 /* Don't mention suppressed commands. */
3489 if (SYMBOLP (definition) && partial)
3491 Lisp_Object tem;
3493 tem = Fget (definition, suppress);
3495 if (!NILP (tem)) continue;
3498 character = make_number (starting_i);
3499 ASET (kludge, 0, character);
3501 /* If this binding is shadowed by some other map, ignore it. */
3502 if (!NILP (shadow))
3504 Lisp_Object tem;
3506 tem = shadow_lookup (shadow, kludge, Qt, 0);
3508 if (!NILP (tem))
3510 if (mention_shadow)
3511 this_shadowed = 1;
3512 else
3513 continue;
3517 /* Ignore this definition if it is shadowed by an earlier
3518 one in the same keymap. */
3519 if (!NILP (entire_map))
3521 Lisp_Object tem;
3523 tem = Flookup_key (entire_map, kludge, Qt);
3525 if (!EQ (tem, definition))
3526 continue;
3529 if (first)
3531 insert ("\n", 1);
3532 first = 0;
3535 /* Output the prefix that applies to every entry in this map. */
3536 if (!NILP (elt_prefix))
3537 insert1 (elt_prefix);
3539 insert1 (Fkey_description (kludge, prefix));
3541 /* Find all consecutive characters or rows that have the same
3542 definition. But, VECTOR is a char-table, we had better put a
3543 boundary between normal characters (-#x3FFF7F) and 8-bit
3544 characters (#x3FFF80-). */
3545 if (CHAR_TABLE_P (vector))
3547 while (i + 1 < stop
3548 && (range_beg = i + 1, range_end = stop - 1,
3549 val = char_table_ref_and_range (vector, range_beg,
3550 &range_beg, &range_end),
3551 tem2 = get_keyelt (val, 0),
3552 !NILP (tem2))
3553 && !NILP (Fequal (tem2, definition)))
3554 i = range_end;
3556 else
3557 while (i + 1 < stop
3558 && (tem2 = get_keyelt (AREF (vector, i + 1), 0),
3559 !NILP (tem2))
3560 && !NILP (Fequal (tem2, definition)))
3561 i++;
3563 /* If we have a range of more than one character,
3564 print where the range reaches to. */
3566 if (i != starting_i)
3568 insert (" .. ", 4);
3570 ASET (kludge, 0, make_number (i));
3572 if (!NILP (elt_prefix))
3573 insert1 (elt_prefix);
3575 insert1 (Fkey_description (kludge, prefix));
3578 /* Print a description of the definition of this character.
3579 elt_describer will take care of spacing out far enough
3580 for alignment purposes. */
3581 (*elt_describer) (definition, args);
3583 if (this_shadowed)
3585 SET_PT (PT - 1);
3586 insert_string (" (binding currently shadowed)");
3587 SET_PT (PT + 1);
3591 if (CHAR_TABLE_P (vector) && ! NILP (XCHAR_TABLE (vector)->defalt))
3593 if (!NILP (elt_prefix))
3594 insert1 (elt_prefix);
3595 insert ("default", 7);
3596 (*elt_describer) (XCHAR_TABLE (vector)->defalt, args);
3599 UNGCPRO;
3602 /* Apropos - finding all symbols whose names match a regexp. */
3603 static Lisp_Object apropos_predicate;
3604 static Lisp_Object apropos_accumulate;
3606 static void
3607 apropos_accum (Lisp_Object symbol, Lisp_Object string)
3609 register Lisp_Object tem;
3611 tem = Fstring_match (string, Fsymbol_name (symbol), Qnil);
3612 if (!NILP (tem) && !NILP (apropos_predicate))
3613 tem = call1 (apropos_predicate, symbol);
3614 if (!NILP (tem))
3615 apropos_accumulate = Fcons (symbol, apropos_accumulate);
3618 DEFUN ("apropos-internal", Fapropos_internal, Sapropos_internal, 1, 2, 0,
3619 doc: /* Show all symbols whose names contain match for REGEXP.
3620 If optional 2nd arg PREDICATE is non-nil, (funcall PREDICATE SYMBOL) is done
3621 for each symbol and a symbol is mentioned only if that returns non-nil.
3622 Return list of symbols found. */)
3623 (Lisp_Object regexp, Lisp_Object predicate)
3625 Lisp_Object tem;
3626 CHECK_STRING (regexp);
3627 apropos_predicate = predicate;
3628 apropos_accumulate = Qnil;
3629 map_obarray (Vobarray, apropos_accum, regexp);
3630 tem = Fsort (apropos_accumulate, Qstring_lessp);
3631 apropos_accumulate = Qnil;
3632 apropos_predicate = Qnil;
3633 return tem;
3636 void
3637 syms_of_keymap (void)
3639 DEFSYM (Qkeymap, "keymap");
3640 staticpro (&apropos_predicate);
3641 staticpro (&apropos_accumulate);
3642 apropos_predicate = Qnil;
3643 apropos_accumulate = Qnil;
3645 DEFSYM (Qkeymap_canonicalize, "keymap-canonicalize");
3647 /* Now we are ready to set up this property, so we can
3648 create char tables. */
3649 Fput (Qkeymap, Qchar_table_extra_slots, make_number (0));
3651 /* Initialize the keymaps standardly used.
3652 Each one is the value of a Lisp variable, and is also
3653 pointed to by a C variable */
3655 global_map = Fmake_keymap (Qnil);
3656 Fset (intern_c_string ("global-map"), global_map);
3658 current_global_map = global_map;
3659 staticpro (&global_map);
3660 staticpro (&current_global_map);
3662 meta_map = Fmake_keymap (Qnil);
3663 Fset (intern_c_string ("esc-map"), meta_map);
3664 Ffset (intern_c_string ("ESC-prefix"), meta_map);
3666 control_x_map = Fmake_keymap (Qnil);
3667 Fset (intern_c_string ("ctl-x-map"), control_x_map);
3668 Ffset (intern_c_string ("Control-X-prefix"), control_x_map);
3670 exclude_keys = listn (CONSTYPE_PURE, 5,
3671 pure_cons (build_pure_c_string ("DEL"), build_pure_c_string ("\\d")),
3672 pure_cons (build_pure_c_string ("TAB"), build_pure_c_string ("\\t")),
3673 pure_cons (build_pure_c_string ("RET"), build_pure_c_string ("\\r")),
3674 pure_cons (build_pure_c_string ("ESC"), build_pure_c_string ("\\e")),
3675 pure_cons (build_pure_c_string ("SPC"), build_pure_c_string (" ")));
3676 staticpro (&exclude_keys);
3678 DEFVAR_LISP ("define-key-rebound-commands", Vdefine_key_rebound_commands,
3679 doc: /* List of commands given new key bindings recently.
3680 This is used for internal purposes during Emacs startup;
3681 don't alter it yourself. */);
3682 Vdefine_key_rebound_commands = Qt;
3684 DEFVAR_LISP ("minibuffer-local-map", Vminibuffer_local_map,
3685 doc: /* Default keymap to use when reading from the minibuffer. */);
3686 Vminibuffer_local_map = Fmake_sparse_keymap (Qnil);
3688 DEFVAR_LISP ("minibuffer-local-ns-map", Vminibuffer_local_ns_map,
3689 doc: /* Local keymap for the minibuffer when spaces are not allowed. */);
3690 Vminibuffer_local_ns_map = Fmake_sparse_keymap (Qnil);
3691 Fset_keymap_parent (Vminibuffer_local_ns_map, Vminibuffer_local_map);
3694 DEFVAR_LISP ("minor-mode-map-alist", Vminor_mode_map_alist,
3695 doc: /* Alist of keymaps to use for minor modes.
3696 Each element looks like (VARIABLE . KEYMAP); KEYMAP is used to read
3697 key sequences and look up bindings if VARIABLE's value is non-nil.
3698 If two active keymaps bind the same key, the keymap appearing earlier
3699 in the list takes precedence. */);
3700 Vminor_mode_map_alist = Qnil;
3702 DEFVAR_LISP ("minor-mode-overriding-map-alist", Vminor_mode_overriding_map_alist,
3703 doc: /* Alist of keymaps to use for minor modes, in current major mode.
3704 This variable is an alist just like `minor-mode-map-alist', and it is
3705 used the same way (and before `minor-mode-map-alist'); however,
3706 it is provided for major modes to bind locally. */);
3707 Vminor_mode_overriding_map_alist = Qnil;
3709 DEFVAR_LISP ("emulation-mode-map-alists", Vemulation_mode_map_alists,
3710 doc: /* List of keymap alists to use for emulation modes.
3711 It is intended for modes or packages using multiple minor-mode keymaps.
3712 Each element is a keymap alist just like `minor-mode-map-alist', or a
3713 symbol with a variable binding which is a keymap alist, and it is used
3714 the same way. The "active" keymaps in each alist are used before
3715 `minor-mode-map-alist' and `minor-mode-overriding-map-alist'. */);
3716 Vemulation_mode_map_alists = Qnil;
3718 DEFVAR_LISP ("where-is-preferred-modifier", Vwhere_is_preferred_modifier,
3719 doc: /* Preferred modifier key to use for `where-is'.
3720 When a single binding is requested, `where-is' will return one that
3721 uses this modifier key if possible. If nil, or if no such binding
3722 exists, bindings using keys without modifiers (or only with meta) will
3723 be preferred. */);
3724 Vwhere_is_preferred_modifier = Qnil;
3725 where_is_preferred_modifier = 0;
3727 DEFSYM (Qmenu_bar, "menu-bar");
3728 DEFSYM (Qmode_line, "mode-line");
3730 staticpro (&Vmouse_events);
3731 Vmouse_events = listn (CONSTYPE_PURE, 9,
3732 Qmenu_bar,
3733 Qtool_bar,
3734 Qheader_line,
3735 Qmode_line,
3736 intern_c_string ("mouse-1"),
3737 intern_c_string ("mouse-2"),
3738 intern_c_string ("mouse-3"),
3739 intern_c_string ("mouse-4"),
3740 intern_c_string ("mouse-5"));
3742 DEFSYM (Qsingle_key_description, "single-key-description");
3743 DEFSYM (Qkey_description, "key-description");
3745 /* Keymap used for minibuffers when doing completion. */
3746 /* Keymap used for minibuffers when doing completion and require a match. */
3747 DEFSYM (Qkeymapp, "keymapp");
3748 DEFSYM (Qnon_ascii, "non-ascii");
3749 DEFSYM (Qmenu_item, "menu-item");
3750 DEFSYM (Qremap, "remap");
3751 DEFSYM (QCadvertised_binding, ":advertised-binding");
3753 command_remapping_vector = Fmake_vector (make_number (2), Qremap);
3754 staticpro (&command_remapping_vector);
3756 where_is_cache_keymaps = Qt;
3757 where_is_cache = Qnil;
3758 staticpro (&where_is_cache);
3759 staticpro (&where_is_cache_keymaps);
3761 defsubr (&Skeymapp);
3762 defsubr (&Skeymap_parent);
3763 defsubr (&Skeymap_prompt);
3764 defsubr (&Sset_keymap_parent);
3765 defsubr (&Smake_keymap);
3766 defsubr (&Smake_sparse_keymap);
3767 defsubr (&Smap_keymap_internal);
3768 defsubr (&Smap_keymap);
3769 defsubr (&Scopy_keymap);
3770 defsubr (&Scommand_remapping);
3771 defsubr (&Skey_binding);
3772 defsubr (&Slocal_key_binding);
3773 defsubr (&Sglobal_key_binding);
3774 defsubr (&Sminor_mode_key_binding);
3775 defsubr (&Sdefine_key);
3776 defsubr (&Slookup_key);
3777 defsubr (&Sdefine_prefix_command);
3778 defsubr (&Suse_global_map);
3779 defsubr (&Suse_local_map);
3780 defsubr (&Scurrent_local_map);
3781 defsubr (&Scurrent_global_map);
3782 defsubr (&Scurrent_minor_mode_maps);
3783 defsubr (&Scurrent_active_maps);
3784 defsubr (&Saccessible_keymaps);
3785 defsubr (&Skey_description);
3786 defsubr (&Sdescribe_vector);
3787 defsubr (&Ssingle_key_description);
3788 defsubr (&Stext_char_description);
3789 defsubr (&Swhere_is_internal);
3790 defsubr (&Sdescribe_buffer_bindings);
3791 defsubr (&Sapropos_internal);
3794 void
3795 keys_of_keymap (void)
3797 initial_define_key (global_map, 033, "ESC-prefix");
3798 initial_define_key (global_map, Ctl ('X'), "Control-X-prefix");