* net/tramp-adb.el (tramp-adb-handle-process-file): Do not raise
[emacs.git] / src / keymap.c
blobc1416f8a7807a3f054ff6b4e9a46ff084bb463b2
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 (keymap ...) or (lambda ...)
731 then use itself. */
732 else if (EQ (XCAR (object), Qkeymap) || EQ (XCAR (object), Qlambda))
733 return object;
735 /* If the keymap contents looks like (menu-item name . DEFN)
736 or (menu-item name DEFN ...) then use DEFN.
737 This is a new format menu item. */
738 else if (EQ (XCAR (object), Qmenu_item))
740 if (CONSP (XCDR (object)))
742 Lisp_Object tem;
744 object = XCDR (XCDR (object));
745 tem = object;
746 if (CONSP (object))
747 object = XCAR (object);
749 /* If there's a `:filter FILTER', apply FILTER to the
750 menu-item's definition to get the real definition to
751 use. */
752 for (; CONSP (tem) && CONSP (XCDR (tem)); tem = XCDR (tem))
753 if (EQ (XCAR (tem), QCfilter) && autoload)
755 Lisp_Object filter;
756 filter = XCAR (XCDR (tem));
757 filter = list2 (filter, list2 (Qquote, object));
758 object = menu_item_eval_property (filter);
759 break;
762 else
763 /* Invalid keymap. */
764 return object;
767 /* If the keymap contents looks like (STRING . DEFN), use DEFN.
768 Keymap alist elements like (CHAR MENUSTRING . DEFN)
769 will be used by HierarKey menus. */
770 else if (STRINGP (XCAR (object)))
772 object = XCDR (object);
773 /* Also remove a menu help string, if any,
774 following the menu item name. */
775 if (CONSP (object) && STRINGP (XCAR (object)))
776 object = XCDR (object);
777 /* Also remove the sublist that caches key equivalences, if any. */
778 if (CONSP (object) && CONSP (XCAR (object)))
780 Lisp_Object carcar;
781 carcar = XCAR (XCAR (object));
782 if (NILP (carcar) || VECTORP (carcar))
783 object = XCDR (object);
787 /* If the contents are (KEYMAP . ELEMENT), go indirect. */
788 else if (KEYMAPP (XCAR (object)))
789 error ("Wow, indirect keymap entry!!");
790 else
791 return object;
795 static Lisp_Object
796 store_in_keymap (Lisp_Object keymap, register Lisp_Object idx, Lisp_Object def)
798 /* Flush any reverse-map cache. */
799 where_is_cache = Qnil;
800 where_is_cache_keymaps = Qt;
802 if (EQ (idx, Qkeymap))
803 error ("`keymap' is reserved for embedded parent maps");
805 /* If we are preparing to dump, and DEF is a menu element
806 with a menu item indicator, copy it to ensure it is not pure. */
807 if (CONSP (def) && PURE_P (def)
808 && (EQ (XCAR (def), Qmenu_item) || STRINGP (XCAR (def))))
809 def = Fcons (XCAR (def), XCDR (def));
811 if (!CONSP (keymap) || !EQ (XCAR (keymap), Qkeymap))
812 error ("attempt to define a key in a non-keymap");
814 /* If idx is a cons, and the car part is a character, idx must be of
815 the form (FROM-CHAR . TO-CHAR). */
816 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
817 CHECK_CHARACTER_CDR (idx);
818 else
819 /* If idx is a list (some sort of mouse click, perhaps?),
820 the index we want to use is the car of the list, which
821 ought to be a symbol. */
822 idx = EVENT_HEAD (idx);
824 /* If idx is a symbol, it might have modifiers, which need to
825 be put in the canonical order. */
826 if (SYMBOLP (idx))
827 idx = reorder_modifiers (idx);
828 else if (INTEGERP (idx))
829 /* Clobber the high bits that can be present on a machine
830 with more than 24 bits of integer. */
831 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
833 /* Scan the keymap for a binding of idx. */
835 Lisp_Object tail;
837 /* The cons after which we should insert new bindings. If the
838 keymap has a table element, we record its position here, so new
839 bindings will go after it; this way, the table will stay
840 towards the front of the alist and character lookups in dense
841 keymaps will remain fast. Otherwise, this just points at the
842 front of the keymap. */
843 Lisp_Object insertion_point;
845 insertion_point = keymap;
846 for (tail = XCDR (keymap); CONSP (tail); tail = XCDR (tail))
848 Lisp_Object elt;
850 elt = XCAR (tail);
851 if (VECTORP (elt))
853 if (NATNUMP (idx) && XFASTINT (idx) < ASIZE (elt))
855 CHECK_IMPURE (elt);
856 ASET (elt, XFASTINT (idx), def);
857 return def;
859 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
861 int from = XFASTINT (XCAR (idx));
862 int to = XFASTINT (XCDR (idx));
864 if (to >= ASIZE (elt))
865 to = ASIZE (elt) - 1;
866 for (; from <= to; from++)
867 ASET (elt, from, def);
868 if (to == XFASTINT (XCDR (idx)))
869 /* We have defined all keys in IDX. */
870 return def;
872 insertion_point = tail;
874 else if (CHAR_TABLE_P (elt))
876 /* Character codes with modifiers
877 are not included in a char-table.
878 All character codes without modifiers are included. */
879 if (NATNUMP (idx) && !(XFASTINT (idx) & CHAR_MODIFIER_MASK))
881 Faset (elt, idx,
882 /* `nil' has a special meaning for char-tables, so
883 we use something else to record an explicitly
884 unbound entry. */
885 NILP (def) ? Qt : def);
886 return def;
888 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
890 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
891 return def;
893 insertion_point = tail;
895 else if (CONSP (elt))
897 if (EQ (Qkeymap, XCAR (elt)))
898 { /* A sub keymap. This might be due to a lookup that found
899 two matching bindings (maybe because of a sub keymap).
900 It almost never happens (since the second binding normally
901 only happens in the inherited part of the keymap), but
902 if it does, we want to update the sub-keymap since the
903 main one might be temporary (built by access_keymap). */
904 tail = insertion_point = elt;
906 else if (EQ (idx, XCAR (elt)))
908 CHECK_IMPURE (elt);
909 XSETCDR (elt, def);
910 return def;
912 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
914 int from = XFASTINT (XCAR (idx));
915 int to = XFASTINT (XCDR (idx));
917 if (from <= XFASTINT (XCAR (elt))
918 && to >= XFASTINT (XCAR (elt)))
920 XSETCDR (elt, def);
921 if (from == to)
922 return def;
926 else if (EQ (elt, Qkeymap))
927 /* If we find a 'keymap' symbol in the spine of KEYMAP,
928 then we must have found the start of a second keymap
929 being used as the tail of KEYMAP, and a binding for IDX
930 should be inserted before it. */
931 goto keymap_end;
933 QUIT;
936 keymap_end:
937 /* We have scanned the entire keymap, and not found a binding for
938 IDX. Let's add one. */
940 Lisp_Object elt;
942 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
944 /* IDX specifies a range of characters, and not all of them
945 were handled yet, which means this keymap doesn't have a
946 char-table. So, we insert a char-table now. */
947 elt = Fmake_char_table (Qkeymap, Qnil);
948 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
950 else
951 elt = Fcons (idx, def);
952 CHECK_IMPURE (insertion_point);
953 XSETCDR (insertion_point, Fcons (elt, XCDR (insertion_point)));
957 return def;
960 static Lisp_Object
961 copy_keymap_item (Lisp_Object elt)
963 Lisp_Object res, tem;
965 if (!CONSP (elt))
966 return elt;
968 res = tem = elt;
970 /* Is this a new format menu item. */
971 if (EQ (XCAR (tem), Qmenu_item))
973 /* Copy cell with menu-item marker. */
974 res = elt = Fcons (XCAR (tem), XCDR (tem));
975 tem = XCDR (elt);
976 if (CONSP (tem))
978 /* Copy cell with menu-item name. */
979 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
980 elt = XCDR (elt);
981 tem = XCDR (elt);
983 if (CONSP (tem))
985 /* Copy cell with binding and if the binding is a keymap,
986 copy that. */
987 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
988 elt = XCDR (elt);
989 tem = XCAR (elt);
990 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
991 XSETCAR (elt, Fcopy_keymap (tem));
992 tem = XCDR (elt);
993 if (CONSP (tem) && CONSP (XCAR (tem)))
994 /* Delete cache for key equivalences. */
995 XSETCDR (elt, XCDR (tem));
998 else
1000 /* It may be an old format menu item.
1001 Skip the optional menu string. */
1002 if (STRINGP (XCAR (tem)))
1004 /* Copy the cell, since copy-alist didn't go this deep. */
1005 res = elt = Fcons (XCAR (tem), XCDR (tem));
1006 tem = XCDR (elt);
1007 /* Also skip the optional menu help string. */
1008 if (CONSP (tem) && STRINGP (XCAR (tem)))
1010 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
1011 elt = XCDR (elt);
1012 tem = XCDR (elt);
1014 /* There may also be a list that caches key equivalences.
1015 Just delete it for the new keymap. */
1016 if (CONSP (tem)
1017 && CONSP (XCAR (tem))
1018 && (NILP (XCAR (XCAR (tem)))
1019 || VECTORP (XCAR (XCAR (tem)))))
1021 XSETCDR (elt, XCDR (tem));
1022 tem = XCDR (tem);
1024 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
1025 XSETCDR (elt, Fcopy_keymap (tem));
1027 else if (EQ (XCAR (tem), Qkeymap))
1028 res = Fcopy_keymap (elt);
1030 return res;
1033 static void
1034 copy_keymap_1 (Lisp_Object chartable, Lisp_Object idx, Lisp_Object elt)
1036 Fset_char_table_range (chartable, idx, copy_keymap_item (elt));
1039 DEFUN ("copy-keymap", Fcopy_keymap, Scopy_keymap, 1, 1, 0,
1040 doc: /* Return a copy of the keymap KEYMAP.
1041 The copy starts out with the same definitions of KEYMAP,
1042 but changing either the copy or KEYMAP does not affect the other.
1043 Any key definitions that are subkeymaps are recursively copied.
1044 However, a key definition which is a symbol whose definition is a keymap
1045 is not copied. */)
1046 (Lisp_Object keymap)
1048 Lisp_Object copy, tail;
1049 keymap = get_keymap (keymap, 1, 0);
1050 copy = tail = list1 (Qkeymap);
1051 keymap = XCDR (keymap); /* Skip the `keymap' symbol. */
1053 while (CONSP (keymap) && !EQ (XCAR (keymap), Qkeymap))
1055 Lisp_Object elt = XCAR (keymap);
1056 if (CHAR_TABLE_P (elt))
1058 elt = Fcopy_sequence (elt);
1059 map_char_table (copy_keymap_1, Qnil, elt, elt);
1061 else if (VECTORP (elt))
1063 int i;
1064 elt = Fcopy_sequence (elt);
1065 for (i = 0; i < ASIZE (elt); i++)
1066 ASET (elt, i, copy_keymap_item (AREF (elt, i)));
1068 else if (CONSP (elt))
1070 if (EQ (XCAR (elt), Qkeymap))
1071 /* This is a sub keymap. */
1072 elt = Fcopy_keymap (elt);
1073 else
1074 elt = Fcons (XCAR (elt), copy_keymap_item (XCDR (elt)));
1076 XSETCDR (tail, list1 (elt));
1077 tail = XCDR (tail);
1078 keymap = XCDR (keymap);
1080 XSETCDR (tail, keymap);
1081 return copy;
1084 /* Simple Keymap mutators and accessors. */
1086 /* GC is possible in this function if it autoloads a keymap. */
1088 DEFUN ("define-key", Fdefine_key, Sdefine_key, 3, 3, 0,
1089 doc: /* In KEYMAP, define key sequence KEY as DEF.
1090 KEYMAP is a keymap.
1092 KEY is a string or a vector of symbols and characters, representing a
1093 sequence of keystrokes and events. Non-ASCII characters with codes
1094 above 127 (such as ISO Latin-1) can be represented by vectors.
1095 Two types of vector have special meanings:
1096 [remap COMMAND] remaps any key binding for COMMAND.
1097 [t] creates a default definition, which applies to any event with no
1098 other definition in KEYMAP.
1100 DEF is anything that can be a key's definition:
1101 nil (means key is undefined in this keymap),
1102 a command (a Lisp function suitable for interactive calling),
1103 a string (treated as a keyboard macro),
1104 a keymap (to define a prefix key),
1105 a symbol (when the key is looked up, the symbol will stand for its
1106 function definition, which should at that time be one of the above,
1107 or another symbol whose function definition is used, etc.),
1108 a cons (STRING . DEFN), meaning that DEFN is the definition
1109 (DEFN should be a valid definition in its own right),
1110 or a cons (MAP . CHAR), meaning use definition of CHAR in keymap MAP,
1111 or an extended menu item definition.
1112 (See info node `(elisp)Extended Menu Items'.)
1114 If KEYMAP is a sparse keymap with a binding for KEY, the existing
1115 binding is altered. If there is no binding for KEY, the new pair
1116 binding KEY to DEF is added at the front of KEYMAP. */)
1117 (Lisp_Object keymap, Lisp_Object key, Lisp_Object def)
1119 ptrdiff_t idx;
1120 Lisp_Object c;
1121 Lisp_Object cmd;
1122 bool metized = 0;
1123 int meta_bit;
1124 ptrdiff_t length;
1125 struct gcpro gcpro1, gcpro2, gcpro3;
1127 GCPRO3 (keymap, key, def);
1128 keymap = get_keymap (keymap, 1, 1);
1130 CHECK_VECTOR_OR_STRING (key);
1132 length = XFASTINT (Flength (key));
1133 if (length == 0)
1134 RETURN_UNGCPRO (Qnil);
1136 if (SYMBOLP (def) && !EQ (Vdefine_key_rebound_commands, Qt))
1137 Vdefine_key_rebound_commands = Fcons (def, Vdefine_key_rebound_commands);
1139 meta_bit = (VECTORP (key) || (STRINGP (key) && STRING_MULTIBYTE (key))
1140 ? meta_modifier : 0x80);
1142 if (VECTORP (def) && ASIZE (def) > 0 && CONSP (AREF (def, 0)))
1143 { /* DEF is apparently an XEmacs-style keyboard macro. */
1144 Lisp_Object tmp = Fmake_vector (make_number (ASIZE (def)), Qnil);
1145 ptrdiff_t i = ASIZE (def);
1146 while (--i >= 0)
1148 Lisp_Object defi = AREF (def, i);
1149 if (CONSP (defi) && lucid_event_type_list_p (defi))
1150 defi = Fevent_convert_list (defi);
1151 ASET (tmp, i, defi);
1153 def = tmp;
1156 idx = 0;
1157 while (1)
1159 c = Faref (key, make_number (idx));
1161 if (CONSP (c))
1163 /* C may be a Lucid style event type list or a cons (FROM .
1164 TO) specifying a range of characters. */
1165 if (lucid_event_type_list_p (c))
1166 c = Fevent_convert_list (c);
1167 else if (CHARACTERP (XCAR (c)))
1168 CHECK_CHARACTER_CDR (c);
1171 if (SYMBOLP (c))
1172 silly_event_symbol_error (c);
1174 if (INTEGERP (c)
1175 && (XINT (c) & meta_bit)
1176 && !metized)
1178 c = meta_prefix_char;
1179 metized = 1;
1181 else
1183 if (INTEGERP (c))
1184 XSETINT (c, XINT (c) & ~meta_bit);
1186 metized = 0;
1187 idx++;
1190 if (!INTEGERP (c) && !SYMBOLP (c)
1191 && (!CONSP (c)
1192 /* If C is a range, it must be a leaf. */
1193 || (INTEGERP (XCAR (c)) && idx != length)))
1194 message_with_string ("Key sequence contains invalid event %s", c, 1);
1196 if (idx == length)
1197 RETURN_UNGCPRO (store_in_keymap (keymap, c, def));
1199 cmd = access_keymap (keymap, c, 0, 1, 1);
1201 /* If this key is undefined, make it a prefix. */
1202 if (NILP (cmd))
1203 cmd = define_as_prefix (keymap, c);
1205 keymap = get_keymap (cmd, 0, 1);
1206 if (!CONSP (keymap))
1208 const char *trailing_esc = ((EQ (c, meta_prefix_char) && metized)
1209 ? (idx == 0 ? "ESC" : " ESC")
1210 : "");
1212 /* We must use Fkey_description rather than just passing key to
1213 error; key might be a vector, not a string. */
1214 error ("Key sequence %s starts with non-prefix key %s%s",
1215 SDATA (Fkey_description (key, Qnil)),
1216 SDATA (Fkey_description (Fsubstring (key, make_number (0),
1217 make_number (idx)),
1218 Qnil)),
1219 trailing_esc);
1224 /* This function may GC (it calls Fkey_binding). */
1226 DEFUN ("command-remapping", Fcommand_remapping, Scommand_remapping, 1, 3, 0,
1227 doc: /* Return the remapping for command COMMAND.
1228 Returns nil if COMMAND is not remapped (or not a symbol).
1230 If the optional argument POSITION is non-nil, it specifies a mouse
1231 position as returned by `event-start' and `event-end', and the
1232 remapping occurs in the keymaps associated with it. It can also be a
1233 number or marker, in which case the keymap properties at the specified
1234 buffer position instead of point are used. The KEYMAPS argument is
1235 ignored if POSITION is non-nil.
1237 If the optional argument KEYMAPS is non-nil, it should be a list of
1238 keymaps to search for command remapping. Otherwise, search for the
1239 remapping in all currently active keymaps. */)
1240 (Lisp_Object command, Lisp_Object position, Lisp_Object keymaps)
1242 if (!SYMBOLP (command))
1243 return Qnil;
1245 ASET (command_remapping_vector, 1, command);
1247 if (NILP (keymaps))
1248 command = Fkey_binding (command_remapping_vector, Qnil, Qt, position);
1249 else
1250 command = Flookup_key (Fcons (Qkeymap, keymaps),
1251 command_remapping_vector, Qnil);
1252 return INTEGERP (command) ? Qnil : command;
1255 /* Value is number if KEY is too long; nil if valid but has no definition. */
1256 /* GC is possible in this function. */
1258 DEFUN ("lookup-key", Flookup_key, Slookup_key, 2, 3, 0,
1259 doc: /* In keymap KEYMAP, look up key sequence KEY. Return the definition.
1260 A value of nil means undefined. See doc of `define-key'
1261 for kinds of definitions.
1263 A number as value means KEY is "too long";
1264 that is, characters or symbols in it except for the last one
1265 fail to be a valid sequence of prefix characters in KEYMAP.
1266 The number is how many characters at the front of KEY
1267 it takes to reach a non-prefix key.
1269 Normally, `lookup-key' ignores bindings for t, which act as default
1270 bindings, used when nothing else in the keymap applies; this makes it
1271 usable as a general function for probing keymaps. However, if the
1272 third optional argument ACCEPT-DEFAULT is non-nil, `lookup-key' will
1273 recognize the default bindings, just as `read-key-sequence' does. */)
1274 (Lisp_Object keymap, Lisp_Object key, Lisp_Object accept_default)
1276 ptrdiff_t idx;
1277 Lisp_Object cmd;
1278 Lisp_Object c;
1279 ptrdiff_t length;
1280 bool t_ok = !NILP (accept_default);
1281 struct gcpro gcpro1, gcpro2;
1283 GCPRO2 (keymap, key);
1284 keymap = get_keymap (keymap, 1, 1);
1286 CHECK_VECTOR_OR_STRING (key);
1288 length = XFASTINT (Flength (key));
1289 if (length == 0)
1290 RETURN_UNGCPRO (keymap);
1292 idx = 0;
1293 while (1)
1295 c = Faref (key, make_number (idx++));
1297 if (CONSP (c) && lucid_event_type_list_p (c))
1298 c = Fevent_convert_list (c);
1300 /* Turn the 8th bit of string chars into a meta modifier. */
1301 if (STRINGP (key) && XINT (c) & 0x80 && !STRING_MULTIBYTE (key))
1302 XSETINT (c, (XINT (c) | meta_modifier) & ~0x80);
1304 /* Allow string since binding for `menu-bar-select-buffer'
1305 includes the buffer name in the key sequence. */
1306 if (!INTEGERP (c) && !SYMBOLP (c) && !CONSP (c) && !STRINGP (c))
1307 message_with_string ("Key sequence contains invalid event %s", c, 1);
1309 cmd = access_keymap (keymap, c, t_ok, 0, 1);
1310 if (idx == length)
1311 RETURN_UNGCPRO (cmd);
1313 keymap = get_keymap (cmd, 0, 1);
1314 if (!CONSP (keymap))
1315 RETURN_UNGCPRO (make_number (idx));
1317 QUIT;
1321 /* Make KEYMAP define event C as a keymap (i.e., as a prefix).
1322 Assume that currently it does not define C at all.
1323 Return the keymap. */
1325 static Lisp_Object
1326 define_as_prefix (Lisp_Object keymap, Lisp_Object c)
1328 Lisp_Object cmd;
1330 cmd = Fmake_sparse_keymap (Qnil);
1331 store_in_keymap (keymap, c, cmd);
1333 return cmd;
1336 /* Append a key to the end of a key sequence. We always make a vector. */
1338 static Lisp_Object
1339 append_key (Lisp_Object key_sequence, Lisp_Object key)
1341 Lisp_Object args[2];
1343 args[0] = key_sequence;
1344 args[1] = list1 (key);
1345 return Fvconcat (2, args);
1348 /* Given a event type C which is a symbol,
1349 signal an error if is a mistake such as RET or M-RET or C-DEL, etc. */
1351 static void
1352 silly_event_symbol_error (Lisp_Object c)
1354 Lisp_Object parsed, base, name, assoc;
1355 int modifiers;
1357 parsed = parse_modifiers (c);
1358 modifiers = XFASTINT (XCAR (XCDR (parsed)));
1359 base = XCAR (parsed);
1360 name = Fsymbol_name (base);
1361 /* This alist includes elements such as ("RET" . "\\r"). */
1362 assoc = Fassoc (name, exclude_keys);
1364 if (! NILP (assoc))
1366 char new_mods[sizeof ("\\A-\\C-\\H-\\M-\\S-\\s-")];
1367 char *p = new_mods;
1368 Lisp_Object keystring;
1369 if (modifiers & alt_modifier)
1370 { *p++ = '\\'; *p++ = 'A'; *p++ = '-'; }
1371 if (modifiers & ctrl_modifier)
1372 { *p++ = '\\'; *p++ = 'C'; *p++ = '-'; }
1373 if (modifiers & hyper_modifier)
1374 { *p++ = '\\'; *p++ = 'H'; *p++ = '-'; }
1375 if (modifiers & meta_modifier)
1376 { *p++ = '\\'; *p++ = 'M'; *p++ = '-'; }
1377 if (modifiers & shift_modifier)
1378 { *p++ = '\\'; *p++ = 'S'; *p++ = '-'; }
1379 if (modifiers & super_modifier)
1380 { *p++ = '\\'; *p++ = 's'; *p++ = '-'; }
1381 *p = 0;
1383 c = reorder_modifiers (c);
1384 keystring = concat2 (build_string (new_mods), XCDR (assoc));
1386 error ((modifiers & ~meta_modifier
1387 ? "To bind the key %s, use [?%s], not [%s]"
1388 : "To bind the key %s, use \"%s\", not [%s]"),
1389 SDATA (SYMBOL_NAME (c)), SDATA (keystring),
1390 SDATA (SYMBOL_NAME (c)));
1394 /* Global, local, and minor mode keymap stuff. */
1396 /* We can't put these variables inside current_minor_maps, since under
1397 some systems, static gets macro-defined to be the empty string.
1398 Ickypoo. */
1399 static Lisp_Object *cmm_modes = NULL, *cmm_maps = NULL;
1400 static ptrdiff_t cmm_size = 0;
1402 /* Store a pointer to an array of the currently active minor modes in
1403 *modeptr, a pointer to an array of the keymaps of the currently
1404 active minor modes in *mapptr, and return the number of maps
1405 *mapptr contains.
1407 This function always returns a pointer to the same buffer, and may
1408 free or reallocate it, so if you want to keep it for a long time or
1409 hand it out to lisp code, copy it. This procedure will be called
1410 for every key sequence read, so the nice lispy approach (return a
1411 new assoclist, list, what have you) for each invocation would
1412 result in a lot of consing over time.
1414 If we used xrealloc/xmalloc and ran out of memory, they would throw
1415 back to the command loop, which would try to read a key sequence,
1416 which would call this function again, resulting in an infinite
1417 loop. Instead, we'll use realloc/malloc and silently truncate the
1418 list, let the key sequence be read, and hope some other piece of
1419 code signals the error. */
1420 ptrdiff_t
1421 current_minor_maps (Lisp_Object **modeptr, Lisp_Object **mapptr)
1423 ptrdiff_t i = 0;
1424 int list_number = 0;
1425 Lisp_Object alist, assoc, var, val;
1426 Lisp_Object emulation_alists;
1427 Lisp_Object lists[2];
1429 emulation_alists = Vemulation_mode_map_alists;
1430 lists[0] = Vminor_mode_overriding_map_alist;
1431 lists[1] = Vminor_mode_map_alist;
1433 for (list_number = 0; list_number < 2; list_number++)
1435 if (CONSP (emulation_alists))
1437 alist = XCAR (emulation_alists);
1438 emulation_alists = XCDR (emulation_alists);
1439 if (SYMBOLP (alist))
1440 alist = find_symbol_value (alist);
1441 list_number = -1;
1443 else
1444 alist = lists[list_number];
1446 for ( ; CONSP (alist); alist = XCDR (alist))
1447 if ((assoc = XCAR (alist), CONSP (assoc))
1448 && (var = XCAR (assoc), SYMBOLP (var))
1449 && (val = find_symbol_value (var), !EQ (val, Qunbound))
1450 && !NILP (val))
1452 Lisp_Object temp;
1454 /* If a variable has an entry in Vminor_mode_overriding_map_alist,
1455 and also an entry in Vminor_mode_map_alist,
1456 ignore the latter. */
1457 if (list_number == 1)
1459 val = assq_no_quit (var, lists[0]);
1460 if (!NILP (val))
1461 continue;
1464 if (i >= cmm_size)
1466 ptrdiff_t newsize, allocsize;
1467 Lisp_Object *newmodes, *newmaps;
1469 /* Check for size calculation overflow. Other code
1470 (e.g., read_key_sequence) adds 3 to the count
1471 later, so subtract 3 from the limit here. */
1472 if (min (PTRDIFF_MAX, SIZE_MAX) / (2 * sizeof *newmodes) - 3
1473 < cmm_size)
1474 break;
1476 newsize = cmm_size == 0 ? 30 : cmm_size * 2;
1477 allocsize = newsize * sizeof *newmodes;
1479 /* Use malloc here. See the comment above this function.
1480 Avoid realloc here; it causes spurious traps on GNU/Linux [KFS] */
1481 block_input ();
1482 newmodes = malloc (allocsize);
1483 if (newmodes)
1485 if (cmm_modes)
1487 memcpy (newmodes, cmm_modes,
1488 cmm_size * sizeof cmm_modes[0]);
1489 free (cmm_modes);
1491 cmm_modes = newmodes;
1494 newmaps = malloc (allocsize);
1495 if (newmaps)
1497 if (cmm_maps)
1499 memcpy (newmaps, cmm_maps,
1500 cmm_size * sizeof cmm_maps[0]);
1501 free (cmm_maps);
1503 cmm_maps = newmaps;
1505 unblock_input ();
1507 if (newmodes == NULL || newmaps == NULL)
1508 break;
1509 cmm_size = newsize;
1512 /* Get the keymap definition--or nil if it is not defined. */
1513 temp = Findirect_function (XCDR (assoc), Qt);
1514 if (!NILP (temp))
1516 cmm_modes[i] = var;
1517 cmm_maps [i] = temp;
1518 i++;
1523 if (modeptr) *modeptr = cmm_modes;
1524 if (mapptr) *mapptr = cmm_maps;
1525 return i;
1528 /* Return the offset of POSITION, a click position, in the style of
1529 the respective argument of Fkey_binding. */
1530 static ptrdiff_t
1531 click_position (Lisp_Object position)
1533 EMACS_INT pos = (INTEGERP (position) ? XINT (position)
1534 : MARKERP (position) ? marker_position (position)
1535 : PT);
1536 if (! (BEGV <= pos && pos <= ZV))
1537 args_out_of_range (Fcurrent_buffer (), position);
1538 return pos;
1541 DEFUN ("current-active-maps", Fcurrent_active_maps, Scurrent_active_maps,
1542 0, 2, 0,
1543 doc: /* Return a list of the currently active keymaps.
1544 OLP if non-nil indicates that we should obey `overriding-local-map' and
1545 `overriding-terminal-local-map'. POSITION can specify a click position
1546 like in the respective argument of `key-binding'. */)
1547 (Lisp_Object olp, Lisp_Object position)
1549 ptrdiff_t count = SPECPDL_INDEX ();
1551 Lisp_Object keymaps = list1 (current_global_map);
1553 /* If a mouse click position is given, our variables are based on
1554 the buffer clicked on, not the current buffer. So we may have to
1555 switch the buffer here. */
1557 if (CONSP (position))
1559 Lisp_Object window;
1561 window = POSN_WINDOW (position);
1563 if (WINDOWP (window)
1564 && BUFFERP (XWINDOW (window)->contents)
1565 && XBUFFER (XWINDOW (window)->contents) != current_buffer)
1567 /* Arrange to go back to the original buffer once we're done
1568 processing the key sequence. We don't use
1569 save_excursion_{save,restore} here, in analogy to
1570 `read-key-sequence' to avoid saving point. Maybe this
1571 would not be a problem here, but it is easier to keep
1572 things the same.
1574 record_unwind_current_buffer ();
1575 set_buffer_internal (XBUFFER (XWINDOW (window)->contents));
1579 if (!NILP (olp)
1580 /* The doc said that overriding-terminal-local-map should
1581 override overriding-local-map. The code used them both,
1582 but it seems clearer to use just one. rms, jan 2005. */
1583 && NILP (KVAR (current_kboard, Voverriding_terminal_local_map))
1584 && !NILP (Voverriding_local_map))
1585 keymaps = Fcons (Voverriding_local_map, keymaps);
1587 if (NILP (XCDR (keymaps)))
1589 Lisp_Object *maps;
1590 int nmaps, i;
1591 ptrdiff_t pt = click_position (position);
1592 /* This usually returns the buffer's local map,
1593 but that can be overridden by a `local-map' property. */
1594 Lisp_Object local_map = get_local_map (pt, current_buffer, Qlocal_map);
1595 /* This returns nil unless there is a `keymap' property. */
1596 Lisp_Object keymap = get_local_map (pt, current_buffer, Qkeymap);
1597 Lisp_Object otlp = KVAR (current_kboard, Voverriding_terminal_local_map);
1599 if (CONSP (position))
1601 Lisp_Object string = POSN_STRING (position);
1603 /* For a mouse click, get the local text-property keymap
1604 of the place clicked on, rather than point. */
1606 if (POSN_INBUFFER_P (position))
1608 Lisp_Object pos;
1610 pos = POSN_BUFFER_POSN (position);
1611 if (INTEGERP (pos)
1612 && XINT (pos) >= BEG && XINT (pos) <= Z)
1614 local_map = get_local_map (XINT (pos),
1615 current_buffer, Qlocal_map);
1617 keymap = get_local_map (XINT (pos),
1618 current_buffer, Qkeymap);
1622 /* If on a mode line string with a local keymap,
1623 or for a click on a string, i.e. overlay string or a
1624 string displayed via the `display' property,
1625 consider `local-map' and `keymap' properties of
1626 that string. */
1628 if (CONSP (string) && STRINGP (XCAR (string)))
1630 Lisp_Object pos, map;
1632 pos = XCDR (string);
1633 string = XCAR (string);
1634 if (INTEGERP (pos)
1635 && XINT (pos) >= 0
1636 && XINT (pos) < SCHARS (string))
1638 map = Fget_text_property (pos, Qlocal_map, string);
1639 if (!NILP (map))
1640 local_map = map;
1642 map = Fget_text_property (pos, Qkeymap, string);
1643 if (!NILP (map))
1644 keymap = map;
1650 if (!NILP (local_map))
1651 keymaps = Fcons (local_map, keymaps);
1653 /* Now put all the minor mode keymaps on the list. */
1654 nmaps = current_minor_maps (0, &maps);
1656 for (i = --nmaps; i >= 0; i--)
1657 if (!NILP (maps[i]))
1658 keymaps = Fcons (maps[i], keymaps);
1660 if (!NILP (keymap))
1661 keymaps = Fcons (keymap, keymaps);
1663 if (!NILP (olp) && !NILP (otlp))
1664 keymaps = Fcons (otlp, keymaps);
1667 unbind_to (count, Qnil);
1669 return keymaps;
1672 /* GC is possible in this function if it autoloads a keymap. */
1674 DEFUN ("key-binding", Fkey_binding, Skey_binding, 1, 4, 0,
1675 doc: /* Return the binding for command KEY in current keymaps.
1676 KEY is a string or vector, a sequence of keystrokes.
1677 The binding is probably a symbol with a function definition.
1679 Normally, `key-binding' ignores bindings for t, which act as default
1680 bindings, used when nothing else in the keymap applies; this makes it
1681 usable as a general function for probing keymaps. However, if the
1682 optional second argument ACCEPT-DEFAULT is non-nil, `key-binding' does
1683 recognize the default bindings, just as `read-key-sequence' does.
1685 Like the normal command loop, `key-binding' will remap the command
1686 resulting from looking up KEY by looking up the command in the
1687 current keymaps. However, if the optional third argument NO-REMAP
1688 is non-nil, `key-binding' returns the unmapped command.
1690 If KEY is a key sequence initiated with the mouse, the used keymaps
1691 will depend on the clicked mouse position with regard to the buffer
1692 and possible local keymaps on strings.
1694 If the optional argument POSITION is non-nil, it specifies a mouse
1695 position as returned by `event-start' and `event-end', and the lookup
1696 occurs in the keymaps associated with it instead of KEY. It can also
1697 be a number or marker, in which case the keymap properties at the
1698 specified buffer position instead of point are used.
1700 (Lisp_Object key, Lisp_Object accept_default, Lisp_Object no_remap, Lisp_Object position)
1702 Lisp_Object value;
1704 if (NILP (position) && VECTORP (key))
1706 Lisp_Object event
1707 /* mouse events may have a symbolic prefix indicating the
1708 scrollbar or mode line */
1709 = AREF (key, SYMBOLP (AREF (key, 0)) && ASIZE (key) > 1 ? 1 : 0);
1711 /* We are not interested in locations without event data */
1713 if (EVENT_HAS_PARAMETERS (event) && CONSP (XCDR (event)))
1715 Lisp_Object kind = EVENT_HEAD_KIND (EVENT_HEAD (event));
1716 if (EQ (kind, Qmouse_click))
1717 position = EVENT_START (event);
1721 value = Flookup_key (Fcons (Qkeymap, Fcurrent_active_maps (Qt, position)),
1722 key, accept_default);
1724 if (NILP (value) || INTEGERP (value))
1725 return Qnil;
1727 /* If the result of the ordinary keymap lookup is an interactive
1728 command, look for a key binding (ie. remapping) for that command. */
1730 if (NILP (no_remap) && SYMBOLP (value))
1732 Lisp_Object value1;
1733 if (value1 = Fcommand_remapping (value, position, Qnil), !NILP (value1))
1734 value = value1;
1737 return value;
1740 /* GC is possible in this function if it autoloads a keymap. */
1742 DEFUN ("local-key-binding", Flocal_key_binding, Slocal_key_binding, 1, 2, 0,
1743 doc: /* Return the binding for command KEYS in current local keymap only.
1744 KEYS is a string or vector, a sequence of keystrokes.
1745 The binding is probably a symbol with a function definition.
1747 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1748 bindings; see the description of `lookup-key' for more details about this. */)
1749 (Lisp_Object keys, Lisp_Object accept_default)
1751 register Lisp_Object map;
1752 map = BVAR (current_buffer, keymap);
1753 if (NILP (map))
1754 return Qnil;
1755 return Flookup_key (map, keys, accept_default);
1758 /* GC is possible in this function if it autoloads a keymap. */
1760 DEFUN ("global-key-binding", Fglobal_key_binding, Sglobal_key_binding, 1, 2, 0,
1761 doc: /* Return the binding for command KEYS in current global keymap only.
1762 KEYS is a string or vector, a sequence of keystrokes.
1763 The binding is probably a symbol with a function definition.
1764 This function's return values are the same as those of `lookup-key'
1765 \(which see).
1767 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1768 bindings; see the description of `lookup-key' for more details about this. */)
1769 (Lisp_Object keys, Lisp_Object accept_default)
1771 return Flookup_key (current_global_map, keys, accept_default);
1774 /* GC is possible in this function if it autoloads a keymap. */
1776 DEFUN ("minor-mode-key-binding", Fminor_mode_key_binding, Sminor_mode_key_binding, 1, 2, 0,
1777 doc: /* Find the visible minor mode bindings of KEY.
1778 Return an alist of pairs (MODENAME . BINDING), where MODENAME is
1779 the symbol which names the minor mode binding KEY, and BINDING is
1780 KEY's definition in that mode. In particular, if KEY has no
1781 minor-mode bindings, return nil. If the first binding is a
1782 non-prefix, all subsequent bindings will be omitted, since they would
1783 be ignored. Similarly, the list doesn't include non-prefix bindings
1784 that come after prefix bindings.
1786 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1787 bindings; see the description of `lookup-key' for more details about this. */)
1788 (Lisp_Object key, Lisp_Object accept_default)
1790 Lisp_Object *modes, *maps;
1791 int nmaps;
1792 Lisp_Object binding;
1793 int i, j;
1794 struct gcpro gcpro1, gcpro2;
1796 nmaps = current_minor_maps (&modes, &maps);
1797 /* Note that all these maps are GCPRO'd
1798 in the places where we found them. */
1800 binding = Qnil;
1801 GCPRO2 (key, binding);
1803 for (i = j = 0; i < nmaps; i++)
1804 if (!NILP (maps[i])
1805 && !NILP (binding = Flookup_key (maps[i], key, accept_default))
1806 && !INTEGERP (binding))
1808 if (KEYMAPP (binding))
1809 maps[j++] = Fcons (modes[i], binding);
1810 else if (j == 0)
1811 RETURN_UNGCPRO (list1 (Fcons (modes[i], binding)));
1814 UNGCPRO;
1815 return Flist (j, maps);
1818 DEFUN ("define-prefix-command", Fdefine_prefix_command, Sdefine_prefix_command, 1, 3, 0,
1819 doc: /* Define COMMAND as a prefix command. COMMAND should be a symbol.
1820 A new sparse keymap is stored as COMMAND's function definition and its value.
1821 If a second optional argument MAPVAR is given, the map is stored as
1822 its value instead of as COMMAND's value; but COMMAND is still defined
1823 as a function.
1824 The third optional argument NAME, if given, supplies a menu name
1825 string for the map. This is required to use the keymap as a menu.
1826 This function returns COMMAND. */)
1827 (Lisp_Object command, Lisp_Object mapvar, Lisp_Object name)
1829 Lisp_Object map;
1830 map = Fmake_sparse_keymap (name);
1831 Ffset (command, map);
1832 if (!NILP (mapvar))
1833 Fset (mapvar, map);
1834 else
1835 Fset (command, map);
1836 return command;
1839 DEFUN ("use-global-map", Fuse_global_map, Suse_global_map, 1, 1, 0,
1840 doc: /* Select KEYMAP as the global keymap. */)
1841 (Lisp_Object keymap)
1843 keymap = get_keymap (keymap, 1, 1);
1844 current_global_map = keymap;
1846 return Qnil;
1849 DEFUN ("use-local-map", Fuse_local_map, Suse_local_map, 1, 1, 0,
1850 doc: /* Select KEYMAP as the local keymap.
1851 If KEYMAP is nil, that means no local keymap. */)
1852 (Lisp_Object keymap)
1854 if (!NILP (keymap))
1855 keymap = get_keymap (keymap, 1, 1);
1857 bset_keymap (current_buffer, keymap);
1859 return Qnil;
1862 DEFUN ("current-local-map", Fcurrent_local_map, Scurrent_local_map, 0, 0, 0,
1863 doc: /* Return current buffer's local keymap, or nil if it has none.
1864 Normally the local keymap is set by the major mode with `use-local-map'. */)
1865 (void)
1867 return BVAR (current_buffer, keymap);
1870 DEFUN ("current-global-map", Fcurrent_global_map, Scurrent_global_map, 0, 0, 0,
1871 doc: /* Return the current global keymap. */)
1872 (void)
1874 return current_global_map;
1877 DEFUN ("current-minor-mode-maps", Fcurrent_minor_mode_maps, Scurrent_minor_mode_maps, 0, 0, 0,
1878 doc: /* Return a list of keymaps for the minor modes of the current buffer. */)
1879 (void)
1881 Lisp_Object *maps;
1882 int nmaps = current_minor_maps (0, &maps);
1884 return Flist (nmaps, maps);
1887 /* Help functions for describing and documenting keymaps. */
1889 struct accessible_keymaps_data {
1890 Lisp_Object maps, tail, thisseq;
1891 /* Does the current sequence end in the meta-prefix-char? */
1892 bool is_metized;
1895 static void
1896 accessible_keymaps_1 (Lisp_Object key, Lisp_Object cmd, Lisp_Object args, void *data)
1897 /* Use void* data to be compatible with map_keymap_function_t. */
1899 struct accessible_keymaps_data *d = data; /* Cast! */
1900 Lisp_Object maps = d->maps;
1901 Lisp_Object tail = d->tail;
1902 Lisp_Object thisseq = d->thisseq;
1903 bool is_metized = d->is_metized && INTEGERP (key);
1904 Lisp_Object tem;
1906 cmd = get_keymap (get_keyelt (cmd, 0), 0, 0);
1907 if (NILP (cmd))
1908 return;
1910 /* Look for and break cycles. */
1911 while (!NILP (tem = Frassq (cmd, maps)))
1913 Lisp_Object prefix = XCAR (tem);
1914 ptrdiff_t lim = XINT (Flength (XCAR (tem)));
1915 if (lim <= XINT (Flength (thisseq)))
1916 { /* This keymap was already seen with a smaller prefix. */
1917 ptrdiff_t i = 0;
1918 while (i < lim && EQ (Faref (prefix, make_number (i)),
1919 Faref (thisseq, make_number (i))))
1920 i++;
1921 if (i >= lim)
1922 /* `prefix' is a prefix of `thisseq' => there's a cycle. */
1923 return;
1925 /* This occurrence of `cmd' in `maps' does not correspond to a cycle,
1926 but maybe `cmd' occurs again further down in `maps', so keep
1927 looking. */
1928 maps = XCDR (Fmemq (tem, maps));
1931 /* If the last key in thisseq is meta-prefix-char,
1932 turn it into a meta-ized keystroke. We know
1933 that the event we're about to append is an
1934 ascii keystroke since we're processing a
1935 keymap table. */
1936 if (is_metized)
1938 int meta_bit = meta_modifier;
1939 Lisp_Object last = make_number (XINT (Flength (thisseq)) - 1);
1940 tem = Fcopy_sequence (thisseq);
1942 Faset (tem, last, make_number (XINT (key) | meta_bit));
1944 /* This new sequence is the same length as
1945 thisseq, so stick it in the list right
1946 after this one. */
1947 XSETCDR (tail,
1948 Fcons (Fcons (tem, cmd), XCDR (tail)));
1950 else
1952 tem = append_key (thisseq, key);
1953 nconc2 (tail, list1 (Fcons (tem, cmd)));
1957 /* This function cannot GC. */
1959 DEFUN ("accessible-keymaps", Faccessible_keymaps, Saccessible_keymaps,
1960 1, 2, 0,
1961 doc: /* Find all keymaps accessible via prefix characters from KEYMAP.
1962 Returns a list of elements of the form (KEYS . MAP), where the sequence
1963 KEYS starting from KEYMAP gets you to MAP. These elements are ordered
1964 so that the KEYS increase in length. The first element is ([] . KEYMAP).
1965 An optional argument PREFIX, if non-nil, should be a key sequence;
1966 then the value includes only maps for prefixes that start with PREFIX. */)
1967 (Lisp_Object keymap, Lisp_Object prefix)
1969 Lisp_Object maps, tail;
1970 EMACS_INT prefixlen = XFASTINT (Flength (prefix));
1972 /* no need for gcpro because we don't autoload any keymaps. */
1974 if (!NILP (prefix))
1976 /* If a prefix was specified, start with the keymap (if any) for
1977 that prefix, so we don't waste time considering other prefixes. */
1978 Lisp_Object tem;
1979 tem = Flookup_key (keymap, prefix, Qt);
1980 /* Flookup_key may give us nil, or a number,
1981 if the prefix is not defined in this particular map.
1982 It might even give us a list that isn't a keymap. */
1983 tem = get_keymap (tem, 0, 0);
1984 /* If the keymap is autoloaded `tem' is not a cons-cell, but we still
1985 want to return it. */
1986 if (!NILP (tem))
1988 /* Convert PREFIX to a vector now, so that later on
1989 we don't have to deal with the possibility of a string. */
1990 if (STRINGP (prefix))
1992 int i, i_byte, c;
1993 Lisp_Object copy;
1995 copy = Fmake_vector (make_number (SCHARS (prefix)), Qnil);
1996 for (i = 0, i_byte = 0; i < SCHARS (prefix);)
1998 int i_before = i;
2000 FETCH_STRING_CHAR_ADVANCE (c, prefix, i, i_byte);
2001 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2002 c ^= 0200 | meta_modifier;
2003 ASET (copy, i_before, make_number (c));
2005 prefix = copy;
2007 maps = list1 (Fcons (prefix, tem));
2009 else
2010 return Qnil;
2012 else
2013 maps = list1 (Fcons (zero_vector, get_keymap (keymap, 1, 0)));
2015 /* For each map in the list maps,
2016 look at any other maps it points to,
2017 and stick them at the end if they are not already in the list.
2019 This is a breadth-first traversal, where tail is the queue of
2020 nodes, and maps accumulates a list of all nodes visited. */
2022 for (tail = maps; CONSP (tail); tail = XCDR (tail))
2024 struct accessible_keymaps_data data;
2025 register Lisp_Object thismap = Fcdr (XCAR (tail));
2026 Lisp_Object last;
2028 data.thisseq = Fcar (XCAR (tail));
2029 data.maps = maps;
2030 data.tail = tail;
2031 last = make_number (XINT (Flength (data.thisseq)) - 1);
2032 /* Does the current sequence end in the meta-prefix-char? */
2033 data.is_metized = (XINT (last) >= 0
2034 /* Don't metize the last char of PREFIX. */
2035 && XINT (last) >= prefixlen
2036 && EQ (Faref (data.thisseq, last), meta_prefix_char));
2038 /* Since we can't run lisp code, we can't scan autoloaded maps. */
2039 if (CONSP (thismap))
2040 map_keymap (thismap, accessible_keymaps_1, Qnil, &data, 0);
2042 return maps;
2044 static Lisp_Object Qsingle_key_description, Qkey_description;
2046 /* This function cannot GC. */
2048 DEFUN ("key-description", Fkey_description, Skey_description, 1, 2, 0,
2049 doc: /* Return a pretty description of key-sequence KEYS.
2050 Optional arg PREFIX is the sequence of keys leading up to KEYS.
2051 For example, [?\C-x ?l] is converted into the string \"C-x l\".
2053 For an approximate inverse of this, see `kbd'. */)
2054 (Lisp_Object keys, Lisp_Object prefix)
2056 ptrdiff_t len = 0;
2057 EMACS_INT i;
2058 ptrdiff_t i_byte;
2059 Lisp_Object *args;
2060 EMACS_INT size = XINT (Flength (keys));
2061 Lisp_Object list;
2062 Lisp_Object sep = build_string (" ");
2063 Lisp_Object key;
2064 Lisp_Object result;
2065 bool add_meta = 0;
2066 USE_SAFE_ALLOCA;
2068 if (!NILP (prefix))
2069 size += XINT (Flength (prefix));
2071 /* This has one extra element at the end that we don't pass to Fconcat. */
2072 if (min (PTRDIFF_MAX, SIZE_MAX) / word_size / 4 < size)
2073 memory_full (SIZE_MAX);
2074 SAFE_ALLOCA_LISP (args, size * 4);
2076 /* In effect, this computes
2077 (mapconcat 'single-key-description keys " ")
2078 but we shouldn't use mapconcat because it can do GC. */
2080 next_list:
2081 if (!NILP (prefix))
2082 list = prefix, prefix = Qnil;
2083 else if (!NILP (keys))
2084 list = keys, keys = Qnil;
2085 else
2087 if (add_meta)
2089 args[len] = Fsingle_key_description (meta_prefix_char, Qnil);
2090 result = Fconcat (len + 1, args);
2092 else if (len == 0)
2093 result = empty_unibyte_string;
2094 else
2095 result = Fconcat (len - 1, args);
2096 SAFE_FREE ();
2097 return result;
2100 if (STRINGP (list))
2101 size = SCHARS (list);
2102 else if (VECTORP (list))
2103 size = ASIZE (list);
2104 else if (CONSP (list))
2105 size = XINT (Flength (list));
2106 else
2107 wrong_type_argument (Qarrayp, list);
2109 i = i_byte = 0;
2111 while (i < size)
2113 if (STRINGP (list))
2115 int c;
2116 FETCH_STRING_CHAR_ADVANCE (c, list, i, i_byte);
2117 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2118 c ^= 0200 | meta_modifier;
2119 XSETFASTINT (key, c);
2121 else if (VECTORP (list))
2123 key = AREF (list, i); i++;
2125 else
2127 key = XCAR (list);
2128 list = XCDR (list);
2129 i++;
2132 if (add_meta)
2134 if (!INTEGERP (key)
2135 || EQ (key, meta_prefix_char)
2136 || (XINT (key) & meta_modifier))
2138 args[len++] = Fsingle_key_description (meta_prefix_char, Qnil);
2139 args[len++] = sep;
2140 if (EQ (key, meta_prefix_char))
2141 continue;
2143 else
2144 XSETINT (key, XINT (key) | meta_modifier);
2145 add_meta = 0;
2147 else if (EQ (key, meta_prefix_char))
2149 add_meta = 1;
2150 continue;
2152 args[len++] = Fsingle_key_description (key, Qnil);
2153 args[len++] = sep;
2155 goto next_list;
2159 char *
2160 push_key_description (EMACS_INT ch, char *p)
2162 int c, c2;
2163 bool tab_as_ci;
2165 /* Clear all the meaningless bits above the meta bit. */
2166 c = ch & (meta_modifier | ~ - meta_modifier);
2167 c2 = c & ~(alt_modifier | ctrl_modifier | hyper_modifier
2168 | meta_modifier | shift_modifier | super_modifier);
2170 if (! CHARACTERP (make_number (c2)))
2172 /* KEY_DESCRIPTION_SIZE is large enough for this. */
2173 p += sprintf (p, "[%d]", c);
2174 return p;
2177 tab_as_ci = (c2 == '\t' && (c & meta_modifier));
2179 if (c & alt_modifier)
2181 *p++ = 'A';
2182 *p++ = '-';
2183 c -= alt_modifier;
2185 if ((c & ctrl_modifier) != 0
2186 || (c2 < ' ' && c2 != 27 && c2 != '\t' && c2 != Ctl ('M'))
2187 || tab_as_ci)
2189 *p++ = 'C';
2190 *p++ = '-';
2191 c &= ~ctrl_modifier;
2193 if (c & hyper_modifier)
2195 *p++ = 'H';
2196 *p++ = '-';
2197 c -= hyper_modifier;
2199 if (c & meta_modifier)
2201 *p++ = 'M';
2202 *p++ = '-';
2203 c -= meta_modifier;
2205 if (c & shift_modifier)
2207 *p++ = 'S';
2208 *p++ = '-';
2209 c -= shift_modifier;
2211 if (c & super_modifier)
2213 *p++ = 's';
2214 *p++ = '-';
2215 c -= super_modifier;
2217 if (c < 040)
2219 if (c == 033)
2221 *p++ = 'E';
2222 *p++ = 'S';
2223 *p++ = 'C';
2225 else if (tab_as_ci)
2227 *p++ = 'i';
2229 else if (c == '\t')
2231 *p++ = 'T';
2232 *p++ = 'A';
2233 *p++ = 'B';
2235 else if (c == Ctl ('M'))
2237 *p++ = 'R';
2238 *p++ = 'E';
2239 *p++ = 'T';
2241 else
2243 /* `C-' already added above. */
2244 if (c > 0 && c <= Ctl ('Z'))
2245 *p++ = c + 0140;
2246 else
2247 *p++ = c + 0100;
2250 else if (c == 0177)
2252 *p++ = 'D';
2253 *p++ = 'E';
2254 *p++ = 'L';
2256 else if (c == ' ')
2258 *p++ = 'S';
2259 *p++ = 'P';
2260 *p++ = 'C';
2262 else if (c < 128)
2263 *p++ = c;
2264 else
2266 /* Now we are sure that C is a valid character code. */
2267 p += CHAR_STRING (c, (unsigned char *) p);
2270 return p;
2273 /* This function cannot GC. */
2275 DEFUN ("single-key-description", Fsingle_key_description,
2276 Ssingle_key_description, 1, 2, 0,
2277 doc: /* Return a pretty description of command character KEY.
2278 Control characters turn into C-whatever, etc.
2279 Optional argument NO-ANGLES non-nil means don't put angle brackets
2280 around function keys and event symbols. */)
2281 (Lisp_Object key, Lisp_Object no_angles)
2283 if (CONSP (key) && lucid_event_type_list_p (key))
2284 key = Fevent_convert_list (key);
2286 if (CONSP (key) && INTEGERP (XCAR (key)) && INTEGERP (XCDR (key)))
2287 /* An interval from a map-char-table. */
2288 return concat3 (Fsingle_key_description (XCAR (key), no_angles),
2289 build_string (".."),
2290 Fsingle_key_description (XCDR (key), no_angles));
2292 key = EVENT_HEAD (key);
2294 if (INTEGERP (key)) /* Normal character. */
2296 char tem[KEY_DESCRIPTION_SIZE];
2297 char *p = push_key_description (XINT (key), tem);
2298 *p = 0;
2299 return make_specified_string (tem, -1, p - tem, 1);
2301 else if (SYMBOLP (key)) /* Function key or event-symbol. */
2303 if (NILP (no_angles))
2305 Lisp_Object result;
2306 USE_SAFE_ALLOCA;
2307 char *buffer = SAFE_ALLOCA (sizeof "<>"
2308 + SBYTES (SYMBOL_NAME (key)));
2309 esprintf (buffer, "<%s>", SDATA (SYMBOL_NAME (key)));
2310 result = build_string (buffer);
2311 SAFE_FREE ();
2312 return result;
2314 else
2315 return Fsymbol_name (key);
2317 else if (STRINGP (key)) /* Buffer names in the menubar. */
2318 return Fcopy_sequence (key);
2319 else
2320 error ("KEY must be an integer, cons, symbol, or string");
2323 static char *
2324 push_text_char_description (register unsigned int c, register char *p)
2326 if (c >= 0200)
2328 *p++ = 'M';
2329 *p++ = '-';
2330 c -= 0200;
2332 if (c < 040)
2334 *p++ = '^';
2335 *p++ = c + 64; /* 'A' - 1 */
2337 else if (c == 0177)
2339 *p++ = '^';
2340 *p++ = '?';
2342 else
2343 *p++ = c;
2344 return p;
2347 /* This function cannot GC. */
2349 DEFUN ("text-char-description", Ftext_char_description, Stext_char_description, 1, 1, 0,
2350 doc: /* Return a pretty description of file-character CHARACTER.
2351 Control characters turn into "^char", etc. This differs from
2352 `single-key-description' which turns them into "C-char".
2353 Also, this function recognizes the 2**7 bit as the Meta character,
2354 whereas `single-key-description' uses the 2**27 bit for Meta.
2355 See Info node `(elisp)Describing Characters' for examples. */)
2356 (Lisp_Object character)
2358 /* Currently MAX_MULTIBYTE_LENGTH is 4 (< 6). */
2359 char str[6];
2360 int c;
2362 CHECK_CHARACTER (character);
2364 c = XINT (character);
2365 if (!ASCII_CHAR_P (c))
2367 int len = CHAR_STRING (c, (unsigned char *) str);
2369 return make_multibyte_string (str, 1, len);
2372 *push_text_char_description (c & 0377, str) = 0;
2374 return build_string (str);
2377 static int where_is_preferred_modifier;
2379 /* Return 0 if SEQ uses non-preferred modifiers or non-char events.
2380 Else, return 2 if SEQ uses the where_is_preferred_modifier,
2381 and 1 otherwise. */
2382 static int
2383 preferred_sequence_p (Lisp_Object seq)
2385 EMACS_INT i;
2386 EMACS_INT len = XFASTINT (Flength (seq));
2387 int result = 1;
2389 for (i = 0; i < len; i++)
2391 Lisp_Object ii, elt;
2393 XSETFASTINT (ii, i);
2394 elt = Faref (seq, ii);
2396 if (!INTEGERP (elt))
2397 return 0;
2398 else
2400 int modifiers = XINT (elt) & (CHAR_MODIFIER_MASK & ~CHAR_META);
2401 if (modifiers == where_is_preferred_modifier)
2402 result = 2;
2403 else if (modifiers)
2404 return 0;
2408 return result;
2412 /* where-is - finding a command in a set of keymaps. */
2414 static void where_is_internal_1 (Lisp_Object key, Lisp_Object binding,
2415 Lisp_Object args, void *data);
2417 /* Like Flookup_key, but uses a list of keymaps SHADOW instead of a single map.
2418 Returns the first non-nil binding found in any of those maps.
2419 If REMAP is true, pass the result of the lookup through command
2420 remapping before returning it. */
2422 static Lisp_Object
2423 shadow_lookup (Lisp_Object shadow, Lisp_Object key, Lisp_Object flag,
2424 bool remap)
2426 Lisp_Object tail, value;
2428 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2430 value = Flookup_key (XCAR (tail), key, flag);
2431 if (NATNUMP (value))
2433 value = Flookup_key (XCAR (tail),
2434 Fsubstring (key, make_number (0), value), flag);
2435 if (!NILP (value))
2436 return Qnil;
2438 else if (!NILP (value))
2440 Lisp_Object remapping;
2441 if (remap && SYMBOLP (value)
2442 && (remapping = Fcommand_remapping (value, Qnil, shadow),
2443 !NILP (remapping)))
2444 return remapping;
2445 else
2446 return value;
2449 return Qnil;
2452 static Lisp_Object Vmouse_events;
2454 struct where_is_internal_data {
2455 Lisp_Object definition, this, last;
2456 bool last_is_meta, noindirect;
2457 Lisp_Object sequences;
2460 /* This function can't GC, AFAIK. */
2461 /* Return the list of bindings found. This list is ordered "longest
2462 to shortest". It may include bindings that are actually shadowed
2463 by others, as well as duplicate bindings and remapping bindings.
2464 The list returned is potentially shared with where_is_cache, so
2465 be careful not to modify it via side-effects. */
2467 static Lisp_Object
2468 where_is_internal (Lisp_Object definition, Lisp_Object keymaps,
2469 bool noindirect, bool nomenus)
2471 Lisp_Object maps = Qnil;
2472 Lisp_Object found;
2473 struct where_is_internal_data data;
2475 /* Only important use of caching is for the menubar
2476 (i.e. where-is-internal called with (def nil t nil nil)). */
2477 if (nomenus && !noindirect)
2479 /* Check heuristic-consistency of the cache. */
2480 if (NILP (Fequal (keymaps, where_is_cache_keymaps)))
2481 where_is_cache = Qnil;
2483 if (NILP (where_is_cache))
2485 /* We need to create the cache. */
2486 Lisp_Object args[2];
2487 where_is_cache = Fmake_hash_table (0, args);
2488 where_is_cache_keymaps = Qt;
2490 else
2491 /* We can reuse the cache. */
2492 return Fgethash (definition, where_is_cache, Qnil);
2494 else
2495 /* Kill the cache so that where_is_internal_1 doesn't think
2496 we're filling it up. */
2497 where_is_cache = Qnil;
2499 found = keymaps;
2500 while (CONSP (found))
2502 maps =
2503 nconc2 (maps,
2504 Faccessible_keymaps (get_keymap (XCAR (found), 1, 0), Qnil));
2505 found = XCDR (found);
2508 data.sequences = Qnil;
2509 for (; CONSP (maps); maps = XCDR (maps))
2511 /* Key sequence to reach map, and the map that it reaches */
2512 register Lisp_Object this, map, tem;
2514 /* In order to fold [META-PREFIX-CHAR CHAR] sequences into
2515 [M-CHAR] sequences, check if last character of the sequence
2516 is the meta-prefix char. */
2517 Lisp_Object last;
2518 bool last_is_meta;
2520 this = Fcar (XCAR (maps));
2521 map = Fcdr (XCAR (maps));
2522 last = make_number (XINT (Flength (this)) - 1);
2523 last_is_meta = (XINT (last) >= 0
2524 && EQ (Faref (this, last), meta_prefix_char));
2526 /* if (nomenus && !preferred_sequence_p (this)) */
2527 if (nomenus && XINT (last) >= 0
2528 && SYMBOLP (tem = Faref (this, make_number (0)))
2529 && !NILP (Fmemq (XCAR (parse_modifiers (tem)), Vmouse_events)))
2530 /* If no menu entries should be returned, skip over the
2531 keymaps bound to `menu-bar' and `tool-bar' and other
2532 non-ascii prefixes like `C-down-mouse-2'. */
2533 continue;
2535 QUIT;
2537 data.definition = definition;
2538 data.noindirect = noindirect;
2539 data.this = this;
2540 data.last = last;
2541 data.last_is_meta = last_is_meta;
2543 if (CONSP (map))
2544 map_keymap (map, where_is_internal_1, Qnil, &data, 0);
2547 if (nomenus && !noindirect)
2548 { /* Remember for which keymaps this cache was built.
2549 We do it here (late) because we want to keep where_is_cache_keymaps
2550 set to t while the cache isn't fully filled. */
2551 where_is_cache_keymaps = keymaps;
2552 /* During cache-filling, data.sequences is not filled by
2553 where_is_internal_1. */
2554 return Fgethash (definition, where_is_cache, Qnil);
2556 else
2557 return data.sequences;
2560 /* This function can GC if Flookup_key autoloads any keymaps. */
2562 DEFUN ("where-is-internal", Fwhere_is_internal, Swhere_is_internal, 1, 5, 0,
2563 doc: /* Return list of keys that invoke DEFINITION.
2564 If KEYMAP is a keymap, search only KEYMAP and the global keymap.
2565 If KEYMAP is nil, search all the currently active keymaps, except
2566 for `overriding-local-map' (which is ignored).
2567 If KEYMAP is a list of keymaps, search only those keymaps.
2569 If optional 3rd arg FIRSTONLY is non-nil, return the first key sequence found,
2570 rather than a list of all possible key sequences.
2571 If FIRSTONLY is the symbol `non-ascii', return the first binding found,
2572 no matter what it is.
2573 If FIRSTONLY has another non-nil value, prefer bindings
2574 that use the modifier key specified in `where-is-preferred-modifier'
2575 \(or their meta variants) and entirely reject menu bindings.
2577 If optional 4th arg NOINDIRECT is non-nil, don't follow indirections
2578 to other keymaps or slots. This makes it possible to search for an
2579 indirect definition itself.
2581 The optional 5th arg NO-REMAP alters how command remapping is handled:
2583 - If another command OTHER-COMMAND is remapped to DEFINITION, normally
2584 search for the bindings of OTHER-COMMAND and include them in the
2585 returned list. But if NO-REMAP is non-nil, include the vector
2586 [remap OTHER-COMMAND] in the returned list instead, without
2587 searching for those other bindings.
2589 - If DEFINITION is remapped to OTHER-COMMAND, normally return the
2590 bindings for OTHER-COMMAND. But if NO-REMAP is non-nil, return the
2591 bindings for DEFINITION instead, ignoring its remapping. */)
2592 (Lisp_Object definition, Lisp_Object keymap, Lisp_Object firstonly, Lisp_Object noindirect, Lisp_Object no_remap)
2594 /* The keymaps in which to search. */
2595 Lisp_Object keymaps;
2596 /* Potentially relevant bindings in "shortest to longest" order. */
2597 Lisp_Object sequences = Qnil;
2598 /* Actually relevant bindings. */
2599 Lisp_Object found = Qnil;
2600 /* 1 means ignore all menu bindings entirely. */
2601 bool nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2602 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5, gcpro6;
2603 /* List of sequences found via remapping. Keep them in a separate
2604 variable, so as to push them later, since we prefer
2605 non-remapped binding. */
2606 Lisp_Object remapped_sequences = Qnil;
2607 /* Whether or not we're handling remapped sequences. This is needed
2608 because remapping is not done recursively by Fcommand_remapping: you
2609 can't remap a remapped command. */
2610 bool remapped = 0;
2611 Lisp_Object tem = Qnil;
2613 /* Refresh the C version of the modifier preference. */
2614 where_is_preferred_modifier
2615 = parse_solitary_modifier (Vwhere_is_preferred_modifier);
2617 /* Find the relevant keymaps. */
2618 if (CONSP (keymap) && KEYMAPP (XCAR (keymap)))
2619 keymaps = keymap;
2620 else if (!NILP (keymap))
2621 keymaps = list2 (keymap, current_global_map);
2622 else
2623 keymaps = Fcurrent_active_maps (Qnil, Qnil);
2625 GCPRO6 (definition, keymaps, found, sequences, remapped_sequences, tem);
2627 tem = Fcommand_remapping (definition, Qnil, keymaps);
2628 /* If `definition' is remapped to tem', then OT1H no key will run
2629 that command (since they will run `tem' instead), so we should
2630 return nil; but OTOH all keys bound to `definition' (or to `tem')
2631 will run the same command.
2632 So for menu-shortcut purposes, we want to find all the keys bound (maybe
2633 via remapping) to `tem'. But for the purpose of finding the keys that
2634 run `definition', then we'd want to just return nil.
2635 We choose to make it work right for menu-shortcuts, since it's the most
2636 common use.
2637 Known bugs: if you remap switch-to-buffer to toto, C-h f switch-to-buffer
2638 will tell you that switch-to-buffer is bound to C-x b even though C-x b
2639 will run toto instead. And if `toto' is itself remapped to forward-char,
2640 then C-h f toto will tell you that it's bound to C-f even though C-f does
2641 not run toto and it won't tell you that C-x b does run toto. */
2642 if (NILP (no_remap) && !NILP (tem))
2643 definition = tem;
2645 if (SYMBOLP (definition)
2646 && !NILP (firstonly)
2647 && !NILP (tem = Fget (definition, QCadvertised_binding)))
2649 /* We have a list of advertised bindings. */
2650 while (CONSP (tem))
2651 if (EQ (shadow_lookup (keymaps, XCAR (tem), Qnil, 0), definition))
2652 RETURN_UNGCPRO (XCAR (tem));
2653 else
2654 tem = XCDR (tem);
2655 if (EQ (shadow_lookup (keymaps, tem, Qnil, 0), definition))
2656 RETURN_UNGCPRO (tem);
2659 sequences = Freverse (where_is_internal (definition, keymaps,
2660 !NILP (noindirect), nomenus));
2662 while (CONSP (sequences)
2663 /* If we're at the end of the `sequences' list and we haven't
2664 considered remapped sequences yet, copy them over and
2665 process them. */
2666 || (!remapped && (sequences = remapped_sequences,
2667 remapped = 1,
2668 CONSP (sequences))))
2670 Lisp_Object sequence, function;
2672 sequence = XCAR (sequences);
2673 sequences = XCDR (sequences);
2675 /* Verify that this key binding is not shadowed by another
2676 binding for the same key, before we say it exists.
2678 Mechanism: look for local definition of this key and if
2679 it is defined and does not match what we found then
2680 ignore this key.
2682 Either nil or number as value from Flookup_key
2683 means undefined. */
2684 if (NILP (Fequal (shadow_lookup (keymaps, sequence, Qnil, remapped),
2685 definition)))
2686 continue;
2688 /* If the current sequence is a command remapping with
2689 format [remap COMMAND], find the key sequences
2690 which run COMMAND, and use those sequences instead. */
2691 if (NILP (no_remap) && !remapped
2692 && VECTORP (sequence) && ASIZE (sequence) == 2
2693 && EQ (AREF (sequence, 0), Qremap)
2694 && (function = AREF (sequence, 1), SYMBOLP (function)))
2696 Lisp_Object seqs = where_is_internal (function, keymaps,
2697 !NILP (noindirect), nomenus);
2698 remapped_sequences = nconc2 (Freverse (seqs), remapped_sequences);
2699 continue;
2702 /* Don't annoy user with strings from a menu such as the
2703 entries from the "Edit => Paste from Kill Menu".
2704 Change them all to "(any string)", so that there
2705 seems to be only one menu item to report. */
2706 if (! NILP (sequence))
2708 Lisp_Object tem1;
2709 tem1 = Faref (sequence, make_number (ASIZE (sequence) - 1));
2710 if (STRINGP (tem1))
2711 Faset (sequence, make_number (ASIZE (sequence) - 1),
2712 build_string ("(any string)"));
2715 /* It is a true unshadowed match. Record it, unless it's already
2716 been seen (as could happen when inheriting keymaps). */
2717 if (NILP (Fmember (sequence, found)))
2718 found = Fcons (sequence, found);
2720 /* If firstonly is Qnon_ascii, then we can return the first
2721 binding we find. If firstonly is not Qnon_ascii but not
2722 nil, then we should return the first ascii-only binding
2723 we find. */
2724 if (EQ (firstonly, Qnon_ascii))
2725 RETURN_UNGCPRO (sequence);
2726 else if (!NILP (firstonly)
2727 && 2 == preferred_sequence_p (sequence))
2728 RETURN_UNGCPRO (sequence);
2731 UNGCPRO;
2733 found = Fnreverse (found);
2735 /* firstonly may have been t, but we may have gone all the way through
2736 the keymaps without finding an all-ASCII key sequence. So just
2737 return the best we could find. */
2738 if (NILP (firstonly))
2739 return found;
2740 else if (where_is_preferred_modifier == 0)
2741 return Fcar (found);
2742 else
2743 { /* Maybe we did not find a preferred_modifier binding, but we did find
2744 some ASCII binding. */
2745 Lisp_Object bindings = found;
2746 while (CONSP (bindings))
2747 if (preferred_sequence_p (XCAR (bindings)))
2748 return XCAR (bindings);
2749 else
2750 bindings = XCDR (bindings);
2751 return Fcar (found);
2755 /* This function can GC because get_keyelt can. */
2757 static void
2758 where_is_internal_1 (Lisp_Object key, Lisp_Object binding, Lisp_Object args, void *data)
2760 struct where_is_internal_data *d = data; /* Cast! */
2761 Lisp_Object definition = d->definition;
2762 bool noindirect = d->noindirect;
2763 Lisp_Object this = d->this;
2764 Lisp_Object last = d->last;
2765 bool last_is_meta = d->last_is_meta;
2766 Lisp_Object sequence;
2768 /* Search through indirections unless that's not wanted. */
2769 if (!noindirect)
2770 binding = get_keyelt (binding, 0);
2772 /* End this iteration if this element does not match
2773 the target. */
2775 if (!(!NILP (where_is_cache) /* everything "matches" during cache-fill. */
2776 || EQ (binding, definition)
2777 || (CONSP (definition) && !NILP (Fequal (binding, definition)))))
2778 /* Doesn't match. */
2779 return;
2781 /* We have found a match. Construct the key sequence where we found it. */
2782 if (INTEGERP (key) && last_is_meta)
2784 sequence = Fcopy_sequence (this);
2785 Faset (sequence, last, make_number (XINT (key) | meta_modifier));
2787 else
2789 if (CONSP (key))
2790 key = Fcons (XCAR (key), XCDR (key));
2791 sequence = append_key (this, key);
2794 if (!NILP (where_is_cache))
2796 Lisp_Object sequences = Fgethash (binding, where_is_cache, Qnil);
2797 Fputhash (binding, Fcons (sequence, sequences), where_is_cache);
2799 else
2800 d->sequences = Fcons (sequence, d->sequences);
2803 /* describe-bindings - summarizing all the bindings in a set of keymaps. */
2805 DEFUN ("describe-buffer-bindings", Fdescribe_buffer_bindings, Sdescribe_buffer_bindings, 1, 3, 0,
2806 doc: /* Insert the list of all defined keys and their definitions.
2807 The list is inserted in the current buffer, while the bindings are
2808 looked up in BUFFER.
2809 The optional argument PREFIX, if non-nil, should be a key sequence;
2810 then we display only bindings that start with that prefix.
2811 The optional argument MENUS, if non-nil, says to mention menu bindings.
2812 \(Ordinarily these are omitted from the output.) */)
2813 (Lisp_Object buffer, Lisp_Object prefix, Lisp_Object menus)
2815 Lisp_Object outbuf, shadow;
2816 bool nomenu = NILP (menus);
2817 Lisp_Object start1;
2818 struct gcpro gcpro1;
2820 const char *alternate_heading
2821 = "\
2822 Keyboard translations:\n\n\
2823 You type Translation\n\
2824 -------- -----------\n";
2826 CHECK_BUFFER (buffer);
2828 shadow = Qnil;
2829 GCPRO1 (shadow);
2831 outbuf = Fcurrent_buffer ();
2833 /* Report on alternates for keys. */
2834 if (STRINGP (KVAR (current_kboard, Vkeyboard_translate_table)) && !NILP (prefix))
2836 int c;
2837 const unsigned char *translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2838 int translate_len = SCHARS (KVAR (current_kboard, Vkeyboard_translate_table));
2840 for (c = 0; c < translate_len; c++)
2841 if (translate[c] != c)
2843 char buf[KEY_DESCRIPTION_SIZE];
2844 char *bufend;
2846 if (alternate_heading)
2848 insert_string (alternate_heading);
2849 alternate_heading = 0;
2852 bufend = push_key_description (translate[c], buf);
2853 insert (buf, bufend - buf);
2854 Findent_to (make_number (16), make_number (1));
2855 bufend = push_key_description (c, buf);
2856 insert (buf, bufend - buf);
2858 insert ("\n", 1);
2860 /* Insert calls signal_after_change which may GC. */
2861 translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2864 insert ("\n", 1);
2867 if (!NILP (Vkey_translation_map))
2868 describe_map_tree (Vkey_translation_map, 0, Qnil, prefix,
2869 "Key translations", nomenu, 1, 0, 0);
2872 /* Print the (major mode) local map. */
2873 start1 = Qnil;
2874 if (!NILP (KVAR (current_kboard, Voverriding_terminal_local_map)))
2875 start1 = KVAR (current_kboard, Voverriding_terminal_local_map);
2877 if (!NILP (start1))
2879 describe_map_tree (start1, 1, shadow, prefix,
2880 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2881 shadow = Fcons (start1, shadow);
2882 start1 = Qnil;
2884 else if (!NILP (Voverriding_local_map))
2885 start1 = Voverriding_local_map;
2887 if (!NILP (start1))
2889 describe_map_tree (start1, 1, shadow, prefix,
2890 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2891 shadow = Fcons (start1, shadow);
2893 else
2895 /* Print the minor mode and major mode keymaps. */
2896 int i, nmaps;
2897 Lisp_Object *modes, *maps;
2899 /* Temporarily switch to `buffer', so that we can get that buffer's
2900 minor modes correctly. */
2901 Fset_buffer (buffer);
2903 nmaps = current_minor_maps (&modes, &maps);
2904 Fset_buffer (outbuf);
2906 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2907 XBUFFER (buffer), Qkeymap);
2908 if (!NILP (start1))
2910 describe_map_tree (start1, 1, shadow, prefix,
2911 "\f\n`keymap' Property Bindings", nomenu,
2912 0, 0, 0);
2913 shadow = Fcons (start1, shadow);
2916 /* Print the minor mode maps. */
2917 for (i = 0; i < nmaps; i++)
2919 /* The title for a minor mode keymap
2920 is constructed at run time.
2921 We let describe_map_tree do the actual insertion
2922 because it takes care of other features when doing so. */
2923 char *title, *p;
2925 if (!SYMBOLP (modes[i]))
2926 emacs_abort ();
2928 p = title = alloca (42 + SCHARS (SYMBOL_NAME (modes[i])));
2929 *p++ = '\f';
2930 *p++ = '\n';
2931 *p++ = '`';
2932 memcpy (p, SDATA (SYMBOL_NAME (modes[i])),
2933 SCHARS (SYMBOL_NAME (modes[i])));
2934 p += SCHARS (SYMBOL_NAME (modes[i]));
2935 *p++ = '\'';
2936 memcpy (p, " Minor Mode Bindings", strlen (" Minor Mode Bindings"));
2937 p += strlen (" Minor Mode Bindings");
2938 *p = 0;
2940 describe_map_tree (maps[i], 1, shadow, prefix,
2941 title, nomenu, 0, 0, 0);
2942 shadow = Fcons (maps[i], shadow);
2945 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2946 XBUFFER (buffer), Qlocal_map);
2947 if (!NILP (start1))
2949 if (EQ (start1, BVAR (XBUFFER (buffer), keymap)))
2950 describe_map_tree (start1, 1, shadow, prefix,
2951 "\f\nMajor Mode Bindings", nomenu, 0, 0, 0);
2952 else
2953 describe_map_tree (start1, 1, shadow, prefix,
2954 "\f\n`local-map' Property Bindings",
2955 nomenu, 0, 0, 0);
2957 shadow = Fcons (start1, shadow);
2961 describe_map_tree (current_global_map, 1, shadow, prefix,
2962 "\f\nGlobal Bindings", nomenu, 0, 1, 0);
2964 /* Print the function-key-map translations under this prefix. */
2965 if (!NILP (KVAR (current_kboard, Vlocal_function_key_map)))
2966 describe_map_tree (KVAR (current_kboard, Vlocal_function_key_map), 0, Qnil, prefix,
2967 "\f\nFunction key map translations", nomenu, 1, 0, 0);
2969 /* Print the input-decode-map translations under this prefix. */
2970 if (!NILP (KVAR (current_kboard, Vinput_decode_map)))
2971 describe_map_tree (KVAR (current_kboard, Vinput_decode_map), 0, Qnil, prefix,
2972 "\f\nInput decoding map translations", nomenu, 1, 0, 0);
2974 UNGCPRO;
2975 return Qnil;
2978 /* Insert a description of the key bindings in STARTMAP,
2979 followed by those of all maps reachable through STARTMAP.
2980 If PARTIAL, omit certain "uninteresting" commands
2981 (such as `undefined').
2982 If SHADOW is non-nil, it is a list of maps;
2983 don't mention keys which would be shadowed by any of them.
2984 PREFIX, if non-nil, says mention only keys that start with PREFIX.
2985 TITLE, if not 0, is a string to insert at the beginning.
2986 TITLE should not end with a colon or a newline; we supply that.
2987 If NOMENU, then omit menu-bar commands.
2989 If TRANSL, the definitions are actually key translations
2990 so print strings and vectors differently.
2992 If ALWAYS_TITLE, print the title even if there are no maps
2993 to look through.
2995 If MENTION_SHADOW, then when something is shadowed by SHADOW,
2996 don't omit it; instead, mention it but say it is shadowed.
2998 Any inserted text ends in two newlines (used by `help-make-xrefs'). */
3000 void
3001 describe_map_tree (Lisp_Object startmap, bool partial, Lisp_Object shadow,
3002 Lisp_Object prefix, const char *title, bool nomenu,
3003 bool transl, bool always_title, bool mention_shadow)
3005 Lisp_Object maps, orig_maps, seen, sub_shadows;
3006 struct gcpro gcpro1, gcpro2, gcpro3;
3007 bool something = 0;
3008 const char *key_heading
3009 = "\
3010 key binding\n\
3011 --- -------\n";
3013 orig_maps = maps = Faccessible_keymaps (startmap, prefix);
3014 seen = Qnil;
3015 sub_shadows = Qnil;
3016 GCPRO3 (maps, seen, sub_shadows);
3018 if (nomenu)
3020 Lisp_Object list;
3022 /* Delete from MAPS each element that is for the menu bar. */
3023 for (list = maps; CONSP (list); list = XCDR (list))
3025 Lisp_Object elt, elt_prefix, tem;
3027 elt = XCAR (list);
3028 elt_prefix = Fcar (elt);
3029 if (ASIZE (elt_prefix) >= 1)
3031 tem = Faref (elt_prefix, make_number (0));
3032 if (EQ (tem, Qmenu_bar))
3033 maps = Fdelq (elt, maps);
3038 if (!NILP (maps) || always_title)
3040 if (title)
3042 insert_string (title);
3043 if (!NILP (prefix))
3045 insert_string (" Starting With ");
3046 insert1 (Fkey_description (prefix, Qnil));
3048 insert_string (":\n");
3050 insert_string (key_heading);
3051 something = 1;
3054 for (; CONSP (maps); maps = XCDR (maps))
3056 register Lisp_Object elt, elt_prefix, tail;
3058 elt = XCAR (maps);
3059 elt_prefix = Fcar (elt);
3061 sub_shadows = Qnil;
3063 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
3065 Lisp_Object shmap;
3067 shmap = XCAR (tail);
3069 /* If the sequence by which we reach this keymap is zero-length,
3070 then the shadow map for this keymap is just SHADOW. */
3071 if ((STRINGP (elt_prefix) && SCHARS (elt_prefix) == 0)
3072 || (VECTORP (elt_prefix) && ASIZE (elt_prefix) == 0))
3074 /* If the sequence by which we reach this keymap actually has
3075 some elements, then the sequence's definition in SHADOW is
3076 what we should use. */
3077 else
3079 shmap = Flookup_key (shmap, Fcar (elt), Qt);
3080 if (INTEGERP (shmap))
3081 shmap = Qnil;
3084 /* If shmap is not nil and not a keymap,
3085 it completely shadows this map, so don't
3086 describe this map at all. */
3087 if (!NILP (shmap) && !KEYMAPP (shmap))
3088 goto skip;
3090 if (!NILP (shmap))
3091 sub_shadows = Fcons (shmap, sub_shadows);
3094 /* Maps we have already listed in this loop shadow this map. */
3095 for (tail = orig_maps; !EQ (tail, maps); tail = XCDR (tail))
3097 Lisp_Object tem;
3098 tem = Fequal (Fcar (XCAR (tail)), elt_prefix);
3099 if (!NILP (tem))
3100 sub_shadows = Fcons (XCDR (XCAR (tail)), sub_shadows);
3103 describe_map (Fcdr (elt), elt_prefix,
3104 transl ? describe_translation : describe_command,
3105 partial, sub_shadows, &seen, nomenu, mention_shadow);
3107 skip: ;
3110 if (something)
3111 insert_string ("\n");
3113 UNGCPRO;
3116 static int previous_description_column;
3118 static void
3119 describe_command (Lisp_Object definition, Lisp_Object args)
3121 register Lisp_Object tem1;
3122 ptrdiff_t column = current_column ();
3123 int description_column;
3125 /* If column 16 is no good, go to col 32;
3126 but don't push beyond that--go to next line instead. */
3127 if (column > 30)
3129 insert_char ('\n');
3130 description_column = 32;
3132 else if (column > 14 || (column > 10 && previous_description_column == 32))
3133 description_column = 32;
3134 else
3135 description_column = 16;
3137 Findent_to (make_number (description_column), make_number (1));
3138 previous_description_column = description_column;
3140 if (SYMBOLP (definition))
3142 tem1 = SYMBOL_NAME (definition);
3143 insert1 (tem1);
3144 insert_string ("\n");
3146 else if (STRINGP (definition) || VECTORP (definition))
3147 insert_string ("Keyboard Macro\n");
3148 else if (KEYMAPP (definition))
3149 insert_string ("Prefix Command\n");
3150 else
3151 insert_string ("??\n");
3154 static void
3155 describe_translation (Lisp_Object definition, Lisp_Object args)
3157 register Lisp_Object tem1;
3159 Findent_to (make_number (16), make_number (1));
3161 if (SYMBOLP (definition))
3163 tem1 = SYMBOL_NAME (definition);
3164 insert1 (tem1);
3165 insert_string ("\n");
3167 else if (STRINGP (definition) || VECTORP (definition))
3169 insert1 (Fkey_description (definition, Qnil));
3170 insert_string ("\n");
3172 else if (KEYMAPP (definition))
3173 insert_string ("Prefix Command\n");
3174 else
3175 insert_string ("??\n");
3178 /* describe_map puts all the usable elements of a sparse keymap
3179 into an array of `struct describe_map_elt',
3180 then sorts them by the events. */
3182 struct describe_map_elt
3184 Lisp_Object event;
3185 Lisp_Object definition;
3186 bool shadowed;
3189 /* qsort comparison function for sorting `struct describe_map_elt' by
3190 the event field. */
3192 static int
3193 describe_map_compare (const void *aa, const void *bb)
3195 const struct describe_map_elt *a = aa, *b = bb;
3196 if (INTEGERP (a->event) && INTEGERP (b->event))
3197 return ((XINT (a->event) > XINT (b->event))
3198 - (XINT (a->event) < XINT (b->event)));
3199 if (!INTEGERP (a->event) && INTEGERP (b->event))
3200 return 1;
3201 if (INTEGERP (a->event) && !INTEGERP (b->event))
3202 return -1;
3203 if (SYMBOLP (a->event) && SYMBOLP (b->event))
3204 return (!NILP (Fstring_lessp (a->event, b->event)) ? -1
3205 : !NILP (Fstring_lessp (b->event, a->event)) ? 1
3206 : 0);
3207 return 0;
3210 /* Describe the contents of map MAP, assuming that this map itself is
3211 reached by the sequence of prefix keys PREFIX (a string or vector).
3212 PARTIAL, SHADOW, NOMENU are as in `describe_map_tree' above. */
3214 static void
3215 describe_map (Lisp_Object map, Lisp_Object prefix,
3216 void (*elt_describer) (Lisp_Object, Lisp_Object),
3217 bool partial, Lisp_Object shadow,
3218 Lisp_Object *seen, bool nomenu, bool mention_shadow)
3220 Lisp_Object tail, definition, event;
3221 Lisp_Object tem;
3222 Lisp_Object suppress;
3223 Lisp_Object kludge;
3224 bool first = 1;
3225 struct gcpro gcpro1, gcpro2, gcpro3;
3227 /* These accumulate the values from sparse keymap bindings,
3228 so we can sort them and handle them in order. */
3229 int length_needed = 0;
3230 struct describe_map_elt *vect;
3231 int slots_used = 0;
3232 int i;
3234 suppress = Qnil;
3236 if (partial)
3237 suppress = intern ("suppress-keymap");
3239 /* This vector gets used to present single keys to Flookup_key. Since
3240 that is done once per keymap element, we don't want to cons up a
3241 fresh vector every time. */
3242 kludge = Fmake_vector (make_number (1), Qnil);
3243 definition = Qnil;
3245 GCPRO3 (prefix, definition, kludge);
3247 map = call1 (Qkeymap_canonicalize, map);
3249 for (tail = map; CONSP (tail); tail = XCDR (tail))
3250 length_needed++;
3252 vect = alloca (length_needed * sizeof *vect);
3254 for (tail = map; CONSP (tail); tail = XCDR (tail))
3256 QUIT;
3258 if (VECTORP (XCAR (tail))
3259 || CHAR_TABLE_P (XCAR (tail)))
3260 describe_vector (XCAR (tail),
3261 prefix, Qnil, elt_describer, partial, shadow, map,
3262 1, mention_shadow);
3263 else if (CONSP (XCAR (tail)))
3265 bool this_shadowed = 0;
3267 event = XCAR (XCAR (tail));
3269 /* Ignore bindings whose "prefix" are not really valid events.
3270 (We get these in the frames and buffers menu.) */
3271 if (!(SYMBOLP (event) || INTEGERP (event)))
3272 continue;
3274 if (nomenu && EQ (event, Qmenu_bar))
3275 continue;
3277 definition = get_keyelt (XCDR (XCAR (tail)), 0);
3279 /* Don't show undefined commands or suppressed commands. */
3280 if (NILP (definition)) continue;
3281 if (SYMBOLP (definition) && partial)
3283 tem = Fget (definition, suppress);
3284 if (!NILP (tem))
3285 continue;
3288 /* Don't show a command that isn't really visible
3289 because a local definition of the same key shadows it. */
3291 ASET (kludge, 0, event);
3292 if (!NILP (shadow))
3294 tem = shadow_lookup (shadow, kludge, Qt, 0);
3295 if (!NILP (tem))
3297 /* If both bindings are keymaps, this key is a prefix key,
3298 so don't say it is shadowed. */
3299 if (KEYMAPP (definition) && KEYMAPP (tem))
3301 /* Avoid generating duplicate entries if the
3302 shadowed binding has the same definition. */
3303 else if (mention_shadow && !EQ (tem, definition))
3304 this_shadowed = 1;
3305 else
3306 continue;
3310 tem = Flookup_key (map, kludge, Qt);
3311 if (!EQ (tem, definition)) continue;
3313 vect[slots_used].event = event;
3314 vect[slots_used].definition = definition;
3315 vect[slots_used].shadowed = this_shadowed;
3316 slots_used++;
3318 else if (EQ (XCAR (tail), Qkeymap))
3320 /* The same keymap might be in the structure twice, if we're
3321 using an inherited keymap. So skip anything we've already
3322 encountered. */
3323 tem = Fassq (tail, *seen);
3324 if (CONSP (tem) && !NILP (Fequal (XCAR (tem), prefix)))
3325 break;
3326 *seen = Fcons (Fcons (tail, prefix), *seen);
3330 /* If we found some sparse map events, sort them. */
3332 qsort (vect, slots_used, sizeof (struct describe_map_elt),
3333 describe_map_compare);
3335 /* Now output them in sorted order. */
3337 for (i = 0; i < slots_used; i++)
3339 Lisp_Object start, end;
3341 if (first)
3343 previous_description_column = 0;
3344 insert ("\n", 1);
3345 first = 0;
3348 ASET (kludge, 0, vect[i].event);
3349 start = vect[i].event;
3350 end = start;
3352 definition = vect[i].definition;
3354 /* Find consecutive chars that are identically defined. */
3355 if (INTEGERP (vect[i].event))
3357 while (i + 1 < slots_used
3358 && EQ (vect[i+1].event, make_number (XINT (vect[i].event) + 1))
3359 && !NILP (Fequal (vect[i + 1].definition, definition))
3360 && vect[i].shadowed == vect[i + 1].shadowed)
3361 i++;
3362 end = vect[i].event;
3365 /* Now START .. END is the range to describe next. */
3367 /* Insert the string to describe the event START. */
3368 insert1 (Fkey_description (kludge, prefix));
3370 if (!EQ (start, end))
3372 insert (" .. ", 4);
3374 ASET (kludge, 0, end);
3375 /* Insert the string to describe the character END. */
3376 insert1 (Fkey_description (kludge, prefix));
3379 /* Print a description of the definition of this character.
3380 elt_describer will take care of spacing out far enough
3381 for alignment purposes. */
3382 (*elt_describer) (vect[i].definition, Qnil);
3384 if (vect[i].shadowed)
3386 ptrdiff_t pt = max (PT - 1, BEG);
3388 SET_PT (pt);
3389 insert_string ("\n (that binding is currently shadowed by another mode)");
3390 pt = min (PT + 1, Z);
3391 SET_PT (pt);
3395 UNGCPRO;
3398 static void
3399 describe_vector_princ (Lisp_Object elt, Lisp_Object fun)
3401 Findent_to (make_number (16), make_number (1));
3402 call1 (fun, elt);
3403 Fterpri (Qnil);
3406 DEFUN ("describe-vector", Fdescribe_vector, Sdescribe_vector, 1, 2, 0,
3407 doc: /* Insert a description of contents of VECTOR.
3408 This is text showing the elements of vector matched against indices.
3409 DESCRIBER is the output function used; nil means use `princ'. */)
3410 (Lisp_Object vector, Lisp_Object describer)
3412 ptrdiff_t count = SPECPDL_INDEX ();
3413 if (NILP (describer))
3414 describer = intern ("princ");
3415 specbind (Qstandard_output, Fcurrent_buffer ());
3416 CHECK_VECTOR_OR_CHAR_TABLE (vector);
3417 describe_vector (vector, Qnil, describer, describe_vector_princ, 0,
3418 Qnil, Qnil, 0, 0);
3420 return unbind_to (count, Qnil);
3423 /* Insert in the current buffer a description of the contents of VECTOR.
3424 We call ELT_DESCRIBER to insert the description of one value found
3425 in VECTOR.
3427 ELT_PREFIX describes what "comes before" the keys or indices defined
3428 by this vector. This is a human-readable string whose size
3429 is not necessarily related to the situation.
3431 If the vector is in a keymap, ELT_PREFIX is a prefix key which
3432 leads to this keymap.
3434 If the vector is a chartable, ELT_PREFIX is the vector
3435 of bytes that lead to the character set or portion of a character
3436 set described by this chartable.
3438 If PARTIAL, it means do not mention suppressed commands
3439 (that assumes the vector is in a keymap).
3441 SHADOW is a list of keymaps that shadow this map.
3442 If it is non-nil, then we look up the key in those maps
3443 and we don't mention it now if it is defined by any of them.
3445 ENTIRE_MAP is the keymap in which this vector appears.
3446 If the definition in effect in the whole map does not match
3447 the one in this vector, we ignore this one.
3449 ARGS is simply passed as the second argument to ELT_DESCRIBER.
3451 KEYMAP_P is 1 if vector is known to be a keymap, so map ESC to M-.
3453 ARGS is simply passed as the second argument to ELT_DESCRIBER. */
3455 static void
3456 describe_vector (Lisp_Object vector, Lisp_Object prefix, Lisp_Object args,
3457 void (*elt_describer) (Lisp_Object, Lisp_Object),
3458 bool partial, Lisp_Object shadow, Lisp_Object entire_map,
3459 bool keymap_p, bool mention_shadow)
3461 Lisp_Object definition;
3462 Lisp_Object tem2;
3463 Lisp_Object elt_prefix = Qnil;
3464 int i;
3465 Lisp_Object suppress;
3466 Lisp_Object kludge;
3467 bool first = 1;
3468 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
3469 /* Range of elements to be handled. */
3470 int from, to, stop;
3471 Lisp_Object character;
3472 int starting_i;
3474 suppress = Qnil;
3476 definition = Qnil;
3478 if (!keymap_p)
3480 /* Call Fkey_description first, to avoid GC bug for the other string. */
3481 if (!NILP (prefix) && XFASTINT (Flength (prefix)) > 0)
3483 Lisp_Object tem;
3484 tem = Fkey_description (prefix, Qnil);
3485 elt_prefix = concat2 (tem, build_string (" "));
3487 prefix = Qnil;
3490 /* This vector gets used to present single keys to Flookup_key. Since
3491 that is done once per vector element, we don't want to cons up a
3492 fresh vector every time. */
3493 kludge = Fmake_vector (make_number (1), Qnil);
3494 GCPRO4 (elt_prefix, prefix, definition, kludge);
3496 if (partial)
3497 suppress = intern ("suppress-keymap");
3499 from = 0;
3500 if (CHAR_TABLE_P (vector))
3501 stop = MAX_5_BYTE_CHAR + 1, to = MAX_CHAR + 1;
3502 else
3503 stop = to = ASIZE (vector);
3505 for (i = from; ; i++)
3507 bool this_shadowed = 0;
3508 int range_beg, range_end;
3509 Lisp_Object val;
3511 QUIT;
3513 if (i == stop)
3515 if (i == to)
3516 break;
3517 stop = to;
3520 starting_i = i;
3522 if (CHAR_TABLE_P (vector))
3524 range_beg = i;
3525 i = stop - 1;
3526 val = char_table_ref_and_range (vector, range_beg, &range_beg, &i);
3528 else
3529 val = AREF (vector, i);
3530 definition = get_keyelt (val, 0);
3532 if (NILP (definition)) continue;
3534 /* Don't mention suppressed commands. */
3535 if (SYMBOLP (definition) && partial)
3537 Lisp_Object tem;
3539 tem = Fget (definition, suppress);
3541 if (!NILP (tem)) continue;
3544 character = make_number (starting_i);
3545 ASET (kludge, 0, character);
3547 /* If this binding is shadowed by some other map, ignore it. */
3548 if (!NILP (shadow))
3550 Lisp_Object tem;
3552 tem = shadow_lookup (shadow, kludge, Qt, 0);
3554 if (!NILP (tem))
3556 if (mention_shadow)
3557 this_shadowed = 1;
3558 else
3559 continue;
3563 /* Ignore this definition if it is shadowed by an earlier
3564 one in the same keymap. */
3565 if (!NILP (entire_map))
3567 Lisp_Object tem;
3569 tem = Flookup_key (entire_map, kludge, Qt);
3571 if (!EQ (tem, definition))
3572 continue;
3575 if (first)
3577 insert ("\n", 1);
3578 first = 0;
3581 /* Output the prefix that applies to every entry in this map. */
3582 if (!NILP (elt_prefix))
3583 insert1 (elt_prefix);
3585 insert1 (Fkey_description (kludge, prefix));
3587 /* Find all consecutive characters or rows that have the same
3588 definition. But, VECTOR is a char-table, we had better put a
3589 boundary between normal characters (-#x3FFF7F) and 8-bit
3590 characters (#x3FFF80-). */
3591 if (CHAR_TABLE_P (vector))
3593 while (i + 1 < stop
3594 && (range_beg = i + 1, range_end = stop - 1,
3595 val = char_table_ref_and_range (vector, range_beg,
3596 &range_beg, &range_end),
3597 tem2 = get_keyelt (val, 0),
3598 !NILP (tem2))
3599 && !NILP (Fequal (tem2, definition)))
3600 i = range_end;
3602 else
3603 while (i + 1 < stop
3604 && (tem2 = get_keyelt (AREF (vector, i + 1), 0),
3605 !NILP (tem2))
3606 && !NILP (Fequal (tem2, definition)))
3607 i++;
3609 /* If we have a range of more than one character,
3610 print where the range reaches to. */
3612 if (i != starting_i)
3614 insert (" .. ", 4);
3616 ASET (kludge, 0, make_number (i));
3618 if (!NILP (elt_prefix))
3619 insert1 (elt_prefix);
3621 insert1 (Fkey_description (kludge, prefix));
3624 /* Print a description of the definition of this character.
3625 elt_describer will take care of spacing out far enough
3626 for alignment purposes. */
3627 (*elt_describer) (definition, args);
3629 if (this_shadowed)
3631 SET_PT (PT - 1);
3632 insert_string (" (binding currently shadowed)");
3633 SET_PT (PT + 1);
3637 if (CHAR_TABLE_P (vector) && ! NILP (XCHAR_TABLE (vector)->defalt))
3639 if (!NILP (elt_prefix))
3640 insert1 (elt_prefix);
3641 insert ("default", 7);
3642 (*elt_describer) (XCHAR_TABLE (vector)->defalt, args);
3645 UNGCPRO;
3648 /* Apropos - finding all symbols whose names match a regexp. */
3649 static Lisp_Object apropos_predicate;
3650 static Lisp_Object apropos_accumulate;
3652 static void
3653 apropos_accum (Lisp_Object symbol, Lisp_Object string)
3655 register Lisp_Object tem;
3657 tem = Fstring_match (string, Fsymbol_name (symbol), Qnil);
3658 if (!NILP (tem) && !NILP (apropos_predicate))
3659 tem = call1 (apropos_predicate, symbol);
3660 if (!NILP (tem))
3661 apropos_accumulate = Fcons (symbol, apropos_accumulate);
3664 DEFUN ("apropos-internal", Fapropos_internal, Sapropos_internal, 1, 2, 0,
3665 doc: /* Show all symbols whose names contain match for REGEXP.
3666 If optional 2nd arg PREDICATE is non-nil, (funcall PREDICATE SYMBOL) is done
3667 for each symbol and a symbol is mentioned only if that returns non-nil.
3668 Return list of symbols found. */)
3669 (Lisp_Object regexp, Lisp_Object predicate)
3671 Lisp_Object tem;
3672 CHECK_STRING (regexp);
3673 apropos_predicate = predicate;
3674 apropos_accumulate = Qnil;
3675 map_obarray (Vobarray, apropos_accum, regexp);
3676 tem = Fsort (apropos_accumulate, Qstring_lessp);
3677 apropos_accumulate = Qnil;
3678 apropos_predicate = Qnil;
3679 return tem;
3682 void
3683 syms_of_keymap (void)
3685 DEFSYM (Qkeymap, "keymap");
3686 staticpro (&apropos_predicate);
3687 staticpro (&apropos_accumulate);
3688 apropos_predicate = Qnil;
3689 apropos_accumulate = Qnil;
3691 DEFSYM (Qkeymap_canonicalize, "keymap-canonicalize");
3693 /* Now we are ready to set up this property, so we can
3694 create char tables. */
3695 Fput (Qkeymap, Qchar_table_extra_slots, make_number (0));
3697 /* Initialize the keymaps standardly used.
3698 Each one is the value of a Lisp variable, and is also
3699 pointed to by a C variable */
3701 global_map = Fmake_keymap (Qnil);
3702 Fset (intern_c_string ("global-map"), global_map);
3704 current_global_map = global_map;
3705 staticpro (&global_map);
3706 staticpro (&current_global_map);
3708 meta_map = Fmake_keymap (Qnil);
3709 Fset (intern_c_string ("esc-map"), meta_map);
3710 Ffset (intern_c_string ("ESC-prefix"), meta_map);
3712 control_x_map = Fmake_keymap (Qnil);
3713 Fset (intern_c_string ("ctl-x-map"), control_x_map);
3714 Ffset (intern_c_string ("Control-X-prefix"), control_x_map);
3716 exclude_keys = listn (CONSTYPE_PURE, 5,
3717 pure_cons (build_pure_c_string ("DEL"), build_pure_c_string ("\\d")),
3718 pure_cons (build_pure_c_string ("TAB"), build_pure_c_string ("\\t")),
3719 pure_cons (build_pure_c_string ("RET"), build_pure_c_string ("\\r")),
3720 pure_cons (build_pure_c_string ("ESC"), build_pure_c_string ("\\e")),
3721 pure_cons (build_pure_c_string ("SPC"), build_pure_c_string (" ")));
3722 staticpro (&exclude_keys);
3724 DEFVAR_LISP ("define-key-rebound-commands", Vdefine_key_rebound_commands,
3725 doc: /* List of commands given new key bindings recently.
3726 This is used for internal purposes during Emacs startup;
3727 don't alter it yourself. */);
3728 Vdefine_key_rebound_commands = Qt;
3730 DEFVAR_LISP ("minibuffer-local-map", Vminibuffer_local_map,
3731 doc: /* Default keymap to use when reading from the minibuffer. */);
3732 Vminibuffer_local_map = Fmake_sparse_keymap (Qnil);
3734 DEFVAR_LISP ("minibuffer-local-ns-map", Vminibuffer_local_ns_map,
3735 doc: /* Local keymap for the minibuffer when spaces are not allowed. */);
3736 Vminibuffer_local_ns_map = Fmake_sparse_keymap (Qnil);
3737 Fset_keymap_parent (Vminibuffer_local_ns_map, Vminibuffer_local_map);
3740 DEFVAR_LISP ("minor-mode-map-alist", Vminor_mode_map_alist,
3741 doc: /* Alist of keymaps to use for minor modes.
3742 Each element looks like (VARIABLE . KEYMAP); KEYMAP is used to read
3743 key sequences and look up bindings if VARIABLE's value is non-nil.
3744 If two active keymaps bind the same key, the keymap appearing earlier
3745 in the list takes precedence. */);
3746 Vminor_mode_map_alist = Qnil;
3748 DEFVAR_LISP ("minor-mode-overriding-map-alist", Vminor_mode_overriding_map_alist,
3749 doc: /* Alist of keymaps to use for minor modes, in current major mode.
3750 This variable is an alist just like `minor-mode-map-alist', and it is
3751 used the same way (and before `minor-mode-map-alist'); however,
3752 it is provided for major modes to bind locally. */);
3753 Vminor_mode_overriding_map_alist = Qnil;
3755 DEFVAR_LISP ("emulation-mode-map-alists", Vemulation_mode_map_alists,
3756 doc: /* List of keymap alists to use for emulation modes.
3757 It is intended for modes or packages using multiple minor-mode keymaps.
3758 Each element is a keymap alist just like `minor-mode-map-alist', or a
3759 symbol with a variable binding which is a keymap alist, and it is used
3760 the same way. The "active" keymaps in each alist are used before
3761 `minor-mode-map-alist' and `minor-mode-overriding-map-alist'. */);
3762 Vemulation_mode_map_alists = Qnil;
3764 DEFVAR_LISP ("where-is-preferred-modifier", Vwhere_is_preferred_modifier,
3765 doc: /* Preferred modifier key to use for `where-is'.
3766 When a single binding is requested, `where-is' will return one that
3767 uses this modifier key if possible. If nil, or if no such binding
3768 exists, bindings using keys without modifiers (or only with meta) will
3769 be preferred. */);
3770 Vwhere_is_preferred_modifier = Qnil;
3771 where_is_preferred_modifier = 0;
3773 staticpro (&Vmouse_events);
3774 Vmouse_events = listn (CONSTYPE_PURE, 9,
3775 intern_c_string ("menu-bar"),
3776 intern_c_string ("tool-bar"),
3777 intern_c_string ("header-line"),
3778 intern_c_string ("mode-line"),
3779 intern_c_string ("mouse-1"),
3780 intern_c_string ("mouse-2"),
3781 intern_c_string ("mouse-3"),
3782 intern_c_string ("mouse-4"),
3783 intern_c_string ("mouse-5"));
3785 DEFSYM (Qsingle_key_description, "single-key-description");
3786 DEFSYM (Qkey_description, "key-description");
3787 DEFSYM (Qkeymapp, "keymapp");
3788 DEFSYM (Qnon_ascii, "non-ascii");
3789 DEFSYM (Qmenu_item, "menu-item");
3790 DEFSYM (Qremap, "remap");
3791 DEFSYM (QCadvertised_binding, ":advertised-binding");
3793 command_remapping_vector = Fmake_vector (make_number (2), Qremap);
3794 staticpro (&command_remapping_vector);
3796 where_is_cache_keymaps = Qt;
3797 where_is_cache = Qnil;
3798 staticpro (&where_is_cache);
3799 staticpro (&where_is_cache_keymaps);
3801 defsubr (&Skeymapp);
3802 defsubr (&Skeymap_parent);
3803 defsubr (&Skeymap_prompt);
3804 defsubr (&Sset_keymap_parent);
3805 defsubr (&Smake_keymap);
3806 defsubr (&Smake_sparse_keymap);
3807 defsubr (&Smap_keymap_internal);
3808 defsubr (&Smap_keymap);
3809 defsubr (&Scopy_keymap);
3810 defsubr (&Scommand_remapping);
3811 defsubr (&Skey_binding);
3812 defsubr (&Slocal_key_binding);
3813 defsubr (&Sglobal_key_binding);
3814 defsubr (&Sminor_mode_key_binding);
3815 defsubr (&Sdefine_key);
3816 defsubr (&Slookup_key);
3817 defsubr (&Sdefine_prefix_command);
3818 defsubr (&Suse_global_map);
3819 defsubr (&Suse_local_map);
3820 defsubr (&Scurrent_local_map);
3821 defsubr (&Scurrent_global_map);
3822 defsubr (&Scurrent_minor_mode_maps);
3823 defsubr (&Scurrent_active_maps);
3824 defsubr (&Saccessible_keymaps);
3825 defsubr (&Skey_description);
3826 defsubr (&Sdescribe_vector);
3827 defsubr (&Ssingle_key_description);
3828 defsubr (&Stext_char_description);
3829 defsubr (&Swhere_is_internal);
3830 defsubr (&Sdescribe_buffer_bindings);
3831 defsubr (&Sapropos_internal);
3834 void
3835 keys_of_keymap (void)
3837 initial_define_key (global_map, 033, "ESC-prefix");
3838 initial_define_key (global_map, Ctl ('X'), "Control-X-prefix");