* lisp/cedet/semantic/wisent/comp.el (wisent-defcontext): Move declarations
[emacs.git] / src / keymap.c
blobc7c7d196c22cc78c02e92ae9b3e057a69bf8bef9
1 /* Manipulation of keymaps
2 Copyright (C) 1985-1988, 1993-1995, 1998-2014 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 /* Keymap used for minibuffers when doing completion. */
80 /* Keymap used for minibuffers when doing completion and require a match. */
81 static Lisp_Object Qkeymapp, Qnon_ascii;
82 Lisp_Object Qkeymap, Qmenu_item, Qremap;
83 static Lisp_Object QCadvertised_binding;
85 /* Alist of elements like (DEL . "\d"). */
86 static Lisp_Object exclude_keys;
88 /* Pre-allocated 2-element vector for Fcommand_remapping to use. */
89 static Lisp_Object command_remapping_vector;
91 /* Hash table used to cache a reverse-map to speed up calls to where-is. */
92 static Lisp_Object where_is_cache;
93 /* Which keymaps are reverse-stored in the cache. */
94 static Lisp_Object where_is_cache_keymaps;
96 static Lisp_Object store_in_keymap (Lisp_Object, Lisp_Object, Lisp_Object);
98 static Lisp_Object define_as_prefix (Lisp_Object, Lisp_Object);
99 static void describe_command (Lisp_Object, Lisp_Object);
100 static void describe_translation (Lisp_Object, Lisp_Object);
101 static void describe_map (Lisp_Object, Lisp_Object,
102 void (*) (Lisp_Object, Lisp_Object),
103 bool, Lisp_Object, Lisp_Object*, bool, bool);
104 static void describe_vector (Lisp_Object, Lisp_Object, Lisp_Object,
105 void (*) (Lisp_Object, Lisp_Object), bool,
106 Lisp_Object, Lisp_Object, bool, bool);
107 static void silly_event_symbol_error (Lisp_Object);
108 static Lisp_Object get_keyelt (Lisp_Object, bool);
110 static void
111 CHECK_VECTOR_OR_CHAR_TABLE (Lisp_Object x)
113 CHECK_TYPE (VECTORP (x) || CHAR_TABLE_P (x), Qvector_or_char_table_p, x);
116 /* Keymap object support - constructors and predicates. */
118 DEFUN ("make-keymap", Fmake_keymap, Smake_keymap, 0, 1, 0,
119 doc: /* Construct and return a new keymap, of the form (keymap CHARTABLE . ALIST).
120 CHARTABLE is a char-table that holds the bindings for all characters
121 without modifiers. All entries in it are initially nil, meaning
122 "command undefined". ALIST is an assoc-list which holds bindings for
123 function keys, mouse events, and any other things that appear in the
124 input stream. Initially, ALIST is nil.
126 The optional arg STRING supplies a menu name for the keymap
127 in case you use it as a menu with `x-popup-menu'. */)
128 (Lisp_Object string)
130 Lisp_Object tail;
131 if (!NILP (string))
132 tail = list1 (string);
133 else
134 tail = Qnil;
135 return Fcons (Qkeymap,
136 Fcons (Fmake_char_table (Qkeymap, Qnil), tail));
139 DEFUN ("make-sparse-keymap", Fmake_sparse_keymap, Smake_sparse_keymap, 0, 1, 0,
140 doc: /* Construct and return a new sparse keymap.
141 Its car is `keymap' and its cdr is an alist of (CHAR . DEFINITION),
142 which binds the character CHAR to DEFINITION, or (SYMBOL . DEFINITION),
143 which binds the function key or mouse event SYMBOL to DEFINITION.
144 Initially the alist is nil.
146 The optional arg STRING supplies a menu name for the keymap
147 in case you use it as a menu with `x-popup-menu'. */)
148 (Lisp_Object string)
150 if (!NILP (string))
152 if (!NILP (Vpurify_flag))
153 string = Fpurecopy (string);
154 return list2 (Qkeymap, string);
156 return list1 (Qkeymap);
159 /* This function is used for installing the standard key bindings
160 at initialization time.
162 For example:
164 initial_define_key (control_x_map, Ctl('X'), "exchange-point-and-mark"); */
166 void
167 initial_define_key (Lisp_Object keymap, int key, const char *defname)
169 store_in_keymap (keymap, make_number (key), intern_c_string (defname));
172 void
173 initial_define_lispy_key (Lisp_Object keymap, const char *keyname, const char *defname)
175 store_in_keymap (keymap, intern_c_string (keyname), intern_c_string (defname));
178 DEFUN ("keymapp", Fkeymapp, Skeymapp, 1, 1, 0,
179 doc: /* Return t if OBJECT is a keymap.
181 A keymap is a list (keymap . ALIST),
182 or a symbol whose function definition is itself a keymap.
183 ALIST elements look like (CHAR . DEFN) or (SYMBOL . DEFN);
184 a vector of densely packed bindings for small character codes
185 is also allowed as an element. */)
186 (Lisp_Object object)
188 return (KEYMAPP (object) ? Qt : Qnil);
191 DEFUN ("keymap-prompt", Fkeymap_prompt, Skeymap_prompt, 1, 1, 0,
192 doc: /* Return the prompt-string of a keymap MAP.
193 If non-nil, the prompt is shown in the echo-area
194 when reading a key-sequence to be looked-up in this keymap. */)
195 (Lisp_Object map)
197 map = get_keymap (map, 0, 0);
198 while (CONSP (map))
200 Lisp_Object tem = XCAR (map);
201 if (STRINGP (tem))
202 return tem;
203 else if (KEYMAPP (tem))
205 tem = Fkeymap_prompt (tem);
206 if (!NILP (tem))
207 return tem;
209 map = XCDR (map);
211 return Qnil;
214 /* Check that OBJECT is a keymap (after dereferencing through any
215 symbols). If it is, return it.
217 If AUTOLOAD and if OBJECT is a symbol whose function value
218 is an autoload form, do the autoload and try again.
219 If AUTOLOAD, callers must assume GC is possible.
221 ERROR_IF_NOT_KEYMAP controls how we respond if OBJECT isn't a keymap.
222 If ERROR_IF_NOT_KEYMAP, signal an error; otherwise,
223 just return Qnil.
225 Note that most of the time, we don't want to pursue autoloads.
226 Functions like Faccessible_keymaps which scan entire keymap trees
227 shouldn't load every autoloaded keymap. I'm not sure about this,
228 but it seems to me that only read_key_sequence, Flookup_key, and
229 Fdefine_key should cause keymaps to be autoloaded.
231 This function can GC when AUTOLOAD is true, because it calls
232 Fautoload_do_load which can GC. */
234 Lisp_Object
235 get_keymap (Lisp_Object object, bool error_if_not_keymap, bool autoload)
237 Lisp_Object tem;
239 autoload_retry:
240 if (NILP (object))
241 goto end;
242 if (CONSP (object) && EQ (XCAR (object), Qkeymap))
243 return object;
245 tem = indirect_function (object);
246 if (CONSP (tem))
248 if (EQ (XCAR (tem), Qkeymap))
249 return tem;
251 /* Should we do an autoload? Autoload forms for keymaps have
252 Qkeymap as their fifth element. */
253 if ((autoload || !error_if_not_keymap) && EQ (XCAR (tem), Qautoload)
254 && SYMBOLP (object))
256 Lisp_Object tail;
258 tail = Fnth (make_number (4), tem);
259 if (EQ (tail, Qkeymap))
261 if (autoload)
263 struct gcpro gcpro1, gcpro2;
265 GCPRO2 (tem, object);
266 Fautoload_do_load (tem, object, Qnil);
267 UNGCPRO;
269 goto autoload_retry;
271 else
272 return object;
277 end:
278 if (error_if_not_keymap)
279 wrong_type_argument (Qkeymapp, object);
280 return Qnil;
283 /* Return the parent map of KEYMAP, or nil if it has none.
284 We assume that KEYMAP is a valid keymap. */
286 static Lisp_Object
287 keymap_parent (Lisp_Object keymap, bool autoload)
289 Lisp_Object list;
291 keymap = get_keymap (keymap, 1, autoload);
293 /* Skip past the initial element `keymap'. */
294 list = XCDR (keymap);
295 for (; CONSP (list); list = XCDR (list))
297 /* See if there is another `keymap'. */
298 if (KEYMAPP (list))
299 return list;
302 return get_keymap (list, 0, autoload);
305 DEFUN ("keymap-parent", Fkeymap_parent, Skeymap_parent, 1, 1, 0,
306 doc: /* Return the parent keymap of KEYMAP.
307 If KEYMAP has no parent, return nil. */)
308 (Lisp_Object keymap)
310 return keymap_parent (keymap, 1);
313 /* Check whether MAP is one of MAPS parents. */
314 static bool
315 keymap_memberp (Lisp_Object map, Lisp_Object maps)
317 if (NILP (map)) return 0;
318 while (KEYMAPP (maps) && !EQ (map, maps))
319 maps = keymap_parent (maps, 0);
320 return (EQ (map, maps));
323 /* Set the parent keymap of MAP to PARENT. */
325 DEFUN ("set-keymap-parent", Fset_keymap_parent, Sset_keymap_parent, 2, 2, 0,
326 doc: /* Modify KEYMAP to set its parent map to PARENT.
327 Return PARENT. PARENT should be nil or another keymap. */)
328 (Lisp_Object keymap, Lisp_Object parent)
330 Lisp_Object list, prev;
331 struct gcpro gcpro1, gcpro2;
333 /* Flush any reverse-map cache. */
334 where_is_cache = Qnil; where_is_cache_keymaps = Qt;
336 GCPRO2 (keymap, parent);
337 keymap = get_keymap (keymap, 1, 1);
339 if (!NILP (parent))
341 parent = get_keymap (parent, 1, 0);
343 /* Check for cycles. */
344 if (keymap_memberp (keymap, parent))
345 error ("Cyclic keymap inheritance");
348 /* Skip past the initial element `keymap'. */
349 prev = keymap;
350 while (1)
352 list = XCDR (prev);
353 /* If there is a parent keymap here, replace it.
354 If we came to the end, add the parent in PREV. */
355 if (!CONSP (list) || KEYMAPP (list))
357 CHECK_IMPURE (prev);
358 XSETCDR (prev, parent);
359 RETURN_UNGCPRO (parent);
361 prev = list;
366 /* Look up IDX in MAP. IDX may be any sort of event.
367 Note that this does only one level of lookup; IDX must be a single
368 event, not a sequence.
370 MAP must be a keymap or a list of keymaps.
372 If T_OK, bindings for Qt are treated as default
373 bindings; any key left unmentioned by other tables and bindings is
374 given the binding of Qt.
376 If not T_OK, bindings for Qt are not treated specially.
378 If NOINHERIT, don't accept a subkeymap found in an inherited keymap.
380 Return Qunbound if no binding was found (and return Qnil if a nil
381 binding was found). */
383 static Lisp_Object
384 access_keymap_1 (Lisp_Object map, Lisp_Object idx,
385 bool t_ok, bool noinherit, bool autoload)
387 /* If idx is a list (some sort of mouse click, perhaps?),
388 the index we want to use is the car of the list, which
389 ought to be a symbol. */
390 idx = EVENT_HEAD (idx);
392 /* If idx is a symbol, it might have modifiers, which need to
393 be put in the canonical order. */
394 if (SYMBOLP (idx))
395 idx = reorder_modifiers (idx);
396 else if (INTEGERP (idx))
397 /* Clobber the high bits that can be present on a machine
398 with more than 24 bits of integer. */
399 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
401 /* Handle the special meta -> esc mapping. */
402 if (INTEGERP (idx) && XFASTINT (idx) & meta_modifier)
404 /* See if there is a meta-map. If there's none, there is
405 no binding for IDX, unless a default binding exists in MAP. */
406 struct gcpro gcpro1;
407 Lisp_Object event_meta_binding, event_meta_map;
408 GCPRO1 (map);
409 /* A strange value in which Meta is set would cause
410 infinite recursion. Protect against that. */
411 if (XINT (meta_prefix_char) & CHAR_META)
412 meta_prefix_char = make_number (27);
413 event_meta_binding = access_keymap_1 (map, meta_prefix_char, t_ok,
414 noinherit, autoload);
415 event_meta_map = get_keymap (event_meta_binding, 0, autoload);
416 UNGCPRO;
417 if (CONSP (event_meta_map))
419 map = event_meta_map;
420 idx = make_number (XFASTINT (idx) & ~meta_modifier);
422 else if (t_ok)
423 /* Set IDX to t, so that we only find a default binding. */
424 idx = Qt;
425 else
426 /* An explicit nil binding, or no binding at all. */
427 return NILP (event_meta_binding) ? Qnil : Qunbound;
430 /* t_binding is where we put a default binding that applies,
431 to use in case we do not find a binding specifically
432 for this key sequence. */
434 Lisp_Object tail;
435 Lisp_Object t_binding = Qunbound;
436 Lisp_Object retval = Qunbound;
437 Lisp_Object retval_tail = Qnil;
438 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
440 GCPRO4 (tail, idx, t_binding, retval);
442 for (tail = (CONSP (map) && EQ (Qkeymap, XCAR (map))) ? XCDR (map) : map;
443 (CONSP (tail)
444 || (tail = get_keymap (tail, 0, autoload), CONSP (tail)));
445 tail = XCDR (tail))
447 /* Qunbound in VAL means we have found no binding. */
448 Lisp_Object val = Qunbound;
449 Lisp_Object binding = XCAR (tail);
450 Lisp_Object submap = get_keymap (binding, 0, autoload);
452 if (EQ (binding, Qkeymap))
454 if (noinherit || NILP (retval))
455 /* If NOINHERIT, stop here, the rest is inherited. */
456 break;
457 else if (!EQ (retval, Qunbound))
459 Lisp_Object parent_entry;
460 eassert (KEYMAPP (retval));
461 parent_entry
462 = get_keymap (access_keymap_1 (tail, idx,
463 t_ok, 0, autoload),
464 0, autoload);
465 if (KEYMAPP (parent_entry))
467 if (CONSP (retval_tail))
468 XSETCDR (retval_tail, parent_entry);
469 else
471 retval_tail = Fcons (retval, parent_entry);
472 retval = Fcons (Qkeymap, retval_tail);
475 break;
478 else if (CONSP (submap))
480 val = access_keymap_1 (submap, idx, t_ok, noinherit, autoload);
482 else if (CONSP (binding))
484 Lisp_Object key = XCAR (binding);
486 if (EQ (key, idx))
487 val = XCDR (binding);
488 else if (t_ok && EQ (key, Qt))
490 t_binding = XCDR (binding);
491 t_ok = 0;
494 else if (VECTORP (binding))
496 if (INTEGERP (idx) && XFASTINT (idx) < ASIZE (binding))
497 val = AREF (binding, XFASTINT (idx));
499 else if (CHAR_TABLE_P (binding))
501 /* Character codes with modifiers
502 are not included in a char-table.
503 All character codes without modifiers are included. */
504 if (INTEGERP (idx) && (XFASTINT (idx) & CHAR_MODIFIER_MASK) == 0)
506 val = Faref (binding, idx);
507 /* `nil' has a special meaning for char-tables, so
508 we use something else to record an explicitly
509 unbound entry. */
510 if (NILP (val))
511 val = Qunbound;
515 /* If we found a binding, clean it up and return it. */
516 if (!EQ (val, Qunbound))
518 if (EQ (val, Qt))
519 /* A Qt binding is just like an explicit nil binding
520 (i.e. it shadows any parent binding but not bindings in
521 keymaps of lower precedence). */
522 val = Qnil;
524 val = get_keyelt (val, autoload);
526 if (!KEYMAPP (val))
528 if (NILP (retval) || EQ (retval, Qunbound))
529 retval = val;
530 if (!NILP (val))
531 break; /* Shadows everything that follows. */
533 else if (NILP (retval) || EQ (retval, Qunbound))
534 retval = val;
535 else if (CONSP (retval_tail))
537 XSETCDR (retval_tail, list1 (val));
538 retval_tail = XCDR (retval_tail);
540 else
542 retval_tail = list1 (val);
543 retval = Fcons (Qkeymap, Fcons (retval, retval_tail));
546 QUIT;
548 UNGCPRO;
549 return EQ (Qunbound, retval) ? get_keyelt (t_binding, autoload) : retval;
553 Lisp_Object
554 access_keymap (Lisp_Object map, Lisp_Object idx,
555 bool t_ok, bool noinherit, bool autoload)
557 Lisp_Object val = access_keymap_1 (map, idx, t_ok, noinherit, autoload);
558 return EQ (val, Qunbound) ? Qnil : val;
561 static void
562 map_keymap_item (map_keymap_function_t fun, Lisp_Object args, Lisp_Object key, Lisp_Object val, void *data)
564 if (EQ (val, Qt))
565 val = Qnil;
566 (*fun) (key, val, args, data);
569 static void
570 map_keymap_char_table_item (Lisp_Object args, Lisp_Object key, Lisp_Object val)
572 if (!NILP (val))
574 map_keymap_function_t fun
575 = (map_keymap_function_t) XSAVE_FUNCPOINTER (args, 0);
576 /* If the key is a range, make a copy since map_char_table modifies
577 it in place. */
578 if (CONSP (key))
579 key = Fcons (XCAR (key), XCDR (key));
580 map_keymap_item (fun, XSAVE_OBJECT (args, 2), key,
581 val, XSAVE_POINTER (args, 1));
585 /* Call FUN for every binding in MAP and stop at (and return) the parent.
586 FUN is called with 4 arguments: FUN (KEY, BINDING, ARGS, DATA). */
587 static Lisp_Object
588 map_keymap_internal (Lisp_Object map,
589 map_keymap_function_t fun,
590 Lisp_Object args,
591 void *data)
593 struct gcpro gcpro1, gcpro2, gcpro3;
594 Lisp_Object tail
595 = (CONSP (map) && EQ (Qkeymap, XCAR (map))) ? XCDR (map) : map;
597 GCPRO3 (map, args, tail);
598 for (; CONSP (tail) && !EQ (Qkeymap, XCAR (tail)); tail = XCDR (tail))
600 Lisp_Object binding = XCAR (tail);
602 if (KEYMAPP (binding)) /* An embedded parent. */
603 break;
604 else if (CONSP (binding))
605 map_keymap_item (fun, args, XCAR (binding), XCDR (binding), data);
606 else if (VECTORP (binding))
608 /* Loop over the char values represented in the vector. */
609 int len = ASIZE (binding);
610 int c;
611 for (c = 0; c < len; c++)
613 Lisp_Object character;
614 XSETFASTINT (character, c);
615 map_keymap_item (fun, args, character, AREF (binding, c), data);
618 else if (CHAR_TABLE_P (binding))
619 map_char_table (map_keymap_char_table_item, Qnil, binding,
620 make_save_funcptr_ptr_obj ((voidfuncptr) fun, data,
621 args));
623 UNGCPRO;
624 return tail;
627 static void
628 map_keymap_call (Lisp_Object key, Lisp_Object val, Lisp_Object fun, void *dummy)
630 call2 (fun, key, val);
633 /* Same as map_keymap_internal, but traverses parent keymaps as well.
634 AUTOLOAD indicates that autoloaded keymaps should be loaded. */
635 void
636 map_keymap (Lisp_Object map, map_keymap_function_t fun, Lisp_Object args,
637 void *data, bool autoload)
639 struct gcpro gcpro1;
640 GCPRO1 (args);
641 map = get_keymap (map, 1, autoload);
642 while (CONSP (map))
644 if (KEYMAPP (XCAR (map)))
646 map_keymap (XCAR (map), fun, args, data, autoload);
647 map = XCDR (map);
649 else
650 map = map_keymap_internal (map, fun, args, data);
651 if (!CONSP (map))
652 map = get_keymap (map, 0, autoload);
654 UNGCPRO;
657 static Lisp_Object Qkeymap_canonicalize;
659 /* Same as map_keymap, but does it right, properly eliminating duplicate
660 bindings due to inheritance. */
661 void
662 map_keymap_canonical (Lisp_Object map, map_keymap_function_t fun, Lisp_Object args, void *data)
664 struct gcpro gcpro1;
665 GCPRO1 (args);
666 /* map_keymap_canonical may be used from redisplay (e.g. when building menus)
667 so be careful to ignore errors and to inhibit redisplay. */
668 map = safe_call1 (Qkeymap_canonicalize, map);
669 /* No need to use `map_keymap' here because canonical map has no parent. */
670 map_keymap_internal (map, fun, args, data);
671 UNGCPRO;
674 DEFUN ("map-keymap-internal", Fmap_keymap_internal, Smap_keymap_internal, 2, 2, 0,
675 doc: /* Call FUNCTION once for each event binding in KEYMAP.
676 FUNCTION is called with two arguments: the event that is bound, and
677 the definition it is bound to. The event may be a character range.
678 If KEYMAP has a parent, this function returns it without processing it. */)
679 (Lisp_Object function, Lisp_Object keymap)
681 struct gcpro gcpro1;
682 GCPRO1 (function);
683 keymap = get_keymap (keymap, 1, 1);
684 keymap = map_keymap_internal (keymap, map_keymap_call, function, NULL);
685 UNGCPRO;
686 return keymap;
689 DEFUN ("map-keymap", Fmap_keymap, Smap_keymap, 2, 3, 0,
690 doc: /* Call FUNCTION once for each event binding in KEYMAP.
691 FUNCTION is called with two arguments: the event that is bound, and
692 the definition it is bound to. The event may be a character range.
694 If KEYMAP has a parent, the parent's bindings are included as well.
695 This works recursively: if the parent has itself a parent, then the
696 grandparent's bindings are also included and so on.
697 usage: (map-keymap FUNCTION KEYMAP) */)
698 (Lisp_Object function, Lisp_Object keymap, Lisp_Object sort_first)
700 if (! NILP (sort_first))
701 return call2 (intern ("map-keymap-sorted"), function, keymap);
703 map_keymap (keymap, map_keymap_call, function, NULL, 1);
704 return Qnil;
707 /* Given OBJECT which was found in a slot in a keymap,
708 trace indirect definitions to get the actual definition of that slot.
709 An indirect definition is a list of the form
710 (KEYMAP . INDEX), where KEYMAP is a keymap or a symbol defined as one
711 and INDEX is the object to look up in KEYMAP to yield the definition.
713 Also if OBJECT has a menu string as the first element,
714 remove that. Also remove a menu help string as second element.
716 If AUTOLOAD, load autoloadable keymaps
717 that are referred to with indirection.
719 This can GC because menu_item_eval_property calls Feval. */
721 static Lisp_Object
722 get_keyelt (Lisp_Object object, bool autoload)
724 while (1)
726 if (!(CONSP (object)))
727 /* This is really the value. */
728 return object;
730 /* If the keymap contents looks like (menu-item name . DEFN)
731 or (menu-item name DEFN ...) then use DEFN.
732 This is a new format menu item. */
733 else if (EQ (XCAR (object), Qmenu_item))
735 if (CONSP (XCDR (object)))
737 Lisp_Object tem;
739 object = XCDR (XCDR (object));
740 tem = object;
741 if (CONSP (object))
742 object = XCAR (object);
744 /* If there's a `:filter FILTER', apply FILTER to the
745 menu-item's definition to get the real definition to
746 use. */
747 for (; CONSP (tem) && CONSP (XCDR (tem)); tem = XCDR (tem))
748 if (EQ (XCAR (tem), QCfilter) && autoload)
750 Lisp_Object filter;
751 filter = XCAR (XCDR (tem));
752 filter = list2 (filter, list2 (Qquote, object));
753 object = menu_item_eval_property (filter);
754 break;
757 else
758 /* Invalid keymap. */
759 return object;
762 /* If the keymap contents looks like (STRING . DEFN), use DEFN.
763 Keymap alist elements like (CHAR MENUSTRING . DEFN)
764 will be used by HierarKey menus. */
765 else if (STRINGP (XCAR (object)))
766 object = XCDR (object);
768 else
769 return object;
773 static Lisp_Object
774 store_in_keymap (Lisp_Object keymap, register Lisp_Object idx, Lisp_Object def)
776 /* Flush any reverse-map cache. */
777 where_is_cache = Qnil;
778 where_is_cache_keymaps = Qt;
780 if (EQ (idx, Qkeymap))
781 error ("`keymap' is reserved for embedded parent maps");
783 /* If we are preparing to dump, and DEF is a menu element
784 with a menu item indicator, copy it to ensure it is not pure. */
785 if (CONSP (def) && PURE_P (def)
786 && (EQ (XCAR (def), Qmenu_item) || STRINGP (XCAR (def))))
787 def = Fcons (XCAR (def), XCDR (def));
789 if (!CONSP (keymap) || !EQ (XCAR (keymap), Qkeymap))
790 error ("attempt to define a key in a non-keymap");
792 /* If idx is a cons, and the car part is a character, idx must be of
793 the form (FROM-CHAR . TO-CHAR). */
794 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
795 CHECK_CHARACTER_CDR (idx);
796 else
797 /* If idx is a list (some sort of mouse click, perhaps?),
798 the index we want to use is the car of the list, which
799 ought to be a symbol. */
800 idx = EVENT_HEAD (idx);
802 /* If idx is a symbol, it might have modifiers, which need to
803 be put in the canonical order. */
804 if (SYMBOLP (idx))
805 idx = reorder_modifiers (idx);
806 else if (INTEGERP (idx))
807 /* Clobber the high bits that can be present on a machine
808 with more than 24 bits of integer. */
809 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
811 /* Scan the keymap for a binding of idx. */
813 Lisp_Object tail;
815 /* The cons after which we should insert new bindings. If the
816 keymap has a table element, we record its position here, so new
817 bindings will go after it; this way, the table will stay
818 towards the front of the alist and character lookups in dense
819 keymaps will remain fast. Otherwise, this just points at the
820 front of the keymap. */
821 Lisp_Object insertion_point;
823 insertion_point = keymap;
824 for (tail = XCDR (keymap); CONSP (tail); tail = XCDR (tail))
826 Lisp_Object elt;
828 elt = XCAR (tail);
829 if (VECTORP (elt))
831 if (NATNUMP (idx) && XFASTINT (idx) < ASIZE (elt))
833 CHECK_IMPURE (elt);
834 ASET (elt, XFASTINT (idx), def);
835 return def;
837 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
839 int from = XFASTINT (XCAR (idx));
840 int to = XFASTINT (XCDR (idx));
842 if (to >= ASIZE (elt))
843 to = ASIZE (elt) - 1;
844 for (; from <= to; from++)
845 ASET (elt, from, def);
846 if (to == XFASTINT (XCDR (idx)))
847 /* We have defined all keys in IDX. */
848 return def;
850 insertion_point = tail;
852 else if (CHAR_TABLE_P (elt))
854 /* Character codes with modifiers
855 are not included in a char-table.
856 All character codes without modifiers are included. */
857 if (NATNUMP (idx) && !(XFASTINT (idx) & CHAR_MODIFIER_MASK))
859 Faset (elt, idx,
860 /* `nil' has a special meaning for char-tables, so
861 we use something else to record an explicitly
862 unbound entry. */
863 NILP (def) ? Qt : def);
864 return def;
866 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
868 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
869 return def;
871 insertion_point = tail;
873 else if (CONSP (elt))
875 if (EQ (Qkeymap, XCAR (elt)))
876 { /* A sub keymap. This might be due to a lookup that found
877 two matching bindings (maybe because of a sub keymap).
878 It almost never happens (since the second binding normally
879 only happens in the inherited part of the keymap), but
880 if it does, we want to update the sub-keymap since the
881 main one might be temporary (built by access_keymap). */
882 tail = insertion_point = elt;
884 else if (EQ (idx, XCAR (elt)))
886 CHECK_IMPURE (elt);
887 XSETCDR (elt, def);
888 return def;
890 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
892 int from = XFASTINT (XCAR (idx));
893 int to = XFASTINT (XCDR (idx));
895 if (from <= XFASTINT (XCAR (elt))
896 && to >= XFASTINT (XCAR (elt)))
898 XSETCDR (elt, def);
899 if (from == to)
900 return def;
904 else if (EQ (elt, Qkeymap))
905 /* If we find a 'keymap' symbol in the spine of KEYMAP,
906 then we must have found the start of a second keymap
907 being used as the tail of KEYMAP, and a binding for IDX
908 should be inserted before it. */
909 goto keymap_end;
911 QUIT;
914 keymap_end:
915 /* We have scanned the entire keymap, and not found a binding for
916 IDX. Let's add one. */
918 Lisp_Object elt;
920 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
922 /* IDX specifies a range of characters, and not all of them
923 were handled yet, which means this keymap doesn't have a
924 char-table. So, we insert a char-table now. */
925 elt = Fmake_char_table (Qkeymap, Qnil);
926 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
928 else
929 elt = Fcons (idx, def);
930 CHECK_IMPURE (insertion_point);
931 XSETCDR (insertion_point, Fcons (elt, XCDR (insertion_point)));
935 return def;
938 static Lisp_Object
939 copy_keymap_item (Lisp_Object elt)
941 Lisp_Object res, tem;
943 if (!CONSP (elt))
944 return elt;
946 res = tem = elt;
948 /* Is this a new format menu item. */
949 if (EQ (XCAR (tem), Qmenu_item))
951 /* Copy cell with menu-item marker. */
952 res = elt = Fcons (XCAR (tem), XCDR (tem));
953 tem = XCDR (elt);
954 if (CONSP (tem))
956 /* Copy cell with menu-item name. */
957 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
958 elt = XCDR (elt);
959 tem = XCDR (elt);
961 if (CONSP (tem))
963 /* Copy cell with binding and if the binding is a keymap,
964 copy that. */
965 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
966 elt = XCDR (elt);
967 tem = XCAR (elt);
968 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
969 XSETCAR (elt, Fcopy_keymap (tem));
970 tem = XCDR (elt);
973 else
975 /* It may be an old format menu item.
976 Skip the optional menu string. */
977 if (STRINGP (XCAR (tem)))
979 /* Copy the cell, since copy-alist didn't go this deep. */
980 res = elt = Fcons (XCAR (tem), XCDR (tem));
981 tem = XCDR (elt);
982 /* Also skip the optional menu help string. */
983 if (CONSP (tem) && STRINGP (XCAR (tem)))
985 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
986 elt = XCDR (elt);
987 tem = XCDR (elt);
989 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
990 XSETCDR (elt, Fcopy_keymap (tem));
992 else if (EQ (XCAR (tem), Qkeymap))
993 res = Fcopy_keymap (elt);
995 return res;
998 static void
999 copy_keymap_1 (Lisp_Object chartable, Lisp_Object idx, Lisp_Object elt)
1001 Fset_char_table_range (chartable, idx, copy_keymap_item (elt));
1004 DEFUN ("copy-keymap", Fcopy_keymap, Scopy_keymap, 1, 1, 0,
1005 doc: /* Return a copy of the keymap KEYMAP.
1006 The copy starts out with the same definitions of KEYMAP,
1007 but changing either the copy or KEYMAP does not affect the other.
1008 Any key definitions that are subkeymaps are recursively copied.
1009 However, a key definition which is a symbol whose definition is a keymap
1010 is not copied. */)
1011 (Lisp_Object keymap)
1013 Lisp_Object copy, tail;
1014 keymap = get_keymap (keymap, 1, 0);
1015 copy = tail = list1 (Qkeymap);
1016 keymap = XCDR (keymap); /* Skip the `keymap' symbol. */
1018 while (CONSP (keymap) && !EQ (XCAR (keymap), Qkeymap))
1020 Lisp_Object elt = XCAR (keymap);
1021 if (CHAR_TABLE_P (elt))
1023 elt = Fcopy_sequence (elt);
1024 map_char_table (copy_keymap_1, Qnil, elt, elt);
1026 else if (VECTORP (elt))
1028 int i;
1029 elt = Fcopy_sequence (elt);
1030 for (i = 0; i < ASIZE (elt); i++)
1031 ASET (elt, i, copy_keymap_item (AREF (elt, i)));
1033 else if (CONSP (elt))
1035 if (EQ (XCAR (elt), Qkeymap))
1036 /* This is a sub keymap. */
1037 elt = Fcopy_keymap (elt);
1038 else
1039 elt = Fcons (XCAR (elt), copy_keymap_item (XCDR (elt)));
1041 XSETCDR (tail, list1 (elt));
1042 tail = XCDR (tail);
1043 keymap = XCDR (keymap);
1045 XSETCDR (tail, keymap);
1046 return copy;
1049 /* Simple Keymap mutators and accessors. */
1051 /* GC is possible in this function if it autoloads a keymap. */
1053 DEFUN ("define-key", Fdefine_key, Sdefine_key, 3, 3, 0,
1054 doc: /* In KEYMAP, define key sequence KEY as DEF.
1055 KEYMAP is a keymap.
1057 KEY is a string or a vector of symbols and characters, representing a
1058 sequence of keystrokes and events. Non-ASCII characters with codes
1059 above 127 (such as ISO Latin-1) can be represented by vectors.
1060 Two types of vector have special meanings:
1061 [remap COMMAND] remaps any key binding for COMMAND.
1062 [t] creates a default definition, which applies to any event with no
1063 other definition in KEYMAP.
1065 DEF is anything that can be a key's definition:
1066 nil (means key is undefined in this keymap),
1067 a command (a Lisp function suitable for interactive calling),
1068 a string (treated as a keyboard macro),
1069 a keymap (to define a prefix key),
1070 a symbol (when the key is looked up, the symbol will stand for its
1071 function definition, which should at that time be one of the above,
1072 or another symbol whose function definition is used, etc.),
1073 a cons (STRING . DEFN), meaning that DEFN is the definition
1074 (DEFN should be a valid definition in its own right),
1075 or a cons (MAP . CHAR), meaning use definition of CHAR in keymap MAP,
1076 or an extended menu item definition.
1077 (See info node `(elisp)Extended Menu Items'.)
1079 If KEYMAP is a sparse keymap with a binding for KEY, the existing
1080 binding is altered. If there is no binding for KEY, the new pair
1081 binding KEY to DEF is added at the front of KEYMAP. */)
1082 (Lisp_Object keymap, Lisp_Object key, Lisp_Object def)
1084 ptrdiff_t idx;
1085 Lisp_Object c;
1086 Lisp_Object cmd;
1087 bool metized = 0;
1088 int meta_bit;
1089 ptrdiff_t length;
1090 struct gcpro gcpro1, gcpro2, gcpro3;
1092 GCPRO3 (keymap, key, def);
1093 keymap = get_keymap (keymap, 1, 1);
1095 length = CHECK_VECTOR_OR_STRING (key);
1096 if (length == 0)
1097 RETURN_UNGCPRO (Qnil);
1099 if (SYMBOLP (def) && !EQ (Vdefine_key_rebound_commands, Qt))
1100 Vdefine_key_rebound_commands = Fcons (def, Vdefine_key_rebound_commands);
1102 meta_bit = (VECTORP (key) || (STRINGP (key) && STRING_MULTIBYTE (key))
1103 ? meta_modifier : 0x80);
1105 if (VECTORP (def) && ASIZE (def) > 0 && CONSP (AREF (def, 0)))
1106 { /* DEF is apparently an XEmacs-style keyboard macro. */
1107 Lisp_Object tmp = Fmake_vector (make_number (ASIZE (def)), Qnil);
1108 ptrdiff_t i = ASIZE (def);
1109 while (--i >= 0)
1111 Lisp_Object defi = AREF (def, i);
1112 if (CONSP (defi) && lucid_event_type_list_p (defi))
1113 defi = Fevent_convert_list (defi);
1114 ASET (tmp, i, defi);
1116 def = tmp;
1119 idx = 0;
1120 while (1)
1122 c = Faref (key, make_number (idx));
1124 if (CONSP (c))
1126 /* C may be a Lucid style event type list or a cons (FROM .
1127 TO) specifying a range of characters. */
1128 if (lucid_event_type_list_p (c))
1129 c = Fevent_convert_list (c);
1130 else if (CHARACTERP (XCAR (c)))
1131 CHECK_CHARACTER_CDR (c);
1134 if (SYMBOLP (c))
1135 silly_event_symbol_error (c);
1137 if (INTEGERP (c)
1138 && (XINT (c) & meta_bit)
1139 && !metized)
1141 c = meta_prefix_char;
1142 metized = 1;
1144 else
1146 if (INTEGERP (c))
1147 XSETINT (c, XINT (c) & ~meta_bit);
1149 metized = 0;
1150 idx++;
1153 if (!INTEGERP (c) && !SYMBOLP (c)
1154 && (!CONSP (c)
1155 /* If C is a range, it must be a leaf. */
1156 || (INTEGERP (XCAR (c)) && idx != length)))
1157 message_with_string ("Key sequence contains invalid event %s", c, 1);
1159 if (idx == length)
1160 RETURN_UNGCPRO (store_in_keymap (keymap, c, def));
1162 cmd = access_keymap (keymap, c, 0, 1, 1);
1164 /* If this key is undefined, make it a prefix. */
1165 if (NILP (cmd))
1166 cmd = define_as_prefix (keymap, c);
1168 keymap = get_keymap (cmd, 0, 1);
1169 if (!CONSP (keymap))
1171 const char *trailing_esc = ((EQ (c, meta_prefix_char) && metized)
1172 ? (idx == 0 ? "ESC" : " ESC")
1173 : "");
1175 /* We must use Fkey_description rather than just passing key to
1176 error; key might be a vector, not a string. */
1177 error ("Key sequence %s starts with non-prefix key %s%s",
1178 SDATA (Fkey_description (key, Qnil)),
1179 SDATA (Fkey_description (Fsubstring (key, make_number (0),
1180 make_number (idx)),
1181 Qnil)),
1182 trailing_esc);
1187 /* This function may GC (it calls Fkey_binding). */
1189 DEFUN ("command-remapping", Fcommand_remapping, Scommand_remapping, 1, 3, 0,
1190 doc: /* Return the remapping for command COMMAND.
1191 Returns nil if COMMAND is not remapped (or not a symbol).
1193 If the optional argument POSITION is non-nil, it specifies a mouse
1194 position as returned by `event-start' and `event-end', and the
1195 remapping occurs in the keymaps associated with it. It can also be a
1196 number or marker, in which case the keymap properties at the specified
1197 buffer position instead of point are used. The KEYMAPS argument is
1198 ignored if POSITION is non-nil.
1200 If the optional argument KEYMAPS is non-nil, it should be a list of
1201 keymaps to search for command remapping. Otherwise, search for the
1202 remapping in all currently active keymaps. */)
1203 (Lisp_Object command, Lisp_Object position, Lisp_Object keymaps)
1205 if (!SYMBOLP (command))
1206 return Qnil;
1208 ASET (command_remapping_vector, 1, command);
1210 if (NILP (keymaps))
1211 command = Fkey_binding (command_remapping_vector, Qnil, Qt, position);
1212 else
1213 command = Flookup_key (Fcons (Qkeymap, keymaps),
1214 command_remapping_vector, Qnil);
1215 return INTEGERP (command) ? Qnil : command;
1218 /* Value is number if KEY is too long; nil if valid but has no definition. */
1219 /* GC is possible in this function. */
1221 DEFUN ("lookup-key", Flookup_key, Slookup_key, 2, 3, 0,
1222 doc: /* In keymap KEYMAP, look up key sequence KEY. Return the definition.
1223 A value of nil means undefined. See doc of `define-key'
1224 for kinds of definitions.
1226 A number as value means KEY is "too long";
1227 that is, characters or symbols in it except for the last one
1228 fail to be a valid sequence of prefix characters in KEYMAP.
1229 The number is how many characters at the front of KEY
1230 it takes to reach a non-prefix key.
1232 Normally, `lookup-key' ignores bindings for t, which act as default
1233 bindings, used when nothing else in the keymap applies; this makes it
1234 usable as a general function for probing keymaps. However, if the
1235 third optional argument ACCEPT-DEFAULT is non-nil, `lookup-key' will
1236 recognize the default bindings, just as `read-key-sequence' does. */)
1237 (Lisp_Object keymap, Lisp_Object key, Lisp_Object accept_default)
1239 ptrdiff_t idx;
1240 Lisp_Object cmd;
1241 Lisp_Object c;
1242 ptrdiff_t length;
1243 bool t_ok = !NILP (accept_default);
1244 struct gcpro gcpro1, gcpro2;
1246 GCPRO2 (keymap, key);
1247 keymap = get_keymap (keymap, 1, 1);
1249 length = CHECK_VECTOR_OR_STRING (key);
1250 if (length == 0)
1251 RETURN_UNGCPRO (keymap);
1253 idx = 0;
1254 while (1)
1256 c = Faref (key, make_number (idx++));
1258 if (CONSP (c) && lucid_event_type_list_p (c))
1259 c = Fevent_convert_list (c);
1261 /* Turn the 8th bit of string chars into a meta modifier. */
1262 if (STRINGP (key) && XINT (c) & 0x80 && !STRING_MULTIBYTE (key))
1263 XSETINT (c, (XINT (c) | meta_modifier) & ~0x80);
1265 /* Allow string since binding for `menu-bar-select-buffer'
1266 includes the buffer name in the key sequence. */
1267 if (!INTEGERP (c) && !SYMBOLP (c) && !CONSP (c) && !STRINGP (c))
1268 message_with_string ("Key sequence contains invalid event %s", c, 1);
1270 cmd = access_keymap (keymap, c, t_ok, 0, 1);
1271 if (idx == length)
1272 RETURN_UNGCPRO (cmd);
1274 keymap = get_keymap (cmd, 0, 1);
1275 if (!CONSP (keymap))
1276 RETURN_UNGCPRO (make_number (idx));
1278 QUIT;
1282 /* Make KEYMAP define event C as a keymap (i.e., as a prefix).
1283 Assume that currently it does not define C at all.
1284 Return the keymap. */
1286 static Lisp_Object
1287 define_as_prefix (Lisp_Object keymap, Lisp_Object c)
1289 Lisp_Object cmd;
1291 cmd = Fmake_sparse_keymap (Qnil);
1292 store_in_keymap (keymap, c, cmd);
1294 return cmd;
1297 /* Append a key to the end of a key sequence. We always make a vector. */
1299 static Lisp_Object
1300 append_key (Lisp_Object key_sequence, Lisp_Object key)
1302 AUTO_LIST1 (key_list, key);
1303 return Fvconcat (2, ((Lisp_Object []) { key_sequence, key_list }));
1306 /* Given a event type C which is a symbol,
1307 signal an error if is a mistake such as RET or M-RET or C-DEL, etc. */
1309 static void
1310 silly_event_symbol_error (Lisp_Object c)
1312 Lisp_Object parsed, base, name, assoc;
1313 int modifiers;
1315 parsed = parse_modifiers (c);
1316 modifiers = XFASTINT (XCAR (XCDR (parsed)));
1317 base = XCAR (parsed);
1318 name = Fsymbol_name (base);
1319 /* This alist includes elements such as ("RET" . "\\r"). */
1320 assoc = Fassoc (name, exclude_keys);
1322 if (! NILP (assoc))
1324 char new_mods[sizeof ("\\A-\\C-\\H-\\M-\\S-\\s-")];
1325 char *p = new_mods;
1326 Lisp_Object keystring;
1327 if (modifiers & alt_modifier)
1328 { *p++ = '\\'; *p++ = 'A'; *p++ = '-'; }
1329 if (modifiers & ctrl_modifier)
1330 { *p++ = '\\'; *p++ = 'C'; *p++ = '-'; }
1331 if (modifiers & hyper_modifier)
1332 { *p++ = '\\'; *p++ = 'H'; *p++ = '-'; }
1333 if (modifiers & meta_modifier)
1334 { *p++ = '\\'; *p++ = 'M'; *p++ = '-'; }
1335 if (modifiers & shift_modifier)
1336 { *p++ = '\\'; *p++ = 'S'; *p++ = '-'; }
1337 if (modifiers & super_modifier)
1338 { *p++ = '\\'; *p++ = 's'; *p++ = '-'; }
1339 *p = 0;
1341 c = reorder_modifiers (c);
1342 AUTO_STRING (new_mods_string, new_mods);
1343 keystring = concat2 (new_mods_string, XCDR (assoc));
1345 error ("To bind the key %s, use [?%s], not [%s]",
1346 SDATA (SYMBOL_NAME (c)), SDATA (keystring),
1347 SDATA (SYMBOL_NAME (c)));
1351 /* Global, local, and minor mode keymap stuff. */
1353 /* We can't put these variables inside current_minor_maps, since under
1354 some systems, static gets macro-defined to be the empty string.
1355 Ickypoo. */
1356 static Lisp_Object *cmm_modes = NULL, *cmm_maps = NULL;
1357 static ptrdiff_t cmm_size = 0;
1359 /* Store a pointer to an array of the currently active minor modes in
1360 *modeptr, a pointer to an array of the keymaps of the currently
1361 active minor modes in *mapptr, and return the number of maps
1362 *mapptr contains.
1364 This function always returns a pointer to the same buffer, and may
1365 free or reallocate it, so if you want to keep it for a long time or
1366 hand it out to lisp code, copy it. This procedure will be called
1367 for every key sequence read, so the nice lispy approach (return a
1368 new assoclist, list, what have you) for each invocation would
1369 result in a lot of consing over time.
1371 If we used xrealloc/xmalloc and ran out of memory, they would throw
1372 back to the command loop, which would try to read a key sequence,
1373 which would call this function again, resulting in an infinite
1374 loop. Instead, we'll use realloc/malloc and silently truncate the
1375 list, let the key sequence be read, and hope some other piece of
1376 code signals the error. */
1377 ptrdiff_t
1378 current_minor_maps (Lisp_Object **modeptr, Lisp_Object **mapptr)
1380 ptrdiff_t i = 0;
1381 int list_number = 0;
1382 Lisp_Object alist, assoc, var, val;
1383 Lisp_Object emulation_alists;
1384 Lisp_Object lists[2];
1386 emulation_alists = Vemulation_mode_map_alists;
1387 lists[0] = Vminor_mode_overriding_map_alist;
1388 lists[1] = Vminor_mode_map_alist;
1390 for (list_number = 0; list_number < 2; list_number++)
1392 if (CONSP (emulation_alists))
1394 alist = XCAR (emulation_alists);
1395 emulation_alists = XCDR (emulation_alists);
1396 if (SYMBOLP (alist))
1397 alist = find_symbol_value (alist);
1398 list_number = -1;
1400 else
1401 alist = lists[list_number];
1403 for ( ; CONSP (alist); alist = XCDR (alist))
1404 if ((assoc = XCAR (alist), CONSP (assoc))
1405 && (var = XCAR (assoc), SYMBOLP (var))
1406 && (val = find_symbol_value (var), !EQ (val, Qunbound))
1407 && !NILP (val))
1409 Lisp_Object temp;
1411 /* If a variable has an entry in Vminor_mode_overriding_map_alist,
1412 and also an entry in Vminor_mode_map_alist,
1413 ignore the latter. */
1414 if (list_number == 1)
1416 val = assq_no_quit (var, lists[0]);
1417 if (!NILP (val))
1418 continue;
1421 if (i >= cmm_size)
1423 ptrdiff_t newsize, allocsize;
1424 Lisp_Object *newmodes, *newmaps;
1426 /* Check for size calculation overflow. Other code
1427 (e.g., read_key_sequence) adds 3 to the count
1428 later, so subtract 3 from the limit here. */
1429 if (min (PTRDIFF_MAX, SIZE_MAX) / (2 * sizeof *newmodes) - 3
1430 < cmm_size)
1431 break;
1433 newsize = cmm_size == 0 ? 30 : cmm_size * 2;
1434 allocsize = newsize * sizeof *newmodes;
1436 /* Use malloc here. See the comment above this function.
1437 Avoid realloc here; it causes spurious traps on GNU/Linux [KFS] */
1438 block_input ();
1439 newmodes = malloc (allocsize);
1440 if (newmodes)
1442 if (cmm_modes)
1444 memcpy (newmodes, cmm_modes,
1445 cmm_size * sizeof cmm_modes[0]);
1446 free (cmm_modes);
1448 cmm_modes = newmodes;
1451 newmaps = malloc (allocsize);
1452 if (newmaps)
1454 if (cmm_maps)
1456 memcpy (newmaps, cmm_maps,
1457 cmm_size * sizeof cmm_maps[0]);
1458 free (cmm_maps);
1460 cmm_maps = newmaps;
1462 unblock_input ();
1464 if (newmodes == NULL || newmaps == NULL)
1465 break;
1466 cmm_size = newsize;
1469 /* Get the keymap definition--or nil if it is not defined. */
1470 temp = Findirect_function (XCDR (assoc), Qt);
1471 if (!NILP (temp))
1473 cmm_modes[i] = var;
1474 cmm_maps [i] = temp;
1475 i++;
1480 if (modeptr) *modeptr = cmm_modes;
1481 if (mapptr) *mapptr = cmm_maps;
1482 return i;
1485 /* Return the offset of POSITION, a click position, in the style of
1486 the respective argument of Fkey_binding. */
1487 static ptrdiff_t
1488 click_position (Lisp_Object position)
1490 EMACS_INT pos = (INTEGERP (position) ? XINT (position)
1491 : MARKERP (position) ? marker_position (position)
1492 : PT);
1493 if (! (BEGV <= pos && pos <= ZV))
1494 args_out_of_range (Fcurrent_buffer (), position);
1495 return pos;
1498 DEFUN ("current-active-maps", Fcurrent_active_maps, Scurrent_active_maps,
1499 0, 2, 0,
1500 doc: /* Return a list of the currently active keymaps.
1501 OLP if non-nil indicates that we should obey `overriding-local-map' and
1502 `overriding-terminal-local-map'. POSITION can specify a click position
1503 like in the respective argument of `key-binding'. */)
1504 (Lisp_Object olp, Lisp_Object position)
1506 ptrdiff_t count = SPECPDL_INDEX ();
1508 Lisp_Object keymaps = list1 (current_global_map);
1510 /* If a mouse click position is given, our variables are based on
1511 the buffer clicked on, not the current buffer. So we may have to
1512 switch the buffer here. */
1514 if (CONSP (position))
1516 Lisp_Object window;
1518 window = POSN_WINDOW (position);
1520 if (WINDOWP (window)
1521 && BUFFERP (XWINDOW (window)->contents)
1522 && XBUFFER (XWINDOW (window)->contents) != current_buffer)
1524 /* Arrange to go back to the original buffer once we're done
1525 processing the key sequence. We don't use
1526 save_excursion_{save,restore} here, in analogy to
1527 `read-key-sequence' to avoid saving point. Maybe this
1528 would not be a problem here, but it is easier to keep
1529 things the same.
1531 record_unwind_current_buffer ();
1532 set_buffer_internal (XBUFFER (XWINDOW (window)->contents));
1536 if (!NILP (olp)
1537 /* The doc said that overriding-terminal-local-map should
1538 override overriding-local-map. The code used them both,
1539 but it seems clearer to use just one. rms, jan 2005. */
1540 && NILP (KVAR (current_kboard, Voverriding_terminal_local_map))
1541 && !NILP (Voverriding_local_map))
1542 keymaps = Fcons (Voverriding_local_map, keymaps);
1544 if (NILP (XCDR (keymaps)))
1546 Lisp_Object *maps;
1547 int nmaps, i;
1548 ptrdiff_t pt = click_position (position);
1549 /* This usually returns the buffer's local map,
1550 but that can be overridden by a `local-map' property. */
1551 Lisp_Object local_map = get_local_map (pt, current_buffer, Qlocal_map);
1552 /* This returns nil unless there is a `keymap' property. */
1553 Lisp_Object keymap = get_local_map (pt, current_buffer, Qkeymap);
1554 Lisp_Object otlp = KVAR (current_kboard, Voverriding_terminal_local_map);
1556 if (CONSP (position))
1558 Lisp_Object string = POSN_STRING (position);
1560 /* For a mouse click, get the local text-property keymap
1561 of the place clicked on, rather than point. */
1563 if (POSN_INBUFFER_P (position))
1565 Lisp_Object pos;
1567 pos = POSN_BUFFER_POSN (position);
1568 if (INTEGERP (pos)
1569 && XINT (pos) >= BEG && XINT (pos) <= Z)
1571 local_map = get_local_map (XINT (pos),
1572 current_buffer, Qlocal_map);
1574 keymap = get_local_map (XINT (pos),
1575 current_buffer, Qkeymap);
1579 /* If on a mode line string with a local keymap,
1580 or for a click on a string, i.e. overlay string or a
1581 string displayed via the `display' property,
1582 consider `local-map' and `keymap' properties of
1583 that string. */
1585 if (CONSP (string) && STRINGP (XCAR (string)))
1587 Lisp_Object pos, map;
1589 pos = XCDR (string);
1590 string = XCAR (string);
1591 if (INTEGERP (pos)
1592 && XINT (pos) >= 0
1593 && XINT (pos) < SCHARS (string))
1595 map = Fget_text_property (pos, Qlocal_map, string);
1596 if (!NILP (map))
1597 local_map = map;
1599 map = Fget_text_property (pos, Qkeymap, string);
1600 if (!NILP (map))
1601 keymap = map;
1607 if (!NILP (local_map))
1608 keymaps = Fcons (local_map, keymaps);
1610 /* Now put all the minor mode keymaps on the list. */
1611 nmaps = current_minor_maps (0, &maps);
1613 for (i = --nmaps; i >= 0; i--)
1614 if (!NILP (maps[i]))
1615 keymaps = Fcons (maps[i], keymaps);
1617 if (!NILP (keymap))
1618 keymaps = Fcons (keymap, keymaps);
1620 if (!NILP (olp) && !NILP (otlp))
1621 keymaps = Fcons (otlp, keymaps);
1624 unbind_to (count, Qnil);
1626 return keymaps;
1629 /* GC is possible in this function if it autoloads a keymap. */
1631 DEFUN ("key-binding", Fkey_binding, Skey_binding, 1, 4, 0,
1632 doc: /* Return the binding for command KEY in current keymaps.
1633 KEY is a string or vector, a sequence of keystrokes.
1634 The binding is probably a symbol with a function definition.
1636 Normally, `key-binding' ignores bindings for t, which act as default
1637 bindings, used when nothing else in the keymap applies; this makes it
1638 usable as a general function for probing keymaps. However, if the
1639 optional second argument ACCEPT-DEFAULT is non-nil, `key-binding' does
1640 recognize the default bindings, just as `read-key-sequence' does.
1642 Like the normal command loop, `key-binding' will remap the command
1643 resulting from looking up KEY by looking up the command in the
1644 current keymaps. However, if the optional third argument NO-REMAP
1645 is non-nil, `key-binding' returns the unmapped command.
1647 If KEY is a key sequence initiated with the mouse, the used keymaps
1648 will depend on the clicked mouse position with regard to the buffer
1649 and possible local keymaps on strings.
1651 If the optional argument POSITION is non-nil, it specifies a mouse
1652 position as returned by `event-start' and `event-end', and the lookup
1653 occurs in the keymaps associated with it instead of KEY. It can also
1654 be a number or marker, in which case the keymap properties at the
1655 specified buffer position instead of point are used.
1657 (Lisp_Object key, Lisp_Object accept_default, Lisp_Object no_remap, Lisp_Object position)
1659 Lisp_Object value;
1661 if (NILP (position) && VECTORP (key))
1663 Lisp_Object event
1664 /* mouse events may have a symbolic prefix indicating the
1665 scrollbar or mode line */
1666 = AREF (key, SYMBOLP (AREF (key, 0)) && ASIZE (key) > 1 ? 1 : 0);
1668 /* We are not interested in locations without event data */
1670 if (EVENT_HAS_PARAMETERS (event) && CONSP (XCDR (event)))
1672 Lisp_Object kind = EVENT_HEAD_KIND (EVENT_HEAD (event));
1673 if (EQ (kind, Qmouse_click))
1674 position = EVENT_START (event);
1678 value = Flookup_key (Fcons (Qkeymap, Fcurrent_active_maps (Qt, position)),
1679 key, accept_default);
1681 if (NILP (value) || INTEGERP (value))
1682 return Qnil;
1684 /* If the result of the ordinary keymap lookup is an interactive
1685 command, look for a key binding (ie. remapping) for that command. */
1687 if (NILP (no_remap) && SYMBOLP (value))
1689 Lisp_Object value1;
1690 if (value1 = Fcommand_remapping (value, position, Qnil), !NILP (value1))
1691 value = value1;
1694 return value;
1697 /* GC is possible in this function if it autoloads a keymap. */
1699 DEFUN ("local-key-binding", Flocal_key_binding, Slocal_key_binding, 1, 2, 0,
1700 doc: /* Return the binding for command KEYS in current local keymap only.
1701 KEYS is a string or vector, a sequence of keystrokes.
1702 The binding is probably a symbol with a function definition.
1704 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1705 bindings; see the description of `lookup-key' for more details about this. */)
1706 (Lisp_Object keys, Lisp_Object accept_default)
1708 register Lisp_Object map;
1709 map = BVAR (current_buffer, keymap);
1710 if (NILP (map))
1711 return Qnil;
1712 return Flookup_key (map, keys, accept_default);
1715 /* GC is possible in this function if it autoloads a keymap. */
1717 DEFUN ("global-key-binding", Fglobal_key_binding, Sglobal_key_binding, 1, 2, 0,
1718 doc: /* Return the binding for command KEYS in current global keymap only.
1719 KEYS is a string or vector, a sequence of keystrokes.
1720 The binding is probably a symbol with a function definition.
1721 This function's return values are the same as those of `lookup-key'
1722 \(which see).
1724 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1725 bindings; see the description of `lookup-key' for more details about this. */)
1726 (Lisp_Object keys, Lisp_Object accept_default)
1728 return Flookup_key (current_global_map, keys, accept_default);
1731 /* GC is possible in this function if it autoloads a keymap. */
1733 DEFUN ("minor-mode-key-binding", Fminor_mode_key_binding, Sminor_mode_key_binding, 1, 2, 0,
1734 doc: /* Find the visible minor mode bindings of KEY.
1735 Return an alist of pairs (MODENAME . BINDING), where MODENAME is
1736 the symbol which names the minor mode binding KEY, and BINDING is
1737 KEY's definition in that mode. In particular, if KEY has no
1738 minor-mode bindings, return nil. If the first binding is a
1739 non-prefix, all subsequent bindings will be omitted, since they would
1740 be ignored. Similarly, the list doesn't include non-prefix bindings
1741 that come after prefix bindings.
1743 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1744 bindings; see the description of `lookup-key' for more details about this. */)
1745 (Lisp_Object key, Lisp_Object accept_default)
1747 Lisp_Object *modes, *maps;
1748 int nmaps;
1749 Lisp_Object binding;
1750 int i, j;
1751 struct gcpro gcpro1, gcpro2;
1753 nmaps = current_minor_maps (&modes, &maps);
1754 /* Note that all these maps are GCPRO'd
1755 in the places where we found them. */
1757 binding = Qnil;
1758 GCPRO2 (key, binding);
1760 for (i = j = 0; i < nmaps; i++)
1761 if (!NILP (maps[i])
1762 && !NILP (binding = Flookup_key (maps[i], key, accept_default))
1763 && !INTEGERP (binding))
1765 if (KEYMAPP (binding))
1766 maps[j++] = Fcons (modes[i], binding);
1767 else if (j == 0)
1768 RETURN_UNGCPRO (list1 (Fcons (modes[i], binding)));
1771 UNGCPRO;
1772 return Flist (j, maps);
1775 DEFUN ("define-prefix-command", Fdefine_prefix_command, Sdefine_prefix_command, 1, 3, 0,
1776 doc: /* Define COMMAND as a prefix command. COMMAND should be a symbol.
1777 A new sparse keymap is stored as COMMAND's function definition and its value.
1778 If a second optional argument MAPVAR is given, the map is stored as
1779 its value instead of as COMMAND's value; but COMMAND is still defined
1780 as a function.
1781 The third optional argument NAME, if given, supplies a menu name
1782 string for the map. This is required to use the keymap as a menu.
1783 This function returns COMMAND. */)
1784 (Lisp_Object command, Lisp_Object mapvar, Lisp_Object name)
1786 Lisp_Object map;
1787 map = Fmake_sparse_keymap (name);
1788 Ffset (command, map);
1789 if (!NILP (mapvar))
1790 Fset (mapvar, map);
1791 else
1792 Fset (command, map);
1793 return command;
1796 DEFUN ("use-global-map", Fuse_global_map, Suse_global_map, 1, 1, 0,
1797 doc: /* Select KEYMAP as the global keymap. */)
1798 (Lisp_Object keymap)
1800 keymap = get_keymap (keymap, 1, 1);
1801 current_global_map = keymap;
1803 return Qnil;
1806 DEFUN ("use-local-map", Fuse_local_map, Suse_local_map, 1, 1, 0,
1807 doc: /* Select KEYMAP as the local keymap.
1808 If KEYMAP is nil, that means no local keymap. */)
1809 (Lisp_Object keymap)
1811 if (!NILP (keymap))
1812 keymap = get_keymap (keymap, 1, 1);
1814 bset_keymap (current_buffer, keymap);
1816 return Qnil;
1819 DEFUN ("current-local-map", Fcurrent_local_map, Scurrent_local_map, 0, 0, 0,
1820 doc: /* Return current buffer's local keymap, or nil if it has none.
1821 Normally the local keymap is set by the major mode with `use-local-map'. */)
1822 (void)
1824 return BVAR (current_buffer, keymap);
1827 DEFUN ("current-global-map", Fcurrent_global_map, Scurrent_global_map, 0, 0, 0,
1828 doc: /* Return the current global keymap. */)
1829 (void)
1831 return current_global_map;
1834 DEFUN ("current-minor-mode-maps", Fcurrent_minor_mode_maps, Scurrent_minor_mode_maps, 0, 0, 0,
1835 doc: /* Return a list of keymaps for the minor modes of the current buffer. */)
1836 (void)
1838 Lisp_Object *maps;
1839 int nmaps = current_minor_maps (0, &maps);
1841 return Flist (nmaps, maps);
1844 /* Help functions for describing and documenting keymaps. */
1846 struct accessible_keymaps_data {
1847 Lisp_Object maps, tail, thisseq;
1848 /* Does the current sequence end in the meta-prefix-char? */
1849 bool is_metized;
1852 static void
1853 accessible_keymaps_1 (Lisp_Object key, Lisp_Object cmd, Lisp_Object args, void *data)
1854 /* Use void * data to be compatible with map_keymap_function_t. */
1856 struct accessible_keymaps_data *d = data; /* Cast! */
1857 Lisp_Object maps = d->maps;
1858 Lisp_Object tail = d->tail;
1859 Lisp_Object thisseq = d->thisseq;
1860 bool is_metized = d->is_metized && INTEGERP (key);
1861 Lisp_Object tem;
1863 cmd = get_keymap (get_keyelt (cmd, 0), 0, 0);
1864 if (NILP (cmd))
1865 return;
1867 /* Look for and break cycles. */
1868 while (!NILP (tem = Frassq (cmd, maps)))
1870 Lisp_Object prefix = XCAR (tem);
1871 ptrdiff_t lim = XINT (Flength (XCAR (tem)));
1872 if (lim <= XINT (Flength (thisseq)))
1873 { /* This keymap was already seen with a smaller prefix. */
1874 ptrdiff_t i = 0;
1875 while (i < lim && EQ (Faref (prefix, make_number (i)),
1876 Faref (thisseq, make_number (i))))
1877 i++;
1878 if (i >= lim)
1879 /* `prefix' is a prefix of `thisseq' => there's a cycle. */
1880 return;
1882 /* This occurrence of `cmd' in `maps' does not correspond to a cycle,
1883 but maybe `cmd' occurs again further down in `maps', so keep
1884 looking. */
1885 maps = XCDR (Fmemq (tem, maps));
1888 /* If the last key in thisseq is meta-prefix-char,
1889 turn it into a meta-ized keystroke. We know
1890 that the event we're about to append is an
1891 ascii keystroke since we're processing a
1892 keymap table. */
1893 if (is_metized)
1895 int meta_bit = meta_modifier;
1896 Lisp_Object last = make_number (XINT (Flength (thisseq)) - 1);
1897 tem = Fcopy_sequence (thisseq);
1899 Faset (tem, last, make_number (XINT (key) | meta_bit));
1901 /* This new sequence is the same length as
1902 thisseq, so stick it in the list right
1903 after this one. */
1904 XSETCDR (tail,
1905 Fcons (Fcons (tem, cmd), XCDR (tail)));
1907 else
1909 tem = append_key (thisseq, key);
1910 nconc2 (tail, list1 (Fcons (tem, cmd)));
1914 /* This function cannot GC. */
1916 DEFUN ("accessible-keymaps", Faccessible_keymaps, Saccessible_keymaps,
1917 1, 2, 0,
1918 doc: /* Find all keymaps accessible via prefix characters from KEYMAP.
1919 Returns a list of elements of the form (KEYS . MAP), where the sequence
1920 KEYS starting from KEYMAP gets you to MAP. These elements are ordered
1921 so that the KEYS increase in length. The first element is ([] . KEYMAP).
1922 An optional argument PREFIX, if non-nil, should be a key sequence;
1923 then the value includes only maps for prefixes that start with PREFIX. */)
1924 (Lisp_Object keymap, Lisp_Object prefix)
1926 Lisp_Object maps, tail;
1927 EMACS_INT prefixlen = XFASTINT (Flength (prefix));
1929 /* no need for gcpro because we don't autoload any keymaps. */
1931 if (!NILP (prefix))
1933 /* If a prefix was specified, start with the keymap (if any) for
1934 that prefix, so we don't waste time considering other prefixes. */
1935 Lisp_Object tem;
1936 tem = Flookup_key (keymap, prefix, Qt);
1937 /* Flookup_key may give us nil, or a number,
1938 if the prefix is not defined in this particular map.
1939 It might even give us a list that isn't a keymap. */
1940 tem = get_keymap (tem, 0, 0);
1941 /* If the keymap is autoloaded `tem' is not a cons-cell, but we still
1942 want to return it. */
1943 if (!NILP (tem))
1945 /* Convert PREFIX to a vector now, so that later on
1946 we don't have to deal with the possibility of a string. */
1947 if (STRINGP (prefix))
1949 int i, i_byte, c;
1950 Lisp_Object copy;
1952 copy = Fmake_vector (make_number (SCHARS (prefix)), Qnil);
1953 for (i = 0, i_byte = 0; i < SCHARS (prefix);)
1955 int i_before = i;
1957 FETCH_STRING_CHAR_ADVANCE (c, prefix, i, i_byte);
1958 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
1959 c ^= 0200 | meta_modifier;
1960 ASET (copy, i_before, make_number (c));
1962 prefix = copy;
1964 maps = list1 (Fcons (prefix, tem));
1966 else
1967 return Qnil;
1969 else
1970 maps = list1 (Fcons (zero_vector, get_keymap (keymap, 1, 0)));
1972 /* For each map in the list maps,
1973 look at any other maps it points to,
1974 and stick them at the end if they are not already in the list.
1976 This is a breadth-first traversal, where tail is the queue of
1977 nodes, and maps accumulates a list of all nodes visited. */
1979 for (tail = maps; CONSP (tail); tail = XCDR (tail))
1981 struct accessible_keymaps_data data;
1982 register Lisp_Object thismap = Fcdr (XCAR (tail));
1983 Lisp_Object last;
1985 data.thisseq = Fcar (XCAR (tail));
1986 data.maps = maps;
1987 data.tail = tail;
1988 last = make_number (XINT (Flength (data.thisseq)) - 1);
1989 /* Does the current sequence end in the meta-prefix-char? */
1990 data.is_metized = (XINT (last) >= 0
1991 /* Don't metize the last char of PREFIX. */
1992 && XINT (last) >= prefixlen
1993 && EQ (Faref (data.thisseq, last), meta_prefix_char));
1995 /* Since we can't run lisp code, we can't scan autoloaded maps. */
1996 if (CONSP (thismap))
1997 map_keymap (thismap, accessible_keymaps_1, Qnil, &data, 0);
1999 return maps;
2001 static Lisp_Object Qsingle_key_description, Qkey_description;
2003 /* This function cannot GC. */
2005 DEFUN ("key-description", Fkey_description, Skey_description, 1, 2, 0,
2006 doc: /* Return a pretty description of key-sequence KEYS.
2007 Optional arg PREFIX is the sequence of keys leading up to KEYS.
2008 For example, [?\C-x ?l] is converted into the string \"C-x l\".
2010 For an approximate inverse of this, see `kbd'. */)
2011 (Lisp_Object keys, Lisp_Object prefix)
2013 ptrdiff_t len = 0;
2014 EMACS_INT i;
2015 ptrdiff_t i_byte;
2016 Lisp_Object *args;
2017 EMACS_INT size = XINT (Flength (keys));
2018 Lisp_Object list;
2019 Lisp_Object sep = build_string (" ");
2020 Lisp_Object key;
2021 Lisp_Object result;
2022 bool add_meta = 0;
2023 USE_SAFE_ALLOCA;
2025 if (!NILP (prefix))
2026 size += XINT (Flength (prefix));
2028 /* This has one extra element at the end that we don't pass to Fconcat. */
2029 if (min (PTRDIFF_MAX, SIZE_MAX) / word_size / 4 < size)
2030 memory_full (SIZE_MAX);
2031 SAFE_ALLOCA_LISP (args, size * 4);
2033 /* In effect, this computes
2034 (mapconcat 'single-key-description keys " ")
2035 but we shouldn't use mapconcat because it can do GC. */
2037 next_list:
2038 if (!NILP (prefix))
2039 list = prefix, prefix = Qnil;
2040 else if (!NILP (keys))
2041 list = keys, keys = Qnil;
2042 else
2044 if (add_meta)
2046 args[len] = Fsingle_key_description (meta_prefix_char, Qnil);
2047 result = Fconcat (len + 1, args);
2049 else if (len == 0)
2050 result = empty_unibyte_string;
2051 else
2052 result = Fconcat (len - 1, args);
2053 SAFE_FREE ();
2054 return result;
2057 if (STRINGP (list))
2058 size = SCHARS (list);
2059 else if (VECTORP (list))
2060 size = ASIZE (list);
2061 else if (CONSP (list))
2062 size = XINT (Flength (list));
2063 else
2064 wrong_type_argument (Qarrayp, list);
2066 i = i_byte = 0;
2068 while (i < size)
2070 if (STRINGP (list))
2072 int c;
2073 FETCH_STRING_CHAR_ADVANCE (c, list, i, i_byte);
2074 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2075 c ^= 0200 | meta_modifier;
2076 XSETFASTINT (key, c);
2078 else if (VECTORP (list))
2080 key = AREF (list, i); i++;
2082 else
2084 key = XCAR (list);
2085 list = XCDR (list);
2086 i++;
2089 if (add_meta)
2091 if (!INTEGERP (key)
2092 || EQ (key, meta_prefix_char)
2093 || (XINT (key) & meta_modifier))
2095 args[len++] = Fsingle_key_description (meta_prefix_char, Qnil);
2096 args[len++] = sep;
2097 if (EQ (key, meta_prefix_char))
2098 continue;
2100 else
2101 XSETINT (key, XINT (key) | meta_modifier);
2102 add_meta = 0;
2104 else if (EQ (key, meta_prefix_char))
2106 add_meta = 1;
2107 continue;
2109 args[len++] = Fsingle_key_description (key, Qnil);
2110 args[len++] = sep;
2112 goto next_list;
2116 char *
2117 push_key_description (EMACS_INT ch, char *p)
2119 int c, c2;
2120 bool tab_as_ci;
2122 /* Clear all the meaningless bits above the meta bit. */
2123 c = ch & (meta_modifier | ~ - meta_modifier);
2124 c2 = c & ~(alt_modifier | ctrl_modifier | hyper_modifier
2125 | meta_modifier | shift_modifier | super_modifier);
2127 if (! CHARACTERP (make_number (c2)))
2129 /* KEY_DESCRIPTION_SIZE is large enough for this. */
2130 p += sprintf (p, "[%d]", c);
2131 return p;
2134 tab_as_ci = (c2 == '\t' && (c & meta_modifier));
2136 if (c & alt_modifier)
2138 *p++ = 'A';
2139 *p++ = '-';
2140 c -= alt_modifier;
2142 if ((c & ctrl_modifier) != 0
2143 || (c2 < ' ' && c2 != 27 && c2 != '\t' && c2 != Ctl ('M'))
2144 || tab_as_ci)
2146 *p++ = 'C';
2147 *p++ = '-';
2148 c &= ~ctrl_modifier;
2150 if (c & hyper_modifier)
2152 *p++ = 'H';
2153 *p++ = '-';
2154 c -= hyper_modifier;
2156 if (c & meta_modifier)
2158 *p++ = 'M';
2159 *p++ = '-';
2160 c -= meta_modifier;
2162 if (c & shift_modifier)
2164 *p++ = 'S';
2165 *p++ = '-';
2166 c -= shift_modifier;
2168 if (c & super_modifier)
2170 *p++ = 's';
2171 *p++ = '-';
2172 c -= super_modifier;
2174 if (c < 040)
2176 if (c == 033)
2178 *p++ = 'E';
2179 *p++ = 'S';
2180 *p++ = 'C';
2182 else if (tab_as_ci)
2184 *p++ = 'i';
2186 else if (c == '\t')
2188 *p++ = 'T';
2189 *p++ = 'A';
2190 *p++ = 'B';
2192 else if (c == Ctl ('M'))
2194 *p++ = 'R';
2195 *p++ = 'E';
2196 *p++ = 'T';
2198 else
2200 /* `C-' already added above. */
2201 if (c > 0 && c <= Ctl ('Z'))
2202 *p++ = c + 0140;
2203 else
2204 *p++ = c + 0100;
2207 else if (c == 0177)
2209 *p++ = 'D';
2210 *p++ = 'E';
2211 *p++ = 'L';
2213 else if (c == ' ')
2215 *p++ = 'S';
2216 *p++ = 'P';
2217 *p++ = 'C';
2219 else if (c < 128)
2220 *p++ = c;
2221 else
2223 /* Now we are sure that C is a valid character code. */
2224 p += CHAR_STRING (c, (unsigned char *) p);
2227 return p;
2230 /* This function cannot GC. */
2232 DEFUN ("single-key-description", Fsingle_key_description,
2233 Ssingle_key_description, 1, 2, 0,
2234 doc: /* Return a pretty description of command character KEY.
2235 Control characters turn into C-whatever, etc.
2236 Optional argument NO-ANGLES non-nil means don't put angle brackets
2237 around function keys and event symbols. */)
2238 (Lisp_Object key, Lisp_Object no_angles)
2240 USE_SAFE_ALLOCA;
2242 if (CONSP (key) && lucid_event_type_list_p (key))
2243 key = Fevent_convert_list (key);
2245 if (CONSP (key) && INTEGERP (XCAR (key)) && INTEGERP (XCDR (key)))
2246 /* An interval from a map-char-table. */
2248 AUTO_STRING (dot_dot, "..");
2249 return concat3 (Fsingle_key_description (XCAR (key), no_angles),
2250 dot_dot,
2251 Fsingle_key_description (XCDR (key), no_angles));
2254 key = EVENT_HEAD (key);
2256 if (INTEGERP (key)) /* Normal character. */
2258 char tem[KEY_DESCRIPTION_SIZE];
2259 char *p = push_key_description (XINT (key), tem);
2260 *p = 0;
2261 return make_specified_string (tem, -1, p - tem, 1);
2263 else if (SYMBOLP (key)) /* Function key or event-symbol. */
2265 if (NILP (no_angles))
2267 Lisp_Object result;
2268 char *buffer = SAFE_ALLOCA (sizeof "<>"
2269 + SBYTES (SYMBOL_NAME (key)));
2270 esprintf (buffer, "<%s>", SDATA (SYMBOL_NAME (key)));
2271 result = build_string (buffer);
2272 SAFE_FREE ();
2273 return result;
2275 else
2276 return Fsymbol_name (key);
2278 else if (STRINGP (key)) /* Buffer names in the menubar. */
2279 return Fcopy_sequence (key);
2280 else
2281 error ("KEY must be an integer, cons, symbol, or string");
2284 static char *
2285 push_text_char_description (register unsigned int c, register char *p)
2287 if (c >= 0200)
2289 *p++ = 'M';
2290 *p++ = '-';
2291 c -= 0200;
2293 if (c < 040)
2295 *p++ = '^';
2296 *p++ = c + 64; /* 'A' - 1 */
2298 else if (c == 0177)
2300 *p++ = '^';
2301 *p++ = '?';
2303 else
2304 *p++ = c;
2305 return p;
2308 /* This function cannot GC. */
2310 DEFUN ("text-char-description", Ftext_char_description, Stext_char_description, 1, 1, 0,
2311 doc: /* Return a pretty description of file-character CHARACTER.
2312 Control characters turn into "^char", etc. This differs from
2313 `single-key-description' which turns them into "C-char".
2314 Also, this function recognizes the 2**7 bit as the Meta character,
2315 whereas `single-key-description' uses the 2**27 bit for Meta.
2316 See Info node `(elisp)Describing Characters' for examples. */)
2317 (Lisp_Object character)
2319 /* Currently MAX_MULTIBYTE_LENGTH is 4 (< 6). */
2320 char str[6];
2321 int c;
2323 CHECK_CHARACTER (character);
2325 c = XINT (character);
2326 if (!ASCII_CHAR_P (c))
2328 int len = CHAR_STRING (c, (unsigned char *) str);
2330 return make_multibyte_string (str, 1, len);
2333 *push_text_char_description (c & 0377, str) = 0;
2335 return build_string (str);
2338 static int where_is_preferred_modifier;
2340 /* Return 0 if SEQ uses non-preferred modifiers or non-char events.
2341 Else, return 2 if SEQ uses the where_is_preferred_modifier,
2342 and 1 otherwise. */
2343 static int
2344 preferred_sequence_p (Lisp_Object seq)
2346 EMACS_INT i;
2347 EMACS_INT len = XFASTINT (Flength (seq));
2348 int result = 1;
2350 for (i = 0; i < len; i++)
2352 Lisp_Object ii, elt;
2354 XSETFASTINT (ii, i);
2355 elt = Faref (seq, ii);
2357 if (!INTEGERP (elt))
2358 return 0;
2359 else
2361 int modifiers = XINT (elt) & (CHAR_MODIFIER_MASK & ~CHAR_META);
2362 if (modifiers == where_is_preferred_modifier)
2363 result = 2;
2364 else if (modifiers)
2365 return 0;
2369 return result;
2373 /* where-is - finding a command in a set of keymaps. */
2375 static void where_is_internal_1 (Lisp_Object key, Lisp_Object binding,
2376 Lisp_Object args, void *data);
2378 /* Like Flookup_key, but uses a list of keymaps SHADOW instead of a single map.
2379 Returns the first non-nil binding found in any of those maps.
2380 If REMAP is true, pass the result of the lookup through command
2381 remapping before returning it. */
2383 static Lisp_Object
2384 shadow_lookup (Lisp_Object shadow, Lisp_Object key, Lisp_Object flag,
2385 bool remap)
2387 Lisp_Object tail, value;
2389 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2391 value = Flookup_key (XCAR (tail), key, flag);
2392 if (NATNUMP (value))
2394 value = Flookup_key (XCAR (tail),
2395 Fsubstring (key, make_number (0), value), flag);
2396 if (!NILP (value))
2397 return Qnil;
2399 else if (!NILP (value))
2401 Lisp_Object remapping;
2402 if (remap && SYMBOLP (value)
2403 && (remapping = Fcommand_remapping (value, Qnil, shadow),
2404 !NILP (remapping)))
2405 return remapping;
2406 else
2407 return value;
2410 return Qnil;
2413 static Lisp_Object Vmouse_events;
2415 struct where_is_internal_data {
2416 Lisp_Object definition, this, last;
2417 bool last_is_meta, noindirect;
2418 Lisp_Object sequences;
2421 /* This function can't GC, AFAIK. */
2422 /* Return the list of bindings found. This list is ordered "longest
2423 to shortest". It may include bindings that are actually shadowed
2424 by others, as well as duplicate bindings and remapping bindings.
2425 The list returned is potentially shared with where_is_cache, so
2426 be careful not to modify it via side-effects. */
2428 static Lisp_Object
2429 where_is_internal (Lisp_Object definition, Lisp_Object keymaps,
2430 bool noindirect, bool nomenus)
2432 Lisp_Object maps = Qnil;
2433 Lisp_Object found;
2434 struct where_is_internal_data data;
2436 /* Only important use of caching is for the menubar
2437 (i.e. where-is-internal called with (def nil t nil nil)). */
2438 if (nomenus && !noindirect)
2440 /* Check heuristic-consistency of the cache. */
2441 if (NILP (Fequal (keymaps, where_is_cache_keymaps)))
2442 where_is_cache = Qnil;
2444 if (NILP (where_is_cache))
2446 /* We need to create the cache. */
2447 Lisp_Object args[2];
2448 where_is_cache = Fmake_hash_table (0, args);
2449 where_is_cache_keymaps = Qt;
2451 else
2452 /* We can reuse the cache. */
2453 return Fgethash (definition, where_is_cache, Qnil);
2455 else
2456 /* Kill the cache so that where_is_internal_1 doesn't think
2457 we're filling it up. */
2458 where_is_cache = Qnil;
2460 found = keymaps;
2461 while (CONSP (found))
2463 maps =
2464 nconc2 (maps,
2465 Faccessible_keymaps (get_keymap (XCAR (found), 1, 0), Qnil));
2466 found = XCDR (found);
2469 data.sequences = Qnil;
2470 for (; CONSP (maps); maps = XCDR (maps))
2472 /* Key sequence to reach map, and the map that it reaches */
2473 register Lisp_Object this, map, tem;
2475 /* In order to fold [META-PREFIX-CHAR CHAR] sequences into
2476 [M-CHAR] sequences, check if last character of the sequence
2477 is the meta-prefix char. */
2478 Lisp_Object last;
2479 bool last_is_meta;
2481 this = Fcar (XCAR (maps));
2482 map = Fcdr (XCAR (maps));
2483 last = make_number (XINT (Flength (this)) - 1);
2484 last_is_meta = (XINT (last) >= 0
2485 && EQ (Faref (this, last), meta_prefix_char));
2487 /* if (nomenus && !preferred_sequence_p (this)) */
2488 if (nomenus && XINT (last) >= 0
2489 && SYMBOLP (tem = Faref (this, make_number (0)))
2490 && !NILP (Fmemq (XCAR (parse_modifiers (tem)), Vmouse_events)))
2491 /* If no menu entries should be returned, skip over the
2492 keymaps bound to `menu-bar' and `tool-bar' and other
2493 non-ascii prefixes like `C-down-mouse-2'. */
2494 continue;
2496 QUIT;
2498 data.definition = definition;
2499 data.noindirect = noindirect;
2500 data.this = this;
2501 data.last = last;
2502 data.last_is_meta = last_is_meta;
2504 if (CONSP (map))
2505 map_keymap (map, where_is_internal_1, Qnil, &data, 0);
2508 if (nomenus && !noindirect)
2509 { /* Remember for which keymaps this cache was built.
2510 We do it here (late) because we want to keep where_is_cache_keymaps
2511 set to t while the cache isn't fully filled. */
2512 where_is_cache_keymaps = keymaps;
2513 /* During cache-filling, data.sequences is not filled by
2514 where_is_internal_1. */
2515 return Fgethash (definition, where_is_cache, Qnil);
2517 else
2518 return data.sequences;
2521 /* This function can GC if Flookup_key autoloads any keymaps. */
2523 DEFUN ("where-is-internal", Fwhere_is_internal, Swhere_is_internal, 1, 5, 0,
2524 doc: /* Return list of keys that invoke DEFINITION.
2525 If KEYMAP is a keymap, search only KEYMAP and the global keymap.
2526 If KEYMAP is nil, search all the currently active keymaps, except
2527 for `overriding-local-map' (which is ignored).
2528 If KEYMAP is a list of keymaps, search only those keymaps.
2530 If optional 3rd arg FIRSTONLY is non-nil, return the first key sequence found,
2531 rather than a list of all possible key sequences.
2532 If FIRSTONLY is the symbol `non-ascii', return the first binding found,
2533 no matter what it is.
2534 If FIRSTONLY has another non-nil value, prefer bindings
2535 that use the modifier key specified in `where-is-preferred-modifier'
2536 \(or their meta variants) and entirely reject menu bindings.
2538 If optional 4th arg NOINDIRECT is non-nil, don't extract the commands inside
2539 menu-items. This makes it possible to search for a menu-item itself.
2541 The optional 5th arg NO-REMAP alters how command remapping is handled:
2543 - If another command OTHER-COMMAND is remapped to DEFINITION, normally
2544 search for the bindings of OTHER-COMMAND and include them in the
2545 returned list. But if NO-REMAP is non-nil, include the vector
2546 [remap OTHER-COMMAND] in the returned list instead, without
2547 searching for those other bindings.
2549 - If DEFINITION is remapped to OTHER-COMMAND, normally return the
2550 bindings for OTHER-COMMAND. But if NO-REMAP is non-nil, return the
2551 bindings for DEFINITION instead, ignoring its remapping. */)
2552 (Lisp_Object definition, Lisp_Object keymap, Lisp_Object firstonly, Lisp_Object noindirect, Lisp_Object no_remap)
2554 /* The keymaps in which to search. */
2555 Lisp_Object keymaps;
2556 /* Potentially relevant bindings in "shortest to longest" order. */
2557 Lisp_Object sequences = Qnil;
2558 /* Actually relevant bindings. */
2559 Lisp_Object found = Qnil;
2560 /* 1 means ignore all menu bindings entirely. */
2561 bool nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2562 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5, gcpro6;
2563 /* List of sequences found via remapping. Keep them in a separate
2564 variable, so as to push them later, since we prefer
2565 non-remapped binding. */
2566 Lisp_Object remapped_sequences = Qnil;
2567 /* Whether or not we're handling remapped sequences. This is needed
2568 because remapping is not done recursively by Fcommand_remapping: you
2569 can't remap a remapped command. */
2570 bool remapped = 0;
2571 Lisp_Object tem = Qnil;
2573 /* Refresh the C version of the modifier preference. */
2574 where_is_preferred_modifier
2575 = parse_solitary_modifier (Vwhere_is_preferred_modifier);
2577 /* Find the relevant keymaps. */
2578 if (CONSP (keymap) && KEYMAPP (XCAR (keymap)))
2579 keymaps = keymap;
2580 else if (!NILP (keymap))
2581 keymaps = list2 (keymap, current_global_map);
2582 else
2583 keymaps = Fcurrent_active_maps (Qnil, Qnil);
2585 GCPRO6 (definition, keymaps, found, sequences, remapped_sequences, tem);
2587 tem = Fcommand_remapping (definition, Qnil, keymaps);
2588 /* If `definition' is remapped to tem', then OT1H no key will run
2589 that command (since they will run `tem' instead), so we should
2590 return nil; but OTOH all keys bound to `definition' (or to `tem')
2591 will run the same command.
2592 So for menu-shortcut purposes, we want to find all the keys bound (maybe
2593 via remapping) to `tem'. But for the purpose of finding the keys that
2594 run `definition', then we'd want to just return nil.
2595 We choose to make it work right for menu-shortcuts, since it's the most
2596 common use.
2597 Known bugs: if you remap switch-to-buffer to toto, C-h f switch-to-buffer
2598 will tell you that switch-to-buffer is bound to C-x b even though C-x b
2599 will run toto instead. And if `toto' is itself remapped to forward-char,
2600 then C-h f toto will tell you that it's bound to C-f even though C-f does
2601 not run toto and it won't tell you that C-x b does run toto. */
2602 if (NILP (no_remap) && !NILP (tem))
2603 definition = tem;
2605 if (SYMBOLP (definition)
2606 && !NILP (firstonly)
2607 && !NILP (tem = Fget (definition, QCadvertised_binding)))
2609 /* We have a list of advertised bindings. */
2610 while (CONSP (tem))
2611 if (EQ (shadow_lookup (keymaps, XCAR (tem), Qnil, 0), definition))
2612 RETURN_UNGCPRO (XCAR (tem));
2613 else
2614 tem = XCDR (tem);
2615 if (EQ (shadow_lookup (keymaps, tem, Qnil, 0), definition))
2616 RETURN_UNGCPRO (tem);
2619 sequences = Freverse (where_is_internal (definition, keymaps,
2620 !NILP (noindirect), nomenus));
2622 while (CONSP (sequences)
2623 /* If we're at the end of the `sequences' list and we haven't
2624 considered remapped sequences yet, copy them over and
2625 process them. */
2626 || (!remapped && (sequences = remapped_sequences,
2627 remapped = 1,
2628 CONSP (sequences))))
2630 Lisp_Object sequence, function;
2632 sequence = XCAR (sequences);
2633 sequences = XCDR (sequences);
2635 /* Verify that this key binding is not shadowed by another
2636 binding for the same key, before we say it exists.
2638 Mechanism: look for local definition of this key and if
2639 it is defined and does not match what we found then
2640 ignore this key.
2642 Either nil or number as value from Flookup_key
2643 means undefined. */
2644 if (NILP (Fequal (shadow_lookup (keymaps, sequence, Qnil, remapped),
2645 definition)))
2646 continue;
2648 /* If the current sequence is a command remapping with
2649 format [remap COMMAND], find the key sequences
2650 which run COMMAND, and use those sequences instead. */
2651 if (NILP (no_remap) && !remapped
2652 && VECTORP (sequence) && ASIZE (sequence) == 2
2653 && EQ (AREF (sequence, 0), Qremap)
2654 && (function = AREF (sequence, 1), SYMBOLP (function)))
2656 Lisp_Object seqs = where_is_internal (function, keymaps,
2657 !NILP (noindirect), nomenus);
2658 remapped_sequences = nconc2 (Freverse (seqs), remapped_sequences);
2659 continue;
2662 /* Don't annoy user with strings from a menu such as the
2663 entries from the "Edit => Paste from Kill Menu".
2664 Change them all to "(any string)", so that there
2665 seems to be only one menu item to report. */
2666 if (! NILP (sequence))
2668 Lisp_Object tem1;
2669 tem1 = Faref (sequence, make_number (ASIZE (sequence) - 1));
2670 if (STRINGP (tem1))
2671 Faset (sequence, make_number (ASIZE (sequence) - 1),
2672 build_string ("(any string)"));
2675 /* It is a true unshadowed match. Record it, unless it's already
2676 been seen (as could happen when inheriting keymaps). */
2677 if (NILP (Fmember (sequence, found)))
2678 found = Fcons (sequence, found);
2680 /* If firstonly is Qnon_ascii, then we can return the first
2681 binding we find. If firstonly is not Qnon_ascii but not
2682 nil, then we should return the first ascii-only binding
2683 we find. */
2684 if (EQ (firstonly, Qnon_ascii))
2685 RETURN_UNGCPRO (sequence);
2686 else if (!NILP (firstonly)
2687 && 2 == preferred_sequence_p (sequence))
2688 RETURN_UNGCPRO (sequence);
2691 UNGCPRO;
2693 found = Fnreverse (found);
2695 /* firstonly may have been t, but we may have gone all the way through
2696 the keymaps without finding an all-ASCII key sequence. So just
2697 return the best we could find. */
2698 if (NILP (firstonly))
2699 return found;
2700 else if (where_is_preferred_modifier == 0)
2701 return Fcar (found);
2702 else
2703 { /* Maybe we did not find a preferred_modifier binding, but we did find
2704 some ASCII binding. */
2705 Lisp_Object bindings = found;
2706 while (CONSP (bindings))
2707 if (preferred_sequence_p (XCAR (bindings)))
2708 return XCAR (bindings);
2709 else
2710 bindings = XCDR (bindings);
2711 return Fcar (found);
2715 /* This function can GC because get_keyelt can. */
2717 static void
2718 where_is_internal_1 (Lisp_Object key, Lisp_Object binding, Lisp_Object args, void *data)
2720 struct where_is_internal_data *d = data; /* Cast! */
2721 Lisp_Object definition = d->definition;
2722 bool noindirect = d->noindirect;
2723 Lisp_Object this = d->this;
2724 Lisp_Object last = d->last;
2725 bool last_is_meta = d->last_is_meta;
2726 Lisp_Object sequence;
2728 /* Search through indirections unless that's not wanted. */
2729 if (!noindirect)
2730 binding = get_keyelt (binding, 0);
2732 /* End this iteration if this element does not match
2733 the target. */
2735 if (!(!NILP (where_is_cache) /* everything "matches" during cache-fill. */
2736 || EQ (binding, definition)
2737 || (CONSP (definition) && !NILP (Fequal (binding, definition)))))
2738 /* Doesn't match. */
2739 return;
2741 /* We have found a match. Construct the key sequence where we found it. */
2742 if (INTEGERP (key) && last_is_meta)
2744 sequence = Fcopy_sequence (this);
2745 Faset (sequence, last, make_number (XINT (key) | meta_modifier));
2747 else
2749 if (CONSP (key))
2750 key = Fcons (XCAR (key), XCDR (key));
2751 sequence = append_key (this, key);
2754 if (!NILP (where_is_cache))
2756 Lisp_Object sequences = Fgethash (binding, where_is_cache, Qnil);
2757 Fputhash (binding, Fcons (sequence, sequences), where_is_cache);
2759 else
2760 d->sequences = Fcons (sequence, d->sequences);
2763 /* describe-bindings - summarizing all the bindings in a set of keymaps. */
2765 DEFUN ("describe-buffer-bindings", Fdescribe_buffer_bindings, Sdescribe_buffer_bindings, 1, 3, 0,
2766 doc: /* Insert the list of all defined keys and their definitions.
2767 The list is inserted in the current buffer, while the bindings are
2768 looked up in BUFFER.
2769 The optional argument PREFIX, if non-nil, should be a key sequence;
2770 then we display only bindings that start with that prefix.
2771 The optional argument MENUS, if non-nil, says to mention menu bindings.
2772 \(Ordinarily these are omitted from the output.) */)
2773 (Lisp_Object buffer, Lisp_Object prefix, Lisp_Object menus)
2775 Lisp_Object outbuf, shadow;
2776 bool nomenu = NILP (menus);
2777 Lisp_Object start1;
2778 struct gcpro gcpro1;
2780 const char *alternate_heading
2781 = "\
2782 Keyboard translations:\n\n\
2783 You type Translation\n\
2784 -------- -----------\n";
2786 CHECK_BUFFER (buffer);
2788 shadow = Qnil;
2789 GCPRO1 (shadow);
2791 outbuf = Fcurrent_buffer ();
2793 /* Report on alternates for keys. */
2794 if (STRINGP (KVAR (current_kboard, Vkeyboard_translate_table)) && !NILP (prefix))
2796 int c;
2797 const unsigned char *translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2798 int translate_len = SCHARS (KVAR (current_kboard, Vkeyboard_translate_table));
2800 for (c = 0; c < translate_len; c++)
2801 if (translate[c] != c)
2803 char buf[KEY_DESCRIPTION_SIZE];
2804 char *bufend;
2806 if (alternate_heading)
2808 insert_string (alternate_heading);
2809 alternate_heading = 0;
2812 bufend = push_key_description (translate[c], buf);
2813 insert (buf, bufend - buf);
2814 Findent_to (make_number (16), make_number (1));
2815 bufend = push_key_description (c, buf);
2816 insert (buf, bufend - buf);
2818 insert ("\n", 1);
2820 /* Insert calls signal_after_change which may GC. */
2821 translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2824 insert ("\n", 1);
2827 if (!NILP (Vkey_translation_map))
2828 describe_map_tree (Vkey_translation_map, 0, Qnil, prefix,
2829 "Key translations", nomenu, 1, 0, 0);
2832 /* Print the (major mode) local map. */
2833 start1 = Qnil;
2834 if (!NILP (KVAR (current_kboard, Voverriding_terminal_local_map)))
2835 start1 = KVAR (current_kboard, Voverriding_terminal_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);
2842 start1 = Qnil;
2844 else if (!NILP (Voverriding_local_map))
2845 start1 = Voverriding_local_map;
2847 if (!NILP (start1))
2849 describe_map_tree (start1, 1, shadow, prefix,
2850 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2851 shadow = Fcons (start1, shadow);
2853 else
2855 /* Print the minor mode and major mode keymaps. */
2856 int i, nmaps;
2857 Lisp_Object *modes, *maps;
2859 /* Temporarily switch to `buffer', so that we can get that buffer's
2860 minor modes correctly. */
2861 Fset_buffer (buffer);
2863 nmaps = current_minor_maps (&modes, &maps);
2864 Fset_buffer (outbuf);
2866 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2867 XBUFFER (buffer), Qkeymap);
2868 if (!NILP (start1))
2870 describe_map_tree (start1, 1, shadow, prefix,
2871 "\f\n`keymap' Property Bindings", nomenu,
2872 0, 0, 0);
2873 shadow = Fcons (start1, shadow);
2876 /* Print the minor mode maps. */
2877 for (i = 0; i < nmaps; i++)
2879 /* The title for a minor mode keymap
2880 is constructed at run time.
2881 We let describe_map_tree do the actual insertion
2882 because it takes care of other features when doing so. */
2883 char *title, *p;
2885 if (!SYMBOLP (modes[i]))
2886 emacs_abort ();
2888 USE_SAFE_ALLOCA;
2889 p = title = SAFE_ALLOCA (42 + SBYTES (SYMBOL_NAME (modes[i])));
2890 *p++ = '\f';
2891 *p++ = '\n';
2892 *p++ = '`';
2893 memcpy (p, SDATA (SYMBOL_NAME (modes[i])),
2894 SBYTES (SYMBOL_NAME (modes[i])));
2895 p += SBYTES (SYMBOL_NAME (modes[i]));
2896 *p++ = '\'';
2897 memcpy (p, " Minor Mode Bindings", strlen (" Minor Mode Bindings"));
2898 p += strlen (" Minor Mode Bindings");
2899 *p = 0;
2901 describe_map_tree (maps[i], 1, shadow, prefix,
2902 title, nomenu, 0, 0, 0);
2903 shadow = Fcons (maps[i], shadow);
2904 SAFE_FREE ();
2907 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2908 XBUFFER (buffer), Qlocal_map);
2909 if (!NILP (start1))
2911 if (EQ (start1, BVAR (XBUFFER (buffer), keymap)))
2912 describe_map_tree (start1, 1, shadow, prefix,
2913 "\f\nMajor Mode Bindings", nomenu, 0, 0, 0);
2914 else
2915 describe_map_tree (start1, 1, shadow, prefix,
2916 "\f\n`local-map' Property Bindings",
2917 nomenu, 0, 0, 0);
2919 shadow = Fcons (start1, shadow);
2923 describe_map_tree (current_global_map, 1, shadow, prefix,
2924 "\f\nGlobal Bindings", nomenu, 0, 1, 0);
2926 /* Print the function-key-map translations under this prefix. */
2927 if (!NILP (KVAR (current_kboard, Vlocal_function_key_map)))
2928 describe_map_tree (KVAR (current_kboard, Vlocal_function_key_map), 0, Qnil, prefix,
2929 "\f\nFunction key map translations", nomenu, 1, 0, 0);
2931 /* Print the input-decode-map translations under this prefix. */
2932 if (!NILP (KVAR (current_kboard, Vinput_decode_map)))
2933 describe_map_tree (KVAR (current_kboard, Vinput_decode_map), 0, Qnil, prefix,
2934 "\f\nInput decoding map translations", nomenu, 1, 0, 0);
2936 UNGCPRO;
2937 return Qnil;
2940 /* Insert a description of the key bindings in STARTMAP,
2941 followed by those of all maps reachable through STARTMAP.
2942 If PARTIAL, omit certain "uninteresting" commands
2943 (such as `undefined').
2944 If SHADOW is non-nil, it is a list of maps;
2945 don't mention keys which would be shadowed by any of them.
2946 PREFIX, if non-nil, says mention only keys that start with PREFIX.
2947 TITLE, if not 0, is a string to insert at the beginning.
2948 TITLE should not end with a colon or a newline; we supply that.
2949 If NOMENU, then omit menu-bar commands.
2951 If TRANSL, the definitions are actually key translations
2952 so print strings and vectors differently.
2954 If ALWAYS_TITLE, print the title even if there are no maps
2955 to look through.
2957 If MENTION_SHADOW, then when something is shadowed by SHADOW,
2958 don't omit it; instead, mention it but say it is shadowed.
2960 Any inserted text ends in two newlines (used by `help-make-xrefs'). */
2962 void
2963 describe_map_tree (Lisp_Object startmap, bool partial, Lisp_Object shadow,
2964 Lisp_Object prefix, const char *title, bool nomenu,
2965 bool transl, bool always_title, bool mention_shadow)
2967 Lisp_Object maps, orig_maps, seen, sub_shadows;
2968 struct gcpro gcpro1, gcpro2, gcpro3;
2969 bool something = 0;
2970 const char *key_heading
2971 = "\
2972 key binding\n\
2973 --- -------\n";
2975 orig_maps = maps = Faccessible_keymaps (startmap, prefix);
2976 seen = Qnil;
2977 sub_shadows = Qnil;
2978 GCPRO3 (maps, seen, sub_shadows);
2980 if (nomenu)
2982 Lisp_Object list;
2984 /* Delete from MAPS each element that is for the menu bar. */
2985 for (list = maps; CONSP (list); list = XCDR (list))
2987 Lisp_Object elt, elt_prefix, tem;
2989 elt = XCAR (list);
2990 elt_prefix = Fcar (elt);
2991 if (ASIZE (elt_prefix) >= 1)
2993 tem = Faref (elt_prefix, make_number (0));
2994 if (EQ (tem, Qmenu_bar))
2995 maps = Fdelq (elt, maps);
3000 if (!NILP (maps) || always_title)
3002 if (title)
3004 insert_string (title);
3005 if (!NILP (prefix))
3007 insert_string (" Starting With ");
3008 insert1 (Fkey_description (prefix, Qnil));
3010 insert_string (":\n");
3012 insert_string (key_heading);
3013 something = 1;
3016 for (; CONSP (maps); maps = XCDR (maps))
3018 register Lisp_Object elt, elt_prefix, tail;
3020 elt = XCAR (maps);
3021 elt_prefix = Fcar (elt);
3023 sub_shadows = Qnil;
3025 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
3027 Lisp_Object shmap;
3029 shmap = XCAR (tail);
3031 /* If the sequence by which we reach this keymap is zero-length,
3032 then the shadow map for this keymap is just SHADOW. */
3033 if ((STRINGP (elt_prefix) && SCHARS (elt_prefix) == 0)
3034 || (VECTORP (elt_prefix) && ASIZE (elt_prefix) == 0))
3036 /* If the sequence by which we reach this keymap actually has
3037 some elements, then the sequence's definition in SHADOW is
3038 what we should use. */
3039 else
3041 shmap = Flookup_key (shmap, Fcar (elt), Qt);
3042 if (INTEGERP (shmap))
3043 shmap = Qnil;
3046 /* If shmap is not nil and not a keymap,
3047 it completely shadows this map, so don't
3048 describe this map at all. */
3049 if (!NILP (shmap) && !KEYMAPP (shmap))
3050 goto skip;
3052 if (!NILP (shmap))
3053 sub_shadows = Fcons (shmap, sub_shadows);
3056 /* Maps we have already listed in this loop shadow this map. */
3057 for (tail = orig_maps; !EQ (tail, maps); tail = XCDR (tail))
3059 Lisp_Object tem;
3060 tem = Fequal (Fcar (XCAR (tail)), elt_prefix);
3061 if (!NILP (tem))
3062 sub_shadows = Fcons (XCDR (XCAR (tail)), sub_shadows);
3065 describe_map (Fcdr (elt), elt_prefix,
3066 transl ? describe_translation : describe_command,
3067 partial, sub_shadows, &seen, nomenu, mention_shadow);
3069 skip: ;
3072 if (something)
3073 insert_string ("\n");
3075 UNGCPRO;
3078 static int previous_description_column;
3080 static void
3081 describe_command (Lisp_Object definition, Lisp_Object args)
3083 register Lisp_Object tem1;
3084 ptrdiff_t column = current_column ();
3085 int description_column;
3087 /* If column 16 is no good, go to col 32;
3088 but don't push beyond that--go to next line instead. */
3089 if (column > 30)
3091 insert_char ('\n');
3092 description_column = 32;
3094 else if (column > 14 || (column > 10 && previous_description_column == 32))
3095 description_column = 32;
3096 else
3097 description_column = 16;
3099 Findent_to (make_number (description_column), make_number (1));
3100 previous_description_column = description_column;
3102 if (SYMBOLP (definition))
3104 tem1 = SYMBOL_NAME (definition);
3105 insert1 (tem1);
3106 insert_string ("\n");
3108 else if (STRINGP (definition) || VECTORP (definition))
3109 insert_string ("Keyboard Macro\n");
3110 else if (KEYMAPP (definition))
3111 insert_string ("Prefix Command\n");
3112 else
3113 insert_string ("??\n");
3116 static void
3117 describe_translation (Lisp_Object definition, Lisp_Object args)
3119 register Lisp_Object tem1;
3121 Findent_to (make_number (16), make_number (1));
3123 if (SYMBOLP (definition))
3125 tem1 = SYMBOL_NAME (definition);
3126 insert1 (tem1);
3127 insert_string ("\n");
3129 else if (STRINGP (definition) || VECTORP (definition))
3131 insert1 (Fkey_description (definition, Qnil));
3132 insert_string ("\n");
3134 else if (KEYMAPP (definition))
3135 insert_string ("Prefix Command\n");
3136 else
3137 insert_string ("??\n");
3140 /* describe_map puts all the usable elements of a sparse keymap
3141 into an array of `struct describe_map_elt',
3142 then sorts them by the events. */
3144 struct describe_map_elt
3146 Lisp_Object event;
3147 Lisp_Object definition;
3148 bool shadowed;
3151 /* qsort comparison function for sorting `struct describe_map_elt' by
3152 the event field. */
3154 static int
3155 describe_map_compare (const void *aa, const void *bb)
3157 const struct describe_map_elt *a = aa, *b = bb;
3158 if (INTEGERP (a->event) && INTEGERP (b->event))
3159 return ((XINT (a->event) > XINT (b->event))
3160 - (XINT (a->event) < XINT (b->event)));
3161 if (!INTEGERP (a->event) && INTEGERP (b->event))
3162 return 1;
3163 if (INTEGERP (a->event) && !INTEGERP (b->event))
3164 return -1;
3165 if (SYMBOLP (a->event) && SYMBOLP (b->event))
3166 return (!NILP (Fstring_lessp (a->event, b->event)) ? -1
3167 : !NILP (Fstring_lessp (b->event, a->event)) ? 1
3168 : 0);
3169 return 0;
3172 /* Describe the contents of map MAP, assuming that this map itself is
3173 reached by the sequence of prefix keys PREFIX (a string or vector).
3174 PARTIAL, SHADOW, NOMENU are as in `describe_map_tree' above. */
3176 static void
3177 describe_map (Lisp_Object map, Lisp_Object prefix,
3178 void (*elt_describer) (Lisp_Object, Lisp_Object),
3179 bool partial, Lisp_Object shadow,
3180 Lisp_Object *seen, bool nomenu, bool mention_shadow)
3182 Lisp_Object tail, definition, event;
3183 Lisp_Object tem;
3184 Lisp_Object suppress;
3185 Lisp_Object kludge;
3186 bool first = 1;
3187 struct gcpro gcpro1, gcpro2, gcpro3;
3189 /* These accumulate the values from sparse keymap bindings,
3190 so we can sort them and handle them in order. */
3191 ptrdiff_t length_needed = 0;
3192 struct describe_map_elt *vect;
3193 ptrdiff_t slots_used = 0;
3194 ptrdiff_t i;
3196 suppress = Qnil;
3198 if (partial)
3199 suppress = intern ("suppress-keymap");
3201 /* This vector gets used to present single keys to Flookup_key. Since
3202 that is done once per keymap element, we don't want to cons up a
3203 fresh vector every time. */
3204 kludge = Fmake_vector (make_number (1), Qnil);
3205 definition = Qnil;
3207 GCPRO3 (prefix, definition, kludge);
3209 map = call1 (Qkeymap_canonicalize, map);
3211 for (tail = map; CONSP (tail); tail = XCDR (tail))
3212 length_needed++;
3214 USE_SAFE_ALLOCA;
3215 SAFE_NALLOCA (vect, 1, length_needed);
3217 for (tail = map; CONSP (tail); tail = XCDR (tail))
3219 QUIT;
3221 if (VECTORP (XCAR (tail))
3222 || CHAR_TABLE_P (XCAR (tail)))
3223 describe_vector (XCAR (tail),
3224 prefix, Qnil, elt_describer, partial, shadow, map,
3225 1, mention_shadow);
3226 else if (CONSP (XCAR (tail)))
3228 bool this_shadowed = 0;
3230 event = XCAR (XCAR (tail));
3232 /* Ignore bindings whose "prefix" are not really valid events.
3233 (We get these in the frames and buffers menu.) */
3234 if (!(SYMBOLP (event) || INTEGERP (event)))
3235 continue;
3237 if (nomenu && EQ (event, Qmenu_bar))
3238 continue;
3240 definition = get_keyelt (XCDR (XCAR (tail)), 0);
3242 /* Don't show undefined commands or suppressed commands. */
3243 if (NILP (definition)) continue;
3244 if (SYMBOLP (definition) && partial)
3246 tem = Fget (definition, suppress);
3247 if (!NILP (tem))
3248 continue;
3251 /* Don't show a command that isn't really visible
3252 because a local definition of the same key shadows it. */
3254 ASET (kludge, 0, event);
3255 if (!NILP (shadow))
3257 tem = shadow_lookup (shadow, kludge, Qt, 0);
3258 if (!NILP (tem))
3260 /* If both bindings are keymaps, this key is a prefix key,
3261 so don't say it is shadowed. */
3262 if (KEYMAPP (definition) && KEYMAPP (tem))
3264 /* Avoid generating duplicate entries if the
3265 shadowed binding has the same definition. */
3266 else if (mention_shadow && !EQ (tem, definition))
3267 this_shadowed = 1;
3268 else
3269 continue;
3273 tem = Flookup_key (map, kludge, Qt);
3274 if (!EQ (tem, definition)) continue;
3276 vect[slots_used].event = event;
3277 vect[slots_used].definition = definition;
3278 vect[slots_used].shadowed = this_shadowed;
3279 slots_used++;
3281 else if (EQ (XCAR (tail), Qkeymap))
3283 /* The same keymap might be in the structure twice, if we're
3284 using an inherited keymap. So skip anything we've already
3285 encountered. */
3286 tem = Fassq (tail, *seen);
3287 if (CONSP (tem) && !NILP (Fequal (XCAR (tem), prefix)))
3288 break;
3289 *seen = Fcons (Fcons (tail, prefix), *seen);
3293 /* If we found some sparse map events, sort them. */
3295 qsort (vect, slots_used, sizeof (struct describe_map_elt),
3296 describe_map_compare);
3298 /* Now output them in sorted order. */
3300 for (i = 0; i < slots_used; i++)
3302 Lisp_Object start, end;
3304 if (first)
3306 previous_description_column = 0;
3307 insert ("\n", 1);
3308 first = 0;
3311 ASET (kludge, 0, vect[i].event);
3312 start = vect[i].event;
3313 end = start;
3315 definition = vect[i].definition;
3317 /* Find consecutive chars that are identically defined. */
3318 if (INTEGERP (vect[i].event))
3320 while (i + 1 < slots_used
3321 && EQ (vect[i+1].event, make_number (XINT (vect[i].event) + 1))
3322 && !NILP (Fequal (vect[i + 1].definition, definition))
3323 && vect[i].shadowed == vect[i + 1].shadowed)
3324 i++;
3325 end = vect[i].event;
3328 /* Now START .. END is the range to describe next. */
3330 /* Insert the string to describe the event START. */
3331 insert1 (Fkey_description (kludge, prefix));
3333 if (!EQ (start, end))
3335 insert (" .. ", 4);
3337 ASET (kludge, 0, end);
3338 /* Insert the string to describe the character END. */
3339 insert1 (Fkey_description (kludge, prefix));
3342 /* Print a description of the definition of this character.
3343 elt_describer will take care of spacing out far enough
3344 for alignment purposes. */
3345 (*elt_describer) (vect[i].definition, Qnil);
3347 if (vect[i].shadowed)
3349 ptrdiff_t pt = max (PT - 1, BEG);
3351 SET_PT (pt);
3352 insert_string ("\n (that binding is currently shadowed by another mode)");
3353 pt = min (PT + 1, Z);
3354 SET_PT (pt);
3358 SAFE_FREE ();
3359 UNGCPRO;
3362 static void
3363 describe_vector_princ (Lisp_Object elt, Lisp_Object fun)
3365 Findent_to (make_number (16), make_number (1));
3366 call1 (fun, elt);
3367 Fterpri (Qnil, Qnil);
3370 DEFUN ("describe-vector", Fdescribe_vector, Sdescribe_vector, 1, 2, 0,
3371 doc: /* Insert a description of contents of VECTOR.
3372 This is text showing the elements of vector matched against indices.
3373 DESCRIBER is the output function used; nil means use `princ'. */)
3374 (Lisp_Object vector, Lisp_Object describer)
3376 ptrdiff_t count = SPECPDL_INDEX ();
3377 if (NILP (describer))
3378 describer = intern ("princ");
3379 specbind (Qstandard_output, Fcurrent_buffer ());
3380 CHECK_VECTOR_OR_CHAR_TABLE (vector);
3381 describe_vector (vector, Qnil, describer, describe_vector_princ, 0,
3382 Qnil, Qnil, 0, 0);
3384 return unbind_to (count, Qnil);
3387 /* Insert in the current buffer a description of the contents of VECTOR.
3388 We call ELT_DESCRIBER to insert the description of one value found
3389 in VECTOR.
3391 ELT_PREFIX describes what "comes before" the keys or indices defined
3392 by this vector. This is a human-readable string whose size
3393 is not necessarily related to the situation.
3395 If the vector is in a keymap, ELT_PREFIX is a prefix key which
3396 leads to this keymap.
3398 If the vector is a chartable, ELT_PREFIX is the vector
3399 of bytes that lead to the character set or portion of a character
3400 set described by this chartable.
3402 If PARTIAL, it means do not mention suppressed commands
3403 (that assumes the vector is in a keymap).
3405 SHADOW is a list of keymaps that shadow this map.
3406 If it is non-nil, then we look up the key in those maps
3407 and we don't mention it now if it is defined by any of them.
3409 ENTIRE_MAP is the keymap in which this vector appears.
3410 If the definition in effect in the whole map does not match
3411 the one in this vector, we ignore this one.
3413 ARGS is simply passed as the second argument to ELT_DESCRIBER.
3415 KEYMAP_P is 1 if vector is known to be a keymap, so map ESC to M-.
3417 ARGS is simply passed as the second argument to ELT_DESCRIBER. */
3419 static void
3420 describe_vector (Lisp_Object vector, Lisp_Object prefix, Lisp_Object args,
3421 void (*elt_describer) (Lisp_Object, Lisp_Object),
3422 bool partial, Lisp_Object shadow, Lisp_Object entire_map,
3423 bool keymap_p, bool mention_shadow)
3425 Lisp_Object definition;
3426 Lisp_Object tem2;
3427 Lisp_Object elt_prefix = Qnil;
3428 int i;
3429 Lisp_Object suppress;
3430 Lisp_Object kludge;
3431 bool first = 1;
3432 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
3433 /* Range of elements to be handled. */
3434 int from, to, stop;
3435 Lisp_Object character;
3436 int starting_i;
3438 suppress = Qnil;
3440 definition = Qnil;
3442 if (!keymap_p)
3444 /* Call Fkey_description first, to avoid GC bug for the other string. */
3445 if (!NILP (prefix) && XFASTINT (Flength (prefix)) > 0)
3447 Lisp_Object tem = Fkey_description (prefix, Qnil);
3448 AUTO_STRING (space, " ");
3449 elt_prefix = concat2 (tem, space);
3451 prefix = Qnil;
3454 /* This vector gets used to present single keys to Flookup_key. Since
3455 that is done once per vector element, we don't want to cons up a
3456 fresh vector every time. */
3457 kludge = Fmake_vector (make_number (1), Qnil);
3458 GCPRO4 (elt_prefix, prefix, definition, kludge);
3460 if (partial)
3461 suppress = intern ("suppress-keymap");
3463 from = 0;
3464 if (CHAR_TABLE_P (vector))
3465 stop = MAX_5_BYTE_CHAR + 1, to = MAX_CHAR + 1;
3466 else
3467 stop = to = ASIZE (vector);
3469 for (i = from; ; i++)
3471 bool this_shadowed = 0;
3472 int range_beg, range_end;
3473 Lisp_Object val;
3475 QUIT;
3477 if (i == stop)
3479 if (i == to)
3480 break;
3481 stop = to;
3484 starting_i = i;
3486 if (CHAR_TABLE_P (vector))
3488 range_beg = i;
3489 i = stop - 1;
3490 val = char_table_ref_and_range (vector, range_beg, &range_beg, &i);
3492 else
3493 val = AREF (vector, i);
3494 definition = get_keyelt (val, 0);
3496 if (NILP (definition)) continue;
3498 /* Don't mention suppressed commands. */
3499 if (SYMBOLP (definition) && partial)
3501 Lisp_Object tem;
3503 tem = Fget (definition, suppress);
3505 if (!NILP (tem)) continue;
3508 character = make_number (starting_i);
3509 ASET (kludge, 0, character);
3511 /* If this binding is shadowed by some other map, ignore it. */
3512 if (!NILP (shadow))
3514 Lisp_Object tem;
3516 tem = shadow_lookup (shadow, kludge, Qt, 0);
3518 if (!NILP (tem))
3520 if (mention_shadow)
3521 this_shadowed = 1;
3522 else
3523 continue;
3527 /* Ignore this definition if it is shadowed by an earlier
3528 one in the same keymap. */
3529 if (!NILP (entire_map))
3531 Lisp_Object tem;
3533 tem = Flookup_key (entire_map, kludge, Qt);
3535 if (!EQ (tem, definition))
3536 continue;
3539 if (first)
3541 insert ("\n", 1);
3542 first = 0;
3545 /* Output the prefix that applies to every entry in this map. */
3546 if (!NILP (elt_prefix))
3547 insert1 (elt_prefix);
3549 insert1 (Fkey_description (kludge, prefix));
3551 /* Find all consecutive characters or rows that have the same
3552 definition. But, VECTOR is a char-table, we had better put a
3553 boundary between normal characters (-#x3FFF7F) and 8-bit
3554 characters (#x3FFF80-). */
3555 if (CHAR_TABLE_P (vector))
3557 while (i + 1 < stop
3558 && (range_beg = i + 1, range_end = stop - 1,
3559 val = char_table_ref_and_range (vector, range_beg,
3560 &range_beg, &range_end),
3561 tem2 = get_keyelt (val, 0),
3562 !NILP (tem2))
3563 && !NILP (Fequal (tem2, definition)))
3564 i = range_end;
3566 else
3567 while (i + 1 < stop
3568 && (tem2 = get_keyelt (AREF (vector, i + 1), 0),
3569 !NILP (tem2))
3570 && !NILP (Fequal (tem2, definition)))
3571 i++;
3573 /* If we have a range of more than one character,
3574 print where the range reaches to. */
3576 if (i != starting_i)
3578 insert (" .. ", 4);
3580 ASET (kludge, 0, make_number (i));
3582 if (!NILP (elt_prefix))
3583 insert1 (elt_prefix);
3585 insert1 (Fkey_description (kludge, prefix));
3588 /* Print a description of the definition of this character.
3589 elt_describer will take care of spacing out far enough
3590 for alignment purposes. */
3591 (*elt_describer) (definition, args);
3593 if (this_shadowed)
3595 SET_PT (PT - 1);
3596 insert_string (" (binding currently shadowed)");
3597 SET_PT (PT + 1);
3601 if (CHAR_TABLE_P (vector) && ! NILP (XCHAR_TABLE (vector)->defalt))
3603 if (!NILP (elt_prefix))
3604 insert1 (elt_prefix);
3605 insert ("default", 7);
3606 (*elt_describer) (XCHAR_TABLE (vector)->defalt, args);
3609 UNGCPRO;
3612 /* Apropos - finding all symbols whose names match a regexp. */
3613 static Lisp_Object apropos_predicate;
3614 static Lisp_Object apropos_accumulate;
3616 static void
3617 apropos_accum (Lisp_Object symbol, Lisp_Object string)
3619 register Lisp_Object tem;
3621 tem = Fstring_match (string, Fsymbol_name (symbol), Qnil);
3622 if (!NILP (tem) && !NILP (apropos_predicate))
3623 tem = call1 (apropos_predicate, symbol);
3624 if (!NILP (tem))
3625 apropos_accumulate = Fcons (symbol, apropos_accumulate);
3628 DEFUN ("apropos-internal", Fapropos_internal, Sapropos_internal, 1, 2, 0,
3629 doc: /* Show all symbols whose names contain match for REGEXP.
3630 If optional 2nd arg PREDICATE is non-nil, (funcall PREDICATE SYMBOL) is done
3631 for each symbol and a symbol is mentioned only if that returns non-nil.
3632 Return list of symbols found. */)
3633 (Lisp_Object regexp, Lisp_Object predicate)
3635 Lisp_Object tem;
3636 CHECK_STRING (regexp);
3637 apropos_predicate = predicate;
3638 apropos_accumulate = Qnil;
3639 map_obarray (Vobarray, apropos_accum, regexp);
3640 tem = Fsort (apropos_accumulate, Qstring_lessp);
3641 apropos_accumulate = Qnil;
3642 apropos_predicate = Qnil;
3643 return tem;
3646 void
3647 syms_of_keymap (void)
3649 DEFSYM (Qkeymap, "keymap");
3650 staticpro (&apropos_predicate);
3651 staticpro (&apropos_accumulate);
3652 apropos_predicate = Qnil;
3653 apropos_accumulate = Qnil;
3655 DEFSYM (Qkeymap_canonicalize, "keymap-canonicalize");
3657 /* Now we are ready to set up this property, so we can
3658 create char tables. */
3659 Fput (Qkeymap, Qchar_table_extra_slots, make_number (0));
3661 /* Initialize the keymaps standardly used.
3662 Each one is the value of a Lisp variable, and is also
3663 pointed to by a C variable */
3665 global_map = Fmake_keymap (Qnil);
3666 Fset (intern_c_string ("global-map"), global_map);
3668 current_global_map = global_map;
3669 staticpro (&global_map);
3670 staticpro (&current_global_map);
3672 meta_map = Fmake_keymap (Qnil);
3673 Fset (intern_c_string ("esc-map"), meta_map);
3674 Ffset (intern_c_string ("ESC-prefix"), meta_map);
3676 control_x_map = Fmake_keymap (Qnil);
3677 Fset (intern_c_string ("ctl-x-map"), control_x_map);
3678 Ffset (intern_c_string ("Control-X-prefix"), control_x_map);
3680 exclude_keys = listn (CONSTYPE_PURE, 5,
3681 pure_cons (build_pure_c_string ("DEL"), build_pure_c_string ("\\d")),
3682 pure_cons (build_pure_c_string ("TAB"), build_pure_c_string ("\\t")),
3683 pure_cons (build_pure_c_string ("RET"), build_pure_c_string ("\\r")),
3684 pure_cons (build_pure_c_string ("ESC"), build_pure_c_string ("\\e")),
3685 pure_cons (build_pure_c_string ("SPC"), build_pure_c_string (" ")));
3686 staticpro (&exclude_keys);
3688 DEFVAR_LISP ("define-key-rebound-commands", Vdefine_key_rebound_commands,
3689 doc: /* List of commands given new key bindings recently.
3690 This is used for internal purposes during Emacs startup;
3691 don't alter it yourself. */);
3692 Vdefine_key_rebound_commands = Qt;
3694 DEFVAR_LISP ("minibuffer-local-map", Vminibuffer_local_map,
3695 doc: /* Default keymap to use when reading from the minibuffer. */);
3696 Vminibuffer_local_map = Fmake_sparse_keymap (Qnil);
3698 DEFVAR_LISP ("minibuffer-local-ns-map", Vminibuffer_local_ns_map,
3699 doc: /* Local keymap for the minibuffer when spaces are not allowed. */);
3700 Vminibuffer_local_ns_map = Fmake_sparse_keymap (Qnil);
3701 Fset_keymap_parent (Vminibuffer_local_ns_map, Vminibuffer_local_map);
3704 DEFVAR_LISP ("minor-mode-map-alist", Vminor_mode_map_alist,
3705 doc: /* Alist of keymaps to use for minor modes.
3706 Each element looks like (VARIABLE . KEYMAP); KEYMAP is used to read
3707 key sequences and look up bindings if VARIABLE's value is non-nil.
3708 If two active keymaps bind the same key, the keymap appearing earlier
3709 in the list takes precedence. */);
3710 Vminor_mode_map_alist = Qnil;
3712 DEFVAR_LISP ("minor-mode-overriding-map-alist", Vminor_mode_overriding_map_alist,
3713 doc: /* Alist of keymaps to use for minor modes, in current major mode.
3714 This variable is an alist just like `minor-mode-map-alist', and it is
3715 used the same way (and before `minor-mode-map-alist'); however,
3716 it is provided for major modes to bind locally. */);
3717 Vminor_mode_overriding_map_alist = Qnil;
3719 DEFVAR_LISP ("emulation-mode-map-alists", Vemulation_mode_map_alists,
3720 doc: /* List of keymap alists to use for emulation modes.
3721 It is intended for modes or packages using multiple minor-mode keymaps.
3722 Each element is a keymap alist just like `minor-mode-map-alist', or a
3723 symbol with a variable binding which is a keymap alist, and it is used
3724 the same way. The "active" keymaps in each alist are used before
3725 `minor-mode-map-alist' and `minor-mode-overriding-map-alist'. */);
3726 Vemulation_mode_map_alists = Qnil;
3728 DEFVAR_LISP ("where-is-preferred-modifier", Vwhere_is_preferred_modifier,
3729 doc: /* Preferred modifier key to use for `where-is'.
3730 When a single binding is requested, `where-is' will return one that
3731 uses this modifier key if possible. If nil, or if no such binding
3732 exists, bindings using keys without modifiers (or only with meta) will
3733 be preferred. */);
3734 Vwhere_is_preferred_modifier = Qnil;
3735 where_is_preferred_modifier = 0;
3737 staticpro (&Vmouse_events);
3738 Vmouse_events = listn (CONSTYPE_PURE, 9,
3739 intern_c_string ("menu-bar"),
3740 intern_c_string ("tool-bar"),
3741 intern_c_string ("header-line"),
3742 intern_c_string ("mode-line"),
3743 intern_c_string ("mouse-1"),
3744 intern_c_string ("mouse-2"),
3745 intern_c_string ("mouse-3"),
3746 intern_c_string ("mouse-4"),
3747 intern_c_string ("mouse-5"));
3749 DEFSYM (Qsingle_key_description, "single-key-description");
3750 DEFSYM (Qkey_description, "key-description");
3751 DEFSYM (Qkeymapp, "keymapp");
3752 DEFSYM (Qnon_ascii, "non-ascii");
3753 DEFSYM (Qmenu_item, "menu-item");
3754 DEFSYM (Qremap, "remap");
3755 DEFSYM (QCadvertised_binding, ":advertised-binding");
3757 command_remapping_vector = Fmake_vector (make_number (2), Qremap);
3758 staticpro (&command_remapping_vector);
3760 where_is_cache_keymaps = Qt;
3761 where_is_cache = Qnil;
3762 staticpro (&where_is_cache);
3763 staticpro (&where_is_cache_keymaps);
3765 defsubr (&Skeymapp);
3766 defsubr (&Skeymap_parent);
3767 defsubr (&Skeymap_prompt);
3768 defsubr (&Sset_keymap_parent);
3769 defsubr (&Smake_keymap);
3770 defsubr (&Smake_sparse_keymap);
3771 defsubr (&Smap_keymap_internal);
3772 defsubr (&Smap_keymap);
3773 defsubr (&Scopy_keymap);
3774 defsubr (&Scommand_remapping);
3775 defsubr (&Skey_binding);
3776 defsubr (&Slocal_key_binding);
3777 defsubr (&Sglobal_key_binding);
3778 defsubr (&Sminor_mode_key_binding);
3779 defsubr (&Sdefine_key);
3780 defsubr (&Slookup_key);
3781 defsubr (&Sdefine_prefix_command);
3782 defsubr (&Suse_global_map);
3783 defsubr (&Suse_local_map);
3784 defsubr (&Scurrent_local_map);
3785 defsubr (&Scurrent_global_map);
3786 defsubr (&Scurrent_minor_mode_maps);
3787 defsubr (&Scurrent_active_maps);
3788 defsubr (&Saccessible_keymaps);
3789 defsubr (&Skey_description);
3790 defsubr (&Sdescribe_vector);
3791 defsubr (&Ssingle_key_description);
3792 defsubr (&Stext_char_description);
3793 defsubr (&Swhere_is_internal);
3794 defsubr (&Sdescribe_buffer_bindings);
3795 defsubr (&Sapropos_internal);
3798 void
3799 keys_of_keymap (void)
3801 initial_define_key (global_map, 033, "ESC-prefix");
3802 initial_define_key (global_map, Ctl ('X'), "Control-X-prefix");