Make url-queue not kill a random buffer on error
[emacs.git] / src / keymap.c
blob0ae055213c3e0c66218f5751dda3de166d8bc88a
1 /* Manipulation of keymaps
2 Copyright (C) 1985-1988, 1993-1995, 1998-2012 Free Software Foundation, Inc.
4 This file is part of GNU Emacs.
6 GNU Emacs is free software: you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation, either version 3 of the License, or
9 (at your option) any later version.
11 GNU Emacs is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
19 /* Old BUGS:
20 - [M-C-a] != [?\M-\C-a]
21 - [M-f2] != [?\e f2].
22 - (define-key map [menu-bar foo] <bla>) does not always place <bla>
23 at the head of the menu (if `foo' was already bound earlier and
24 then unbound, for example).
25 TODO:
26 - allow many more Meta -> ESC mappings (like Hyper -> C-e for Emacspeak)
27 - Think about the various defaulting that's currently hard-coded in
28 keyboard.c (uppercase->lowercase, char->charset, button-events, ...)
29 and make it more generic. Maybe we should allow mappings of the
30 form (PREDICATE . BINDING) as generalization of the default binding,
31 tho probably a cleaner way to attack this is to allow functional
32 keymaps (i.e. keymaps that are implemented as functions that implement
33 a few different methods like `lookup', `map', ...).
34 - Make [a] equivalent to [?a].
35 BEWARE:
36 - map-keymap should work meaningfully even if entries are added/removed
37 to the keymap while iterating through it:
38 start - removed <= visited <= start + added
41 #include <config.h>
42 #include <stdio.h>
43 #include <setjmp.h>
44 #include "lisp.h"
45 #include "commands.h"
46 #include "buffer.h"
47 #include "character.h"
48 #include "charset.h"
49 #include "keyboard.h"
50 #include "frame.h"
51 #include "termhooks.h"
52 #include "blockinput.h"
53 #include "puresize.h"
54 #include "intervals.h"
55 #include "keymap.h"
56 #include "window.h"
58 /* Actually allocate storage for these variables */
60 Lisp_Object current_global_map; /* Current global keymap */
62 Lisp_Object global_map; /* default global key bindings */
64 Lisp_Object meta_map; /* The keymap used for globally bound
65 ESC-prefixed default commands */
67 Lisp_Object control_x_map; /* The keymap used for globally bound
68 C-x-prefixed default commands */
70 /* The keymap used by the minibuf for local
71 bindings when spaces are allowed in the
72 minibuf */
74 /* The keymap used by the minibuf for local
75 bindings when spaces are not encouraged
76 in the minibuf */
78 /* keymap used for minibuffers when doing completion */
79 /* keymap used for minibuffers when doing completion and require a match */
80 static Lisp_Object Qkeymapp, Qnon_ascii;
81 Lisp_Object Qkeymap, Qmenu_item, Qremap;
82 static Lisp_Object QCadvertised_binding;
84 /* Alist of elements like (DEL . "\d"). */
85 static Lisp_Object exclude_keys;
87 /* Pre-allocated 2-element vector for Fcommand_remapping to use. */
88 static Lisp_Object command_remapping_vector;
90 /* Hash table used to cache a reverse-map to speed up calls to where-is. */
91 static Lisp_Object where_is_cache;
92 /* Which keymaps are reverse-stored in the cache. */
93 static Lisp_Object where_is_cache_keymaps;
95 static Lisp_Object Flookup_key (Lisp_Object, Lisp_Object, Lisp_Object);
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 int, Lisp_Object, Lisp_Object*, int, int);
104 static void describe_vector (Lisp_Object, Lisp_Object, Lisp_Object,
105 void (*) (Lisp_Object, Lisp_Object), int,
106 Lisp_Object, Lisp_Object, int, int);
107 static void silly_event_symbol_error (Lisp_Object);
108 static Lisp_Object get_keyelt (Lisp_Object, int);
110 /* Keymap object support - constructors and predicates. */
112 DEFUN ("make-keymap", Fmake_keymap, Smake_keymap, 0, 1, 0,
113 doc: /* Construct and return a new keymap, of the form (keymap CHARTABLE . ALIST).
114 CHARTABLE is a char-table that holds the bindings for all characters
115 without modifiers. All entries in it are initially nil, meaning
116 "command undefined". ALIST is an assoc-list which holds bindings for
117 function keys, mouse events, and any other things that appear in the
118 input stream. Initially, ALIST is nil.
120 The optional arg STRING supplies a menu name for the keymap
121 in case you use it as a menu with `x-popup-menu'. */)
122 (Lisp_Object string)
124 Lisp_Object tail;
125 if (!NILP (string))
126 tail = Fcons (string, Qnil);
127 else
128 tail = Qnil;
129 return Fcons (Qkeymap,
130 Fcons (Fmake_char_table (Qkeymap, Qnil), tail));
133 DEFUN ("make-sparse-keymap", Fmake_sparse_keymap, Smake_sparse_keymap, 0, 1, 0,
134 doc: /* Construct and return a new sparse keymap.
135 Its car is `keymap' and its cdr is an alist of (CHAR . DEFINITION),
136 which binds the character CHAR to DEFINITION, or (SYMBOL . DEFINITION),
137 which binds the function key or mouse event SYMBOL to DEFINITION.
138 Initially the alist is nil.
140 The optional arg STRING supplies a menu name for the keymap
141 in case you use it as a menu with `x-popup-menu'. */)
142 (Lisp_Object string)
144 if (!NILP (string))
146 if (!NILP (Vpurify_flag))
147 string = Fpurecopy (string);
148 return Fcons (Qkeymap, Fcons (string, Qnil));
150 return Fcons (Qkeymap, Qnil);
153 /* This function is used for installing the standard key bindings
154 at initialization time.
156 For example:
158 initial_define_key (control_x_map, Ctl('X'), "exchange-point-and-mark"); */
160 void
161 initial_define_key (Lisp_Object keymap, int key, const char *defname)
163 store_in_keymap (keymap, make_number (key), intern_c_string (defname));
166 void
167 initial_define_lispy_key (Lisp_Object keymap, const char *keyname, const char *defname)
169 store_in_keymap (keymap, intern_c_string (keyname), intern_c_string (defname));
172 DEFUN ("keymapp", Fkeymapp, Skeymapp, 1, 1, 0,
173 doc: /* Return t if OBJECT is a keymap.
175 A keymap is a list (keymap . ALIST),
176 or a symbol whose function definition is itself a keymap.
177 ALIST elements look like (CHAR . DEFN) or (SYMBOL . DEFN);
178 a vector of densely packed bindings for small character codes
179 is also allowed as an element. */)
180 (Lisp_Object object)
182 return (KEYMAPP (object) ? Qt : Qnil);
185 DEFUN ("keymap-prompt", Fkeymap_prompt, Skeymap_prompt, 1, 1, 0,
186 doc: /* Return the prompt-string of a keymap MAP.
187 If non-nil, the prompt is shown in the echo-area
188 when reading a key-sequence to be looked-up in this keymap. */)
189 (Lisp_Object map)
191 map = get_keymap (map, 0, 0);
192 while (CONSP (map))
194 Lisp_Object tem = XCAR (map);
195 if (STRINGP (tem))
196 return tem;
197 else if (KEYMAPP (tem))
199 tem = Fkeymap_prompt (tem);
200 if (!NILP (tem))
201 return tem;
203 map = XCDR (map);
205 return Qnil;
208 /* Check that OBJECT is a keymap (after dereferencing through any
209 symbols). If it is, return it.
211 If AUTOLOAD is non-zero and OBJECT is a symbol whose function value
212 is an autoload form, do the autoload and try again.
213 If AUTOLOAD is nonzero, callers must assume GC is possible.
215 If the map needs to be autoloaded, but AUTOLOAD is zero (and ERROR
216 is zero as well), return Qt.
218 ERROR_IF_NOT_KEYMAP controls how we respond if OBJECT isn't a keymap.
219 If ERROR_IF_NOT_KEYMAP is non-zero, signal an error; otherwise,
220 just return Qnil.
222 Note that most of the time, we don't want to pursue autoloads.
223 Functions like Faccessible_keymaps which scan entire keymap trees
224 shouldn't load every autoloaded keymap. I'm not sure about this,
225 but it seems to me that only read_key_sequence, Flookup_key, and
226 Fdefine_key should cause keymaps to be autoloaded.
228 This function can GC when AUTOLOAD is non-zero, because it calls
229 do_autoload which can GC. */
231 Lisp_Object
232 get_keymap (Lisp_Object object, int error_if_not_keymap, int autoload)
234 Lisp_Object tem;
236 autoload_retry:
237 if (NILP (object))
238 goto end;
239 if (CONSP (object) && EQ (XCAR (object), Qkeymap))
240 return object;
242 tem = indirect_function (object);
243 if (CONSP (tem))
245 if (EQ (XCAR (tem), Qkeymap))
246 return tem;
248 /* Should we do an autoload? Autoload forms for keymaps have
249 Qkeymap as their fifth element. */
250 if ((autoload || !error_if_not_keymap) && EQ (XCAR (tem), Qautoload)
251 && SYMBOLP (object))
253 Lisp_Object tail;
255 tail = Fnth (make_number (4), tem);
256 if (EQ (tail, Qkeymap))
258 if (autoload)
260 struct gcpro gcpro1, gcpro2;
262 GCPRO2 (tem, object);
263 do_autoload (tem, object);
264 UNGCPRO;
266 goto autoload_retry;
268 else
269 return object;
274 end:
275 if (error_if_not_keymap)
276 wrong_type_argument (Qkeymapp, object);
277 return Qnil;
280 /* Return the parent map of KEYMAP, or nil if it has none.
281 We assume that KEYMAP is a valid keymap. */
283 static Lisp_Object
284 keymap_parent (Lisp_Object keymap, int autoload)
286 Lisp_Object list;
288 keymap = get_keymap (keymap, 1, autoload);
290 /* Skip past the initial element `keymap'. */
291 list = XCDR (keymap);
292 for (; CONSP (list); list = XCDR (list))
294 /* See if there is another `keymap'. */
295 if (KEYMAPP (list))
296 return list;
299 return get_keymap (list, 0, autoload);
302 DEFUN ("keymap-parent", Fkeymap_parent, Skeymap_parent, 1, 1, 0,
303 doc: /* Return the parent keymap of KEYMAP.
304 If KEYMAP has no parent, return nil. */)
305 (Lisp_Object keymap)
307 return keymap_parent (keymap, 1);
310 /* Check whether MAP is one of MAPS parents. */
311 static int
312 keymap_memberp (Lisp_Object map, Lisp_Object maps)
314 if (NILP (map)) return 0;
315 while (KEYMAPP (maps) && !EQ (map, maps))
316 maps = keymap_parent (maps, 0);
317 return (EQ (map, maps));
320 /* Set the parent keymap of MAP to PARENT. */
322 DEFUN ("set-keymap-parent", Fset_keymap_parent, Sset_keymap_parent, 2, 2, 0,
323 doc: /* Modify KEYMAP to set its parent map to PARENT.
324 Return PARENT. PARENT should be nil or another keymap. */)
325 (Lisp_Object keymap, Lisp_Object parent)
327 Lisp_Object list, prev;
328 struct gcpro gcpro1, gcpro2;
330 /* Flush any reverse-map cache. */
331 where_is_cache = Qnil; where_is_cache_keymaps = Qt;
333 GCPRO2 (keymap, parent);
334 keymap = get_keymap (keymap, 1, 1);
336 if (!NILP (parent))
338 parent = get_keymap (parent, 1, 0);
340 /* Check for cycles. */
341 if (keymap_memberp (keymap, parent))
342 error ("Cyclic keymap inheritance");
345 /* Skip past the initial element `keymap'. */
346 prev = keymap;
347 while (1)
349 list = XCDR (prev);
350 /* If there is a parent keymap here, replace it.
351 If we came to the end, add the parent in PREV. */
352 if (!CONSP (list) || KEYMAPP (list))
354 CHECK_IMPURE (prev);
355 XSETCDR (prev, parent);
356 RETURN_UNGCPRO (parent);
358 prev = list;
363 /* Look up IDX in MAP. IDX may be any sort of event.
364 Note that this does only one level of lookup; IDX must be a single
365 event, not a sequence.
367 MAP must be a keymap or a list of keymaps.
369 If T_OK is non-zero, bindings for Qt are treated as default
370 bindings; any key left unmentioned by other tables and bindings is
371 given the binding of Qt.
373 If T_OK is zero, bindings for Qt are not treated specially.
375 If NOINHERIT, don't accept a subkeymap found in an inherited keymap.
377 Returns Qunbound if no binding was found (and returns Qnil if a nil
378 binding was found). */
380 static Lisp_Object
381 access_keymap_1 (Lisp_Object map, Lisp_Object idx, int t_ok, int noinherit, int autoload)
383 /* If idx is a list (some sort of mouse click, perhaps?),
384 the index we want to use is the car of the list, which
385 ought to be a symbol. */
386 idx = EVENT_HEAD (idx);
388 /* If idx is a symbol, it might have modifiers, which need to
389 be put in the canonical order. */
390 if (SYMBOLP (idx))
391 idx = reorder_modifiers (idx);
392 else if (INTEGERP (idx))
393 /* Clobber the high bits that can be present on a machine
394 with more than 24 bits of integer. */
395 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
397 /* Handle the special meta -> esc mapping. */
398 if (INTEGERP (idx) && XFASTINT (idx) & meta_modifier)
400 /* See if there is a meta-map. If there's none, there is
401 no binding for IDX, unless a default binding exists in MAP. */
402 struct gcpro gcpro1;
403 Lisp_Object event_meta_binding, event_meta_map;
404 GCPRO1 (map);
405 /* A strange value in which Meta is set would cause
406 infinite recursion. Protect against that. */
407 if (XINT (meta_prefix_char) & CHAR_META)
408 meta_prefix_char = make_number (27);
409 event_meta_binding = access_keymap_1 (map, meta_prefix_char, t_ok,
410 noinherit, autoload);
411 event_meta_map = get_keymap (event_meta_binding, 0, autoload);
412 UNGCPRO;
413 if (CONSP (event_meta_map))
415 map = event_meta_map;
416 idx = make_number (XFASTINT (idx) & ~meta_modifier);
418 else if (t_ok)
419 /* Set IDX to t, so that we only find a default binding. */
420 idx = Qt;
421 else
422 /* An explicit nil binding, or no binding at all. */
423 return NILP (event_meta_binding) ? Qnil : Qunbound;
426 /* t_binding is where we put a default binding that applies,
427 to use in case we do not find a binding specifically
428 for this key sequence. */
430 Lisp_Object tail;
431 Lisp_Object t_binding = Qunbound;
432 Lisp_Object retval = Qunbound;
433 Lisp_Object retval_tail = Qnil;
434 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
436 GCPRO4 (tail, idx, t_binding, retval);
438 for (tail = (CONSP (map) && EQ (Qkeymap, XCAR (map))) ? XCDR (map) : map;
439 (CONSP (tail)
440 || (tail = get_keymap (tail, 0, autoload), CONSP (tail)));
441 tail = XCDR (tail))
443 /* Qunbound in VAL means we have found no binding. */
444 Lisp_Object val = Qunbound;
445 Lisp_Object binding = XCAR (tail);
446 Lisp_Object submap = get_keymap (binding, 0, autoload);
448 if (EQ (binding, Qkeymap))
450 if (noinherit || NILP (retval))
451 /* If NOINHERIT, stop here, the rest is inherited. */
452 break;
453 else if (!EQ (retval, Qunbound))
455 Lisp_Object parent_entry;
456 eassert (KEYMAPP (retval));
457 parent_entry
458 = get_keymap (access_keymap_1 (tail, idx,
459 t_ok, 0, autoload),
460 0, autoload);
461 if (KEYMAPP (parent_entry))
463 if (CONSP (retval_tail))
464 XSETCDR (retval_tail, parent_entry);
465 else
467 retval_tail = Fcons (retval, parent_entry);
468 retval = Fcons (Qkeymap, retval_tail);
471 break;
474 else if (CONSP (submap))
476 val = access_keymap_1 (submap, idx, t_ok, noinherit, autoload);
478 else if (CONSP (binding))
480 Lisp_Object key = XCAR (binding);
482 if (EQ (key, idx))
483 val = XCDR (binding);
484 else if (t_ok && EQ (key, Qt))
486 t_binding = XCDR (binding);
487 t_ok = 0;
490 else if (VECTORP (binding))
492 if (INTEGERP (idx) && XFASTINT (idx) < ASIZE (binding))
493 val = AREF (binding, XFASTINT (idx));
495 else if (CHAR_TABLE_P (binding))
497 /* Character codes with modifiers
498 are not included in a char-table.
499 All character codes without modifiers are included. */
500 if (INTEGERP (idx) && (XFASTINT (idx) & CHAR_MODIFIER_MASK) == 0)
502 val = Faref (binding, idx);
503 /* `nil' has a special meaning for char-tables, so
504 we use something else to record an explicitly
505 unbound entry. */
506 if (NILP (val))
507 val = Qunbound;
511 /* If we found a binding, clean it up and return it. */
512 if (!EQ (val, Qunbound))
514 if (EQ (val, Qt))
515 /* A Qt binding is just like an explicit nil binding
516 (i.e. it shadows any parent binding but not bindings in
517 keymaps of lower precedence). */
518 val = Qnil;
520 val = get_keyelt (val, autoload);
522 if (!KEYMAPP (val))
524 if (NILP (retval) || EQ (retval, Qunbound))
525 retval = val;
526 if (!NILP (val))
527 break; /* Shadows everything that follows. */
529 else if (NILP (retval) || EQ (retval, Qunbound))
530 retval = val;
531 else if (CONSP (retval_tail))
533 XSETCDR (retval_tail, Fcons (val, Qnil));
534 retval_tail = XCDR (retval_tail);
536 else
538 retval_tail = Fcons (val, Qnil);
539 retval = Fcons (Qkeymap, Fcons (retval, retval_tail));
542 QUIT;
544 UNGCPRO;
545 return EQ (Qunbound, retval) ? get_keyelt (t_binding, autoload) : retval;
549 Lisp_Object
550 access_keymap (Lisp_Object map, Lisp_Object idx,
551 int t_ok, int noinherit, int autoload)
553 Lisp_Object val = access_keymap_1 (map, idx, t_ok, noinherit, autoload);
554 return EQ (val, Qunbound) ? Qnil : val;
557 static void
558 map_keymap_item (map_keymap_function_t fun, Lisp_Object args, Lisp_Object key, Lisp_Object val, void *data)
560 if (EQ (val, Qt))
561 val = Qnil;
562 (*fun) (key, val, args, data);
565 static void
566 map_keymap_char_table_item (Lisp_Object args, Lisp_Object key, Lisp_Object val)
568 if (!NILP (val))
570 map_keymap_function_t fun
571 = (map_keymap_function_t) XSAVE_VALUE (XCAR (args))->pointer;
572 args = XCDR (args);
573 /* If the key is a range, make a copy since map_char_table modifies
574 it in place. */
575 if (CONSP (key))
576 key = Fcons (XCAR (key), XCDR (key));
577 map_keymap_item (fun, XCDR (args), key, val,
578 XSAVE_VALUE (XCAR (args))->pointer);
582 /* Call FUN for every binding in MAP and stop at (and return) the parent.
583 FUN is called with 4 arguments: FUN (KEY, BINDING, ARGS, DATA). */
584 static Lisp_Object
585 map_keymap_internal (Lisp_Object map,
586 map_keymap_function_t fun,
587 Lisp_Object args,
588 void *data)
590 struct gcpro gcpro1, gcpro2, gcpro3;
591 Lisp_Object tail
592 = (CONSP (map) && EQ (Qkeymap, XCAR (map))) ? XCDR (map) : map;
594 GCPRO3 (map, args, tail);
595 for (; CONSP (tail) && !EQ (Qkeymap, XCAR (tail)); tail = XCDR (tail))
597 Lisp_Object binding = XCAR (tail);
599 if (KEYMAPP (binding)) /* An embedded parent. */
600 break;
601 else if (CONSP (binding))
602 map_keymap_item (fun, args, XCAR (binding), XCDR (binding), data);
603 else if (VECTORP (binding))
605 /* Loop over the char values represented in the vector. */
606 int len = ASIZE (binding);
607 int c;
608 for (c = 0; c < len; c++)
610 Lisp_Object character;
611 XSETFASTINT (character, c);
612 map_keymap_item (fun, args, character, AREF (binding, c), data);
615 else if (CHAR_TABLE_P (binding))
617 map_char_table (map_keymap_char_table_item, Qnil, binding,
618 Fcons (make_save_value ((void *) fun, 0),
619 Fcons (make_save_value (data, 0),
620 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 A non-zero AUTOLOAD indicates that autoloaded keymaps should be loaded. */
635 void
636 map_keymap (Lisp_Object map, map_keymap_function_t fun, Lisp_Object args, void *data, int autoload)
638 struct gcpro gcpro1;
639 GCPRO1 (args);
640 map = get_keymap (map, 1, autoload);
641 while (CONSP (map))
643 if (KEYMAPP (XCAR (map)))
645 map_keymap (XCAR (map), fun, args, data, autoload);
646 map = XCDR (map);
648 else
649 map = map_keymap_internal (map, fun, args, data);
650 if (!CONSP (map))
651 map = get_keymap (map, 0, autoload);
653 UNGCPRO;
656 static Lisp_Object Qkeymap_canonicalize;
658 /* Same as map_keymap, but does it right, properly eliminating duplicate
659 bindings due to inheritance. */
660 void
661 map_keymap_canonical (Lisp_Object map, map_keymap_function_t fun, Lisp_Object args, void *data)
663 struct gcpro gcpro1;
664 GCPRO1 (args);
665 /* map_keymap_canonical may be used from redisplay (e.g. when building menus)
666 so be careful to ignore errors and to inhibit redisplay. */
667 map = safe_call1 (Qkeymap_canonicalize, map);
668 /* No need to use `map_keymap' here because canonical map has no parent. */
669 map_keymap_internal (map, fun, args, data);
670 UNGCPRO;
673 DEFUN ("map-keymap-internal", Fmap_keymap_internal, Smap_keymap_internal, 2, 2, 0,
674 doc: /* Call FUNCTION once for each event binding in KEYMAP.
675 FUNCTION is called with two arguments: the event that is bound, and
676 the definition it is bound to. The event may be a character range.
677 If KEYMAP has a parent, this function returns it without processing it. */)
678 (Lisp_Object function, Lisp_Object keymap)
680 struct gcpro gcpro1;
681 GCPRO1 (function);
682 keymap = get_keymap (keymap, 1, 1);
683 keymap = map_keymap_internal (keymap, map_keymap_call, function, NULL);
684 UNGCPRO;
685 return keymap;
688 DEFUN ("map-keymap", Fmap_keymap, Smap_keymap, 2, 3, 0,
689 doc: /* Call FUNCTION once for each event binding in KEYMAP.
690 FUNCTION is called with two arguments: the event that is bound, and
691 the definition it is bound to. The event may be a character range.
693 If KEYMAP has a parent, the parent's bindings are included as well.
694 This works recursively: if the parent has itself a parent, then the
695 grandparent's bindings are also included and so on.
696 usage: (map-keymap FUNCTION KEYMAP) */)
697 (Lisp_Object function, Lisp_Object keymap, Lisp_Object sort_first)
699 if (! NILP (sort_first))
700 return call2 (intern ("map-keymap-sorted"), function, keymap);
702 map_keymap (keymap, map_keymap_call, function, NULL, 1);
703 return Qnil;
706 /* Given OBJECT which was found in a slot in a keymap,
707 trace indirect definitions to get the actual definition of that slot.
708 An indirect definition is a list of the form
709 (KEYMAP . INDEX), where KEYMAP is a keymap or a symbol defined as one
710 and INDEX is the object to look up in KEYMAP to yield the definition.
712 Also if OBJECT has a menu string as the first element,
713 remove that. Also remove a menu help string as second element.
715 If AUTOLOAD is nonzero, load autoloadable keymaps
716 that are referred to with indirection.
718 This can GC because menu_item_eval_property calls Feval. */
720 static Lisp_Object
721 get_keyelt (Lisp_Object object, int autoload)
723 while (1)
725 if (!(CONSP (object)))
726 /* This is really the value. */
727 return object;
729 /* If the keymap contents looks like (keymap ...) or (lambda ...)
730 then use itself. */
731 else if (EQ (XCAR (object), Qkeymap) || EQ (XCAR (object), Qlambda))
732 return object;
734 /* If the keymap contents looks like (menu-item name . DEFN)
735 or (menu-item name DEFN ...) then use DEFN.
736 This is a new format menu item. */
737 else if (EQ (XCAR (object), Qmenu_item))
739 if (CONSP (XCDR (object)))
741 Lisp_Object tem;
743 object = XCDR (XCDR (object));
744 tem = object;
745 if (CONSP (object))
746 object = XCAR (object);
748 /* If there's a `:filter FILTER', apply FILTER to the
749 menu-item's definition to get the real definition to
750 use. */
751 for (; CONSP (tem) && CONSP (XCDR (tem)); tem = XCDR (tem))
752 if (EQ (XCAR (tem), QCfilter) && autoload)
754 Lisp_Object filter;
755 filter = XCAR (XCDR (tem));
756 filter = list2 (filter, list2 (Qquote, object));
757 object = menu_item_eval_property (filter);
758 break;
761 else
762 /* Invalid keymap. */
763 return object;
766 /* If the keymap contents looks like (STRING . DEFN), use DEFN.
767 Keymap alist elements like (CHAR MENUSTRING . DEFN)
768 will be used by HierarKey menus. */
769 else if (STRINGP (XCAR (object)))
771 object = XCDR (object);
772 /* Also remove a menu help string, if any,
773 following the menu item name. */
774 if (CONSP (object) && STRINGP (XCAR (object)))
775 object = XCDR (object);
776 /* Also remove the sublist that caches key equivalences, if any. */
777 if (CONSP (object) && CONSP (XCAR (object)))
779 Lisp_Object carcar;
780 carcar = XCAR (XCAR (object));
781 if (NILP (carcar) || VECTORP (carcar))
782 object = XCDR (object);
786 /* If the contents are (KEYMAP . ELEMENT), go indirect. */
787 else if (KEYMAPP (XCAR (object)))
788 error ("Wow, indirect keymap entry!!");
789 else
790 return object;
794 static Lisp_Object
795 store_in_keymap (Lisp_Object keymap, register Lisp_Object idx, Lisp_Object def)
797 /* Flush any reverse-map cache. */
798 where_is_cache = Qnil;
799 where_is_cache_keymaps = Qt;
801 if (EQ (idx, Qkeymap))
802 error ("`keymap' is reserved for embedded parent maps");
804 /* If we are preparing to dump, and DEF is a menu element
805 with a menu item indicator, copy it to ensure it is not pure. */
806 if (CONSP (def) && PURE_P (def)
807 && (EQ (XCAR (def), Qmenu_item) || STRINGP (XCAR (def))))
808 def = Fcons (XCAR (def), XCDR (def));
810 if (!CONSP (keymap) || !EQ (XCAR (keymap), Qkeymap))
811 error ("attempt to define a key in a non-keymap");
813 /* If idx is a cons, and the car part is a character, idx must be of
814 the form (FROM-CHAR . TO-CHAR). */
815 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
816 CHECK_CHARACTER_CDR (idx);
817 else
818 /* If idx is a list (some sort of mouse click, perhaps?),
819 the index we want to use is the car of the list, which
820 ought to be a symbol. */
821 idx = EVENT_HEAD (idx);
823 /* If idx is a symbol, it might have modifiers, which need to
824 be put in the canonical order. */
825 if (SYMBOLP (idx))
826 idx = reorder_modifiers (idx);
827 else if (INTEGERP (idx))
828 /* Clobber the high bits that can be present on a machine
829 with more than 24 bits of integer. */
830 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
832 /* Scan the keymap for a binding of idx. */
834 Lisp_Object tail;
836 /* The cons after which we should insert new bindings. If the
837 keymap has a table element, we record its position here, so new
838 bindings will go after it; this way, the table will stay
839 towards the front of the alist and character lookups in dense
840 keymaps will remain fast. Otherwise, this just points at the
841 front of the keymap. */
842 Lisp_Object insertion_point;
844 insertion_point = keymap;
845 for (tail = XCDR (keymap); CONSP (tail); tail = XCDR (tail))
847 Lisp_Object elt;
849 elt = XCAR (tail);
850 if (VECTORP (elt))
852 if (NATNUMP (idx) && XFASTINT (idx) < ASIZE (elt))
854 CHECK_IMPURE (elt);
855 ASET (elt, XFASTINT (idx), def);
856 return def;
858 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
860 int from = XFASTINT (XCAR (idx));
861 int to = XFASTINT (XCDR (idx));
863 if (to >= ASIZE (elt))
864 to = ASIZE (elt) - 1;
865 for (; from <= to; from++)
866 ASET (elt, from, def);
867 if (to == XFASTINT (XCDR (idx)))
868 /* We have defined all keys in IDX. */
869 return def;
871 insertion_point = tail;
873 else if (CHAR_TABLE_P (elt))
875 /* Character codes with modifiers
876 are not included in a char-table.
877 All character codes without modifiers are included. */
878 if (NATNUMP (idx) && !(XFASTINT (idx) & CHAR_MODIFIER_MASK))
880 Faset (elt, idx,
881 /* `nil' has a special meaning for char-tables, so
882 we use something else to record an explicitly
883 unbound entry. */
884 NILP (def) ? Qt : def);
885 return def;
887 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
889 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
890 return def;
892 insertion_point = tail;
894 else if (CONSP (elt))
896 if (EQ (Qkeymap, XCAR (elt)))
897 { /* A sub keymap. This might be due to a lookup that found
898 two matching bindings (maybe because of a sub keymap).
899 It almost never happens (since the second binding normally
900 only happens in the inherited part of the keymap), but
901 if it does, we want to update the sub-keymap since the
902 main one might be temporary (built by access_keymap). */
903 tail = insertion_point = elt;
905 else if (EQ (idx, XCAR (elt)))
907 CHECK_IMPURE (elt);
908 XSETCDR (elt, def);
909 return def;
911 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
913 int from = XFASTINT (XCAR (idx));
914 int to = XFASTINT (XCDR (idx));
916 if (from <= XFASTINT (XCAR (elt))
917 && to >= XFASTINT (XCAR (elt)))
919 XSETCDR (elt, def);
920 if (from == to)
921 return def;
925 else if (EQ (elt, Qkeymap))
926 /* If we find a 'keymap' symbol in the spine of KEYMAP,
927 then we must have found the start of a second keymap
928 being used as the tail of KEYMAP, and a binding for IDX
929 should be inserted before it. */
930 goto keymap_end;
932 QUIT;
935 keymap_end:
936 /* We have scanned the entire keymap, and not found a binding for
937 IDX. Let's add one. */
939 Lisp_Object elt;
941 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
943 /* IDX specifies a range of characters, and not all of them
944 were handled yet, which means this keymap doesn't have a
945 char-table. So, we insert a char-table now. */
946 elt = Fmake_char_table (Qkeymap, Qnil);
947 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
949 else
950 elt = Fcons (idx, def);
951 CHECK_IMPURE (insertion_point);
952 XSETCDR (insertion_point, Fcons (elt, XCDR (insertion_point)));
956 return def;
959 static Lisp_Object Fcopy_keymap (Lisp_Object);
961 static Lisp_Object
962 copy_keymap_item (Lisp_Object elt)
964 Lisp_Object res, tem;
966 if (!CONSP (elt))
967 return elt;
969 res = tem = elt;
971 /* Is this a new format menu item. */
972 if (EQ (XCAR (tem), Qmenu_item))
974 /* Copy cell with menu-item marker. */
975 res = elt = Fcons (XCAR (tem), XCDR (tem));
976 tem = XCDR (elt);
977 if (CONSP (tem))
979 /* Copy cell with menu-item name. */
980 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
981 elt = XCDR (elt);
982 tem = XCDR (elt);
984 if (CONSP (tem))
986 /* Copy cell with binding and if the binding is a keymap,
987 copy that. */
988 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
989 elt = XCDR (elt);
990 tem = XCAR (elt);
991 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
992 XSETCAR (elt, Fcopy_keymap (tem));
993 tem = XCDR (elt);
994 if (CONSP (tem) && CONSP (XCAR (tem)))
995 /* Delete cache for key equivalences. */
996 XSETCDR (elt, XCDR (tem));
999 else
1001 /* It may be an old format menu item.
1002 Skip the optional menu string. */
1003 if (STRINGP (XCAR (tem)))
1005 /* Copy the cell, since copy-alist didn't go this deep. */
1006 res = elt = Fcons (XCAR (tem), XCDR (tem));
1007 tem = XCDR (elt);
1008 /* Also skip the optional menu help string. */
1009 if (CONSP (tem) && STRINGP (XCAR (tem)))
1011 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
1012 elt = XCDR (elt);
1013 tem = XCDR (elt);
1015 /* There may also be a list that caches key equivalences.
1016 Just delete it for the new keymap. */
1017 if (CONSP (tem)
1018 && CONSP (XCAR (tem))
1019 && (NILP (XCAR (XCAR (tem)))
1020 || VECTORP (XCAR (XCAR (tem)))))
1022 XSETCDR (elt, XCDR (tem));
1023 tem = XCDR (tem);
1025 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
1026 XSETCDR (elt, Fcopy_keymap (tem));
1028 else if (EQ (XCAR (tem), Qkeymap))
1029 res = Fcopy_keymap (elt);
1031 return res;
1034 static void
1035 copy_keymap_1 (Lisp_Object chartable, Lisp_Object idx, Lisp_Object elt)
1037 Fset_char_table_range (chartable, idx, copy_keymap_item (elt));
1040 DEFUN ("copy-keymap", Fcopy_keymap, Scopy_keymap, 1, 1, 0,
1041 doc: /* Return a copy of the keymap KEYMAP.
1042 The copy starts out with the same definitions of KEYMAP,
1043 but changing either the copy or KEYMAP does not affect the other.
1044 Any key definitions that are subkeymaps are recursively copied.
1045 However, a key definition which is a symbol whose definition is a keymap
1046 is not copied. */)
1047 (Lisp_Object keymap)
1049 register Lisp_Object copy, tail;
1050 keymap = get_keymap (keymap, 1, 0);
1051 copy = tail = Fcons (Qkeymap, Qnil);
1052 keymap = XCDR (keymap); /* Skip the `keymap' symbol. */
1054 while (CONSP (keymap) && !EQ (XCAR (keymap), Qkeymap))
1056 Lisp_Object elt = XCAR (keymap);
1057 if (CHAR_TABLE_P (elt))
1059 elt = Fcopy_sequence (elt);
1060 map_char_table (copy_keymap_1, Qnil, elt, elt);
1062 else if (VECTORP (elt))
1064 int i;
1065 elt = Fcopy_sequence (elt);
1066 for (i = 0; i < ASIZE (elt); i++)
1067 ASET (elt, i, copy_keymap_item (AREF (elt, i)));
1069 else if (CONSP (elt))
1071 if (EQ (XCAR (elt), Qkeymap))
1072 /* This is a sub keymap. */
1073 elt = Fcopy_keymap (elt);
1074 else
1075 elt = Fcons (XCAR (elt), copy_keymap_item (XCDR (elt)));
1077 XSETCDR (tail, Fcons (elt, Qnil));
1078 tail = XCDR (tail);
1079 keymap = XCDR (keymap);
1081 XSETCDR (tail, keymap);
1082 return copy;
1085 /* Simple Keymap mutators and accessors. */
1087 /* GC is possible in this function if it autoloads a keymap. */
1089 DEFUN ("define-key", Fdefine_key, Sdefine_key, 3, 3, 0,
1090 doc: /* In KEYMAP, define key sequence KEY as DEF.
1091 KEYMAP is a keymap.
1093 KEY is a string or a vector of symbols and characters, representing a
1094 sequence of keystrokes and events. Non-ASCII characters with codes
1095 above 127 (such as ISO Latin-1) can be represented by vectors.
1096 Two types of vector have special meanings:
1097 [remap COMMAND] remaps any key binding for COMMAND.
1098 [t] creates a default definition, which applies to any event with no
1099 other definition in KEYMAP.
1101 DEF is anything that can be a key's definition:
1102 nil (means key is undefined in this keymap),
1103 a command (a Lisp function suitable for interactive calling),
1104 a string (treated as a keyboard macro),
1105 a keymap (to define a prefix key),
1106 a symbol (when the key is looked up, the symbol will stand for its
1107 function definition, which should at that time be one of the above,
1108 or another symbol whose function definition is used, etc.),
1109 a cons (STRING . DEFN), meaning that DEFN is the definition
1110 (DEFN should be a valid definition in its own right),
1111 or a cons (MAP . CHAR), meaning use definition of CHAR in keymap MAP,
1112 or an extended menu item definition.
1113 (See info node `(elisp)Extended Menu Items'.)
1115 If KEYMAP is a sparse keymap with a binding for KEY, the existing
1116 binding is altered. If there is no binding for KEY, the new pair
1117 binding KEY to DEF is added at the front of KEYMAP. */)
1118 (Lisp_Object keymap, Lisp_Object key, Lisp_Object def)
1120 register int idx;
1121 register Lisp_Object c;
1122 register Lisp_Object cmd;
1123 int metized = 0;
1124 int meta_bit;
1125 int length;
1126 struct gcpro gcpro1, gcpro2, gcpro3;
1128 GCPRO3 (keymap, key, def);
1129 keymap = get_keymap (keymap, 1, 1);
1131 CHECK_VECTOR_OR_STRING (key);
1133 length = XFASTINT (Flength (key));
1134 if (length == 0)
1135 RETURN_UNGCPRO (Qnil);
1137 if (SYMBOLP (def) && !EQ (Vdefine_key_rebound_commands, Qt))
1138 Vdefine_key_rebound_commands = Fcons (def, Vdefine_key_rebound_commands);
1140 meta_bit = (VECTORP (key) || (STRINGP (key) && STRING_MULTIBYTE (key))
1141 ? meta_modifier : 0x80);
1143 if (VECTORP (def) && ASIZE (def) > 0 && CONSP (AREF (def, 0)))
1144 { /* DEF is apparently an XEmacs-style keyboard macro. */
1145 Lisp_Object tmp = Fmake_vector (make_number (ASIZE (def)), Qnil);
1146 int i = ASIZE (def);
1147 while (--i >= 0)
1149 Lisp_Object defi = AREF (def, i);
1150 if (CONSP (defi) && lucid_event_type_list_p (defi))
1151 defi = Fevent_convert_list (defi);
1152 ASET (tmp, i, defi);
1154 def = tmp;
1157 idx = 0;
1158 while (1)
1160 c = Faref (key, make_number (idx));
1162 if (CONSP (c))
1164 /* C may be a Lucid style event type list or a cons (FROM .
1165 TO) specifying a range of characters. */
1166 if (lucid_event_type_list_p (c))
1167 c = Fevent_convert_list (c);
1168 else if (CHARACTERP (XCAR (c)))
1169 CHECK_CHARACTER_CDR (c);
1172 if (SYMBOLP (c))
1173 silly_event_symbol_error (c);
1175 if (INTEGERP (c)
1176 && (XINT (c) & meta_bit)
1177 && !metized)
1179 c = meta_prefix_char;
1180 metized = 1;
1182 else
1184 if (INTEGERP (c))
1185 XSETINT (c, XINT (c) & ~meta_bit);
1187 metized = 0;
1188 idx++;
1191 if (!INTEGERP (c) && !SYMBOLP (c)
1192 && (!CONSP (c)
1193 /* If C is a range, it must be a leaf. */
1194 || (INTEGERP (XCAR (c)) && idx != length)))
1195 message_with_string ("Key sequence contains invalid event %s", c, 1);
1197 if (idx == length)
1198 RETURN_UNGCPRO (store_in_keymap (keymap, c, def));
1200 cmd = access_keymap (keymap, c, 0, 1, 1);
1202 /* If this key is undefined, make it a prefix. */
1203 if (NILP (cmd))
1204 cmd = define_as_prefix (keymap, c);
1206 keymap = get_keymap (cmd, 0, 1);
1207 if (!CONSP (keymap))
1209 const char *trailing_esc = ((EQ (c, meta_prefix_char) && metized)
1210 ? (idx == 0 ? "ESC" : " ESC")
1211 : "");
1213 /* We must use Fkey_description rather than just passing key to
1214 error; key might be a vector, not a string. */
1215 error ("Key sequence %s starts with non-prefix key %s%s",
1216 SDATA (Fkey_description (key, Qnil)),
1217 SDATA (Fkey_description (Fsubstring (key, make_number (0),
1218 make_number (idx)),
1219 Qnil)),
1220 trailing_esc);
1225 /* This function may GC (it calls Fkey_binding). */
1227 DEFUN ("command-remapping", Fcommand_remapping, Scommand_remapping, 1, 3, 0,
1228 doc: /* Return the remapping for command COMMAND.
1229 Returns nil if COMMAND is not remapped (or not a symbol).
1231 If the optional argument POSITION is non-nil, it specifies a mouse
1232 position as returned by `event-start' and `event-end', and the
1233 remapping occurs in the keymaps associated with it. It can also be a
1234 number or marker, in which case the keymap properties at the specified
1235 buffer position instead of point are used. The KEYMAPS argument is
1236 ignored if POSITION is non-nil.
1238 If the optional argument KEYMAPS is non-nil, it should be a list of
1239 keymaps to search for command remapping. Otherwise, search for the
1240 remapping in all currently active keymaps. */)
1241 (Lisp_Object command, Lisp_Object position, Lisp_Object keymaps)
1243 if (!SYMBOLP (command))
1244 return Qnil;
1246 ASET (command_remapping_vector, 1, command);
1248 if (NILP (keymaps))
1249 command = Fkey_binding (command_remapping_vector, Qnil, Qt, position);
1250 else
1251 command = Flookup_key (Fcons (Qkeymap, keymaps),
1252 command_remapping_vector, Qnil);
1253 return INTEGERP (command) ? Qnil : command;
1256 /* Value is number if KEY is too long; nil if valid but has no definition. */
1257 /* GC is possible in this function. */
1259 DEFUN ("lookup-key", Flookup_key, Slookup_key, 2, 3, 0,
1260 doc: /* In keymap KEYMAP, look up key sequence KEY. Return the definition.
1261 A value of nil means undefined. See doc of `define-key'
1262 for kinds of definitions.
1264 A number as value means KEY is "too long";
1265 that is, characters or symbols in it except for the last one
1266 fail to be a valid sequence of prefix characters in KEYMAP.
1267 The number is how many characters at the front of KEY
1268 it takes to reach a non-prefix key.
1270 Normally, `lookup-key' ignores bindings for t, which act as default
1271 bindings, used when nothing else in the keymap applies; this makes it
1272 usable as a general function for probing keymaps. However, if the
1273 third optional argument ACCEPT-DEFAULT is non-nil, `lookup-key' will
1274 recognize the default bindings, just as `read-key-sequence' does. */)
1275 (Lisp_Object keymap, Lisp_Object key, Lisp_Object accept_default)
1277 register int idx;
1278 register Lisp_Object cmd;
1279 register Lisp_Object c;
1280 int length;
1281 int t_ok = !NILP (accept_default);
1282 struct gcpro gcpro1, gcpro2;
1284 GCPRO2 (keymap, key);
1285 keymap = get_keymap (keymap, 1, 1);
1287 CHECK_VECTOR_OR_STRING (key);
1289 length = XFASTINT (Flength (key));
1290 if (length == 0)
1291 RETURN_UNGCPRO (keymap);
1293 idx = 0;
1294 while (1)
1296 c = Faref (key, make_number (idx++));
1298 if (CONSP (c) && lucid_event_type_list_p (c))
1299 c = Fevent_convert_list (c);
1301 /* Turn the 8th bit of string chars into a meta modifier. */
1302 if (STRINGP (key) && XINT (c) & 0x80 && !STRING_MULTIBYTE (key))
1303 XSETINT (c, (XINT (c) | meta_modifier) & ~0x80);
1305 /* Allow string since binding for `menu-bar-select-buffer'
1306 includes the buffer name in the key sequence. */
1307 if (!INTEGERP (c) && !SYMBOLP (c) && !CONSP (c) && !STRINGP (c))
1308 message_with_string ("Key sequence contains invalid event %s", c, 1);
1310 cmd = access_keymap (keymap, c, t_ok, 0, 1);
1311 if (idx == length)
1312 RETURN_UNGCPRO (cmd);
1314 keymap = get_keymap (cmd, 0, 1);
1315 if (!CONSP (keymap))
1316 RETURN_UNGCPRO (make_number (idx));
1318 QUIT;
1322 /* Make KEYMAP define event C as a keymap (i.e., as a prefix).
1323 Assume that currently it does not define C at all.
1324 Return the keymap. */
1326 static Lisp_Object
1327 define_as_prefix (Lisp_Object keymap, Lisp_Object c)
1329 Lisp_Object cmd;
1331 cmd = Fmake_sparse_keymap (Qnil);
1332 store_in_keymap (keymap, c, cmd);
1334 return cmd;
1337 /* Append a key to the end of a key sequence. We always make a vector. */
1339 static Lisp_Object
1340 append_key (Lisp_Object key_sequence, Lisp_Object key)
1342 Lisp_Object args[2];
1344 args[0] = key_sequence;
1346 args[1] = Fcons (key, Qnil);
1347 return Fvconcat (2, args);
1350 /* Given a event type C which is a symbol,
1351 signal an error if is a mistake such as RET or M-RET or C-DEL, etc. */
1353 static void
1354 silly_event_symbol_error (Lisp_Object c)
1356 Lisp_Object parsed, base, name, assoc;
1357 int modifiers;
1359 parsed = parse_modifiers (c);
1360 modifiers = XFASTINT (XCAR (XCDR (parsed)));
1361 base = XCAR (parsed);
1362 name = Fsymbol_name (base);
1363 /* This alist includes elements such as ("RET" . "\\r"). */
1364 assoc = Fassoc (name, exclude_keys);
1366 if (! NILP (assoc))
1368 char new_mods[sizeof ("\\A-\\C-\\H-\\M-\\S-\\s-")];
1369 char *p = new_mods;
1370 Lisp_Object keystring;
1371 if (modifiers & alt_modifier)
1372 { *p++ = '\\'; *p++ = 'A'; *p++ = '-'; }
1373 if (modifiers & ctrl_modifier)
1374 { *p++ = '\\'; *p++ = 'C'; *p++ = '-'; }
1375 if (modifiers & hyper_modifier)
1376 { *p++ = '\\'; *p++ = 'H'; *p++ = '-'; }
1377 if (modifiers & meta_modifier)
1378 { *p++ = '\\'; *p++ = 'M'; *p++ = '-'; }
1379 if (modifiers & shift_modifier)
1380 { *p++ = '\\'; *p++ = 'S'; *p++ = '-'; }
1381 if (modifiers & super_modifier)
1382 { *p++ = '\\'; *p++ = 's'; *p++ = '-'; }
1383 *p = 0;
1385 c = reorder_modifiers (c);
1386 keystring = concat2 (build_string (new_mods), XCDR (assoc));
1388 error ((modifiers & ~meta_modifier
1389 ? "To bind the key %s, use [?%s], not [%s]"
1390 : "To bind the key %s, use \"%s\", not [%s]"),
1391 SDATA (SYMBOL_NAME (c)), SDATA (keystring),
1392 SDATA (SYMBOL_NAME (c)));
1396 /* Global, local, and minor mode keymap stuff. */
1398 /* We can't put these variables inside current_minor_maps, since under
1399 some systems, static gets macro-defined to be the empty string.
1400 Ickypoo. */
1401 static Lisp_Object *cmm_modes = NULL, *cmm_maps = NULL;
1402 static ptrdiff_t cmm_size = 0;
1404 /* Store a pointer to an array of the currently active minor modes in
1405 *modeptr, a pointer to an array of the keymaps of the currently
1406 active minor modes in *mapptr, and return the number of maps
1407 *mapptr contains.
1409 This function always returns a pointer to the same buffer, and may
1410 free or reallocate it, so if you want to keep it for a long time or
1411 hand it out to lisp code, copy it. This procedure will be called
1412 for every key sequence read, so the nice lispy approach (return a
1413 new assoclist, list, what have you) for each invocation would
1414 result in a lot of consing over time.
1416 If we used xrealloc/xmalloc and ran out of memory, they would throw
1417 back to the command loop, which would try to read a key sequence,
1418 which would call this function again, resulting in an infinite
1419 loop. Instead, we'll use realloc/malloc and silently truncate the
1420 list, let the key sequence be read, and hope some other piece of
1421 code signals the error. */
1422 ptrdiff_t
1423 current_minor_maps (Lisp_Object **modeptr, Lisp_Object **mapptr)
1425 ptrdiff_t i = 0;
1426 int list_number = 0;
1427 Lisp_Object alist, assoc, var, val;
1428 Lisp_Object emulation_alists;
1429 Lisp_Object lists[2];
1431 emulation_alists = Vemulation_mode_map_alists;
1432 lists[0] = Vminor_mode_overriding_map_alist;
1433 lists[1] = Vminor_mode_map_alist;
1435 for (list_number = 0; list_number < 2; list_number++)
1437 if (CONSP (emulation_alists))
1439 alist = XCAR (emulation_alists);
1440 emulation_alists = XCDR (emulation_alists);
1441 if (SYMBOLP (alist))
1442 alist = find_symbol_value (alist);
1443 list_number = -1;
1445 else
1446 alist = lists[list_number];
1448 for ( ; CONSP (alist); alist = XCDR (alist))
1449 if ((assoc = XCAR (alist), CONSP (assoc))
1450 && (var = XCAR (assoc), SYMBOLP (var))
1451 && (val = find_symbol_value (var), !EQ (val, Qunbound))
1452 && !NILP (val))
1454 Lisp_Object temp;
1456 /* If a variable has an entry in Vminor_mode_overriding_map_alist,
1457 and also an entry in Vminor_mode_map_alist,
1458 ignore the latter. */
1459 if (list_number == 1)
1461 val = assq_no_quit (var, lists[0]);
1462 if (!NILP (val))
1463 continue;
1466 if (i >= cmm_size)
1468 ptrdiff_t newsize, allocsize;
1469 Lisp_Object *newmodes, *newmaps;
1471 /* Check for size calculation overflow. Other code
1472 (e.g., read_key_sequence) adds 3 to the count
1473 later, so subtract 3 from the limit here. */
1474 if (min (PTRDIFF_MAX, SIZE_MAX) / (2 * sizeof *newmodes) - 3
1475 < cmm_size)
1476 break;
1478 newsize = cmm_size == 0 ? 30 : cmm_size * 2;
1479 allocsize = newsize * sizeof *newmodes;
1481 /* Use malloc here. See the comment above this function.
1482 Avoid realloc here; it causes spurious traps on GNU/Linux [KFS] */
1483 BLOCK_INPUT;
1484 newmodes = (Lisp_Object *) malloc (allocsize);
1485 if (newmodes)
1487 if (cmm_modes)
1489 memcpy (newmodes, cmm_modes,
1490 cmm_size * sizeof cmm_modes[0]);
1491 free (cmm_modes);
1493 cmm_modes = newmodes;
1496 newmaps = (Lisp_Object *) malloc (allocsize);
1497 if (newmaps)
1499 if (cmm_maps)
1501 memcpy (newmaps, cmm_maps,
1502 cmm_size * sizeof cmm_maps[0]);
1503 free (cmm_maps);
1505 cmm_maps = newmaps;
1507 UNBLOCK_INPUT;
1509 if (newmodes == NULL || newmaps == NULL)
1510 break;
1511 cmm_size = newsize;
1514 /* Get the keymap definition--or nil if it is not defined. */
1515 temp = Findirect_function (XCDR (assoc), Qt);
1516 if (!NILP (temp))
1518 cmm_modes[i] = var;
1519 cmm_maps [i] = temp;
1520 i++;
1525 if (modeptr) *modeptr = cmm_modes;
1526 if (mapptr) *mapptr = cmm_maps;
1527 return i;
1530 DEFUN ("current-active-maps", Fcurrent_active_maps, Scurrent_active_maps,
1531 0, 2, 0,
1532 doc: /* Return a list of the currently active keymaps.
1533 OLP if non-nil indicates that we should obey `overriding-local-map' and
1534 `overriding-terminal-local-map'. POSITION can specify a click position
1535 like in the respective argument of `key-binding'. */)
1536 (Lisp_Object olp, Lisp_Object position)
1538 int count = SPECPDL_INDEX ();
1540 Lisp_Object keymaps = Fcons (current_global_map, Qnil);
1542 /* If a mouse click position is given, our variables are based on
1543 the buffer clicked on, not the current buffer. So we may have to
1544 switch the buffer here. */
1546 if (CONSP (position))
1548 Lisp_Object window;
1550 window = POSN_WINDOW (position);
1552 if (WINDOWP (window)
1553 && BUFFERP (XWINDOW (window)->buffer)
1554 && XBUFFER (XWINDOW (window)->buffer) != current_buffer)
1556 /* Arrange to go back to the original buffer once we're done
1557 processing the key sequence. We don't use
1558 save_excursion_{save,restore} here, in analogy to
1559 `read-key-sequence' to avoid saving point. Maybe this
1560 would not be a problem here, but it is easier to keep
1561 things the same.
1564 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
1566 set_buffer_internal (XBUFFER (XWINDOW (window)->buffer));
1570 if (!NILP (olp))
1572 if (!NILP (KVAR (current_kboard, Voverriding_terminal_local_map)))
1573 keymaps = Fcons (KVAR (current_kboard, Voverriding_terminal_local_map),
1574 keymaps);
1575 /* The doc said that overriding-terminal-local-map should
1576 override overriding-local-map. The code used them both,
1577 but it seems clearer to use just one. rms, jan 2005. */
1578 else if (!NILP (Voverriding_local_map))
1579 keymaps = Fcons (Voverriding_local_map, keymaps);
1581 if (NILP (XCDR (keymaps)))
1583 Lisp_Object *maps;
1584 int nmaps, i;
1585 EMACS_INT pt
1586 = INTEGERP (position) ? XINT (position)
1587 : MARKERP (position) ? marker_position (position)
1588 : PT;
1589 /* This usually returns the buffer's local map,
1590 but that can be overridden by a `local-map' property. */
1591 Lisp_Object local_map = get_local_map (pt, current_buffer, Qlocal_map);
1592 /* This returns nil unless there is a `keymap' property. */
1593 Lisp_Object keymap = get_local_map (pt, current_buffer, Qkeymap);
1595 if (CONSP (position))
1597 Lisp_Object string = POSN_STRING (position);
1599 /* For a mouse click, get the local text-property keymap
1600 of the place clicked on, rather than point. */
1602 if (POSN_INBUFFER_P (position))
1604 Lisp_Object pos;
1606 pos = POSN_BUFFER_POSN (position);
1607 if (INTEGERP (pos)
1608 && XINT (pos) >= BEG && XINT (pos) <= Z)
1610 local_map = get_local_map (XINT (pos),
1611 current_buffer, Qlocal_map);
1613 keymap = get_local_map (XINT (pos),
1614 current_buffer, Qkeymap);
1618 /* If on a mode line string with a local keymap,
1619 or for a click on a string, i.e. overlay string or a
1620 string displayed via the `display' property,
1621 consider `local-map' and `keymap' properties of
1622 that string. */
1624 if (CONSP (string) && STRINGP (XCAR (string)))
1626 Lisp_Object pos, map;
1628 pos = XCDR (string);
1629 string = XCAR (string);
1630 if (INTEGERP (pos)
1631 && XINT (pos) >= 0
1632 && XINT (pos) < SCHARS (string))
1634 map = Fget_text_property (pos, Qlocal_map, string);
1635 if (!NILP (map))
1636 local_map = map;
1638 map = Fget_text_property (pos, Qkeymap, string);
1639 if (!NILP (map))
1640 keymap = map;
1646 if (!NILP (local_map))
1647 keymaps = Fcons (local_map, keymaps);
1649 /* Now put all the minor mode keymaps on the list. */
1650 nmaps = current_minor_maps (0, &maps);
1652 for (i = --nmaps; i >= 0; i--)
1653 if (!NILP (maps[i]))
1654 keymaps = Fcons (maps[i], keymaps);
1656 if (!NILP (keymap))
1657 keymaps = Fcons (keymap, keymaps);
1660 unbind_to (count, Qnil);
1662 return keymaps;
1665 /* GC is possible in this function if it autoloads a keymap. */
1667 DEFUN ("key-binding", Fkey_binding, Skey_binding, 1, 4, 0,
1668 doc: /* Return the binding for command KEY in current keymaps.
1669 KEY is a string or vector, a sequence of keystrokes.
1670 The binding is probably a symbol with a function definition.
1672 Normally, `key-binding' ignores bindings for t, which act as default
1673 bindings, used when nothing else in the keymap applies; this makes it
1674 usable as a general function for probing keymaps. However, if the
1675 optional second argument ACCEPT-DEFAULT is non-nil, `key-binding' does
1676 recognize the default bindings, just as `read-key-sequence' does.
1678 Like the normal command loop, `key-binding' will remap the command
1679 resulting from looking up KEY by looking up the command in the
1680 current keymaps. However, if the optional third argument NO-REMAP
1681 is non-nil, `key-binding' returns the unmapped command.
1683 If KEY is a key sequence initiated with the mouse, the used keymaps
1684 will depend on the clicked mouse position with regard to the buffer
1685 and possible local keymaps on strings.
1687 If the optional argument POSITION is non-nil, it specifies a mouse
1688 position as returned by `event-start' and `event-end', and the lookup
1689 occurs in the keymaps associated with it instead of KEY. It can also
1690 be a number or marker, in which case the keymap properties at the
1691 specified buffer position instead of point are used.
1693 (Lisp_Object key, Lisp_Object accept_default, Lisp_Object no_remap, Lisp_Object position)
1695 Lisp_Object value;
1697 if (NILP (position) && VECTORP (key))
1699 Lisp_Object event
1700 /* mouse events may have a symbolic prefix indicating the
1701 scrollbar or mode line */
1702 = AREF (key, SYMBOLP (AREF (key, 0)) && ASIZE (key) > 1 ? 1 : 0);
1704 /* We are not interested in locations without event data */
1706 if (EVENT_HAS_PARAMETERS (event) && CONSP (XCDR (event)))
1708 Lisp_Object kind = EVENT_HEAD_KIND (EVENT_HEAD (event));
1709 if (EQ (kind, Qmouse_click))
1710 position = EVENT_START (event);
1714 value = Flookup_key (Fcons (Qkeymap, Fcurrent_active_maps (Qt, position)),
1715 key, accept_default);
1717 if (NILP (value) || INTEGERP (value))
1718 return Qnil;
1720 /* If the result of the ordinary keymap lookup is an interactive
1721 command, look for a key binding (ie. remapping) for that command. */
1723 if (NILP (no_remap) && SYMBOLP (value))
1725 Lisp_Object value1;
1726 if (value1 = Fcommand_remapping (value, position, Qnil), !NILP (value1))
1727 value = value1;
1730 return value;
1733 /* GC is possible in this function if it autoloads a keymap. */
1735 DEFUN ("local-key-binding", Flocal_key_binding, Slocal_key_binding, 1, 2, 0,
1736 doc: /* Return the binding for command KEYS in current local keymap only.
1737 KEYS is a string or vector, a sequence of keystrokes.
1738 The binding is probably a symbol with a function definition.
1740 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1741 bindings; see the description of `lookup-key' for more details about this. */)
1742 (Lisp_Object keys, Lisp_Object accept_default)
1744 register Lisp_Object map;
1745 map = BVAR (current_buffer, keymap);
1746 if (NILP (map))
1747 return Qnil;
1748 return Flookup_key (map, keys, accept_default);
1751 /* GC is possible in this function if it autoloads a keymap. */
1753 DEFUN ("global-key-binding", Fglobal_key_binding, Sglobal_key_binding, 1, 2, 0,
1754 doc: /* Return the binding for command KEYS in current global keymap only.
1755 KEYS is a string or vector, a sequence of keystrokes.
1756 The binding is probably a symbol with a function definition.
1757 This function's return values are the same as those of `lookup-key'
1758 \(which see).
1760 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1761 bindings; see the description of `lookup-key' for more details about this. */)
1762 (Lisp_Object keys, Lisp_Object accept_default)
1764 return Flookup_key (current_global_map, keys, accept_default);
1767 /* GC is possible in this function if it autoloads a keymap. */
1769 DEFUN ("minor-mode-key-binding", Fminor_mode_key_binding, Sminor_mode_key_binding, 1, 2, 0,
1770 doc: /* Find the visible minor mode bindings of KEY.
1771 Return an alist of pairs (MODENAME . BINDING), where MODENAME is
1772 the symbol which names the minor mode binding KEY, and BINDING is
1773 KEY's definition in that mode. In particular, if KEY has no
1774 minor-mode bindings, return nil. If the first binding is a
1775 non-prefix, all subsequent bindings will be omitted, since they would
1776 be ignored. Similarly, the list doesn't include non-prefix bindings
1777 that come after prefix bindings.
1779 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1780 bindings; see the description of `lookup-key' for more details about this. */)
1781 (Lisp_Object key, Lisp_Object accept_default)
1783 Lisp_Object *modes, *maps;
1784 int nmaps;
1785 Lisp_Object binding;
1786 int i, j;
1787 struct gcpro gcpro1, gcpro2;
1789 nmaps = current_minor_maps (&modes, &maps);
1790 /* Note that all these maps are GCPRO'd
1791 in the places where we found them. */
1793 binding = Qnil;
1794 GCPRO2 (key, binding);
1796 for (i = j = 0; i < nmaps; i++)
1797 if (!NILP (maps[i])
1798 && !NILP (binding = Flookup_key (maps[i], key, accept_default))
1799 && !INTEGERP (binding))
1801 if (KEYMAPP (binding))
1802 maps[j++] = Fcons (modes[i], binding);
1803 else if (j == 0)
1804 RETURN_UNGCPRO (Fcons (Fcons (modes[i], binding), Qnil));
1807 UNGCPRO;
1808 return Flist (j, maps);
1811 DEFUN ("define-prefix-command", Fdefine_prefix_command, Sdefine_prefix_command, 1, 3, 0,
1812 doc: /* Define COMMAND as a prefix command. COMMAND should be a symbol.
1813 A new sparse keymap is stored as COMMAND's function definition and its value.
1814 If a second optional argument MAPVAR is given, the map is stored as
1815 its value instead of as COMMAND's value; but COMMAND is still defined
1816 as a function.
1817 The third optional argument NAME, if given, supplies a menu name
1818 string for the map. This is required to use the keymap as a menu.
1819 This function returns COMMAND. */)
1820 (Lisp_Object command, Lisp_Object mapvar, Lisp_Object name)
1822 Lisp_Object map;
1823 map = Fmake_sparse_keymap (name);
1824 Ffset (command, map);
1825 if (!NILP (mapvar))
1826 Fset (mapvar, map);
1827 else
1828 Fset (command, map);
1829 return command;
1832 DEFUN ("use-global-map", Fuse_global_map, Suse_global_map, 1, 1, 0,
1833 doc: /* Select KEYMAP as the global keymap. */)
1834 (Lisp_Object keymap)
1836 keymap = get_keymap (keymap, 1, 1);
1837 current_global_map = keymap;
1839 return Qnil;
1842 DEFUN ("use-local-map", Fuse_local_map, Suse_local_map, 1, 1, 0,
1843 doc: /* Select KEYMAP as the local keymap.
1844 If KEYMAP is nil, that means no local keymap. */)
1845 (Lisp_Object keymap)
1847 if (!NILP (keymap))
1848 keymap = get_keymap (keymap, 1, 1);
1850 BVAR (current_buffer, keymap) = keymap;
1852 return Qnil;
1855 DEFUN ("current-local-map", Fcurrent_local_map, Scurrent_local_map, 0, 0, 0,
1856 doc: /* Return current buffer's local keymap, or nil if it has none.
1857 Normally the local keymap is set by the major mode with `use-local-map'. */)
1858 (void)
1860 return BVAR (current_buffer, keymap);
1863 DEFUN ("current-global-map", Fcurrent_global_map, Scurrent_global_map, 0, 0, 0,
1864 doc: /* Return the current global keymap. */)
1865 (void)
1867 return current_global_map;
1870 DEFUN ("current-minor-mode-maps", Fcurrent_minor_mode_maps, Scurrent_minor_mode_maps, 0, 0, 0,
1871 doc: /* Return a list of keymaps for the minor modes of the current buffer. */)
1872 (void)
1874 Lisp_Object *maps;
1875 int nmaps = current_minor_maps (0, &maps);
1877 return Flist (nmaps, maps);
1880 /* Help functions for describing and documenting keymaps. */
1882 struct accessible_keymaps_data {
1883 Lisp_Object maps, tail, thisseq;
1884 /* Does the current sequence end in the meta-prefix-char? */
1885 int is_metized;
1888 static void
1889 accessible_keymaps_1 (Lisp_Object key, Lisp_Object cmd, Lisp_Object args, void *data)
1890 /* Use void* data to be compatible with map_keymap_function_t. */
1892 struct accessible_keymaps_data *d = data; /* Cast! */
1893 Lisp_Object maps = d->maps;
1894 Lisp_Object tail = d->tail;
1895 Lisp_Object thisseq = d->thisseq;
1896 int is_metized = d->is_metized && INTEGERP (key);
1897 Lisp_Object tem;
1899 cmd = get_keymap (get_keyelt (cmd, 0), 0, 0);
1900 if (NILP (cmd))
1901 return;
1903 /* Look for and break cycles. */
1904 while (!NILP (tem = Frassq (cmd, maps)))
1906 Lisp_Object prefix = XCAR (tem);
1907 int lim = XINT (Flength (XCAR (tem)));
1908 if (lim <= XINT (Flength (thisseq)))
1909 { /* This keymap was already seen with a smaller prefix. */
1910 int i = 0;
1911 while (i < lim && EQ (Faref (prefix, make_number (i)),
1912 Faref (thisseq, make_number (i))))
1913 i++;
1914 if (i >= lim)
1915 /* `prefix' is a prefix of `thisseq' => there's a cycle. */
1916 return;
1918 /* This occurrence of `cmd' in `maps' does not correspond to a cycle,
1919 but maybe `cmd' occurs again further down in `maps', so keep
1920 looking. */
1921 maps = XCDR (Fmemq (tem, maps));
1924 /* If the last key in thisseq is meta-prefix-char,
1925 turn it into a meta-ized keystroke. We know
1926 that the event we're about to append is an
1927 ascii keystroke since we're processing a
1928 keymap table. */
1929 if (is_metized)
1931 int meta_bit = meta_modifier;
1932 Lisp_Object last = make_number (XINT (Flength (thisseq)) - 1);
1933 tem = Fcopy_sequence (thisseq);
1935 Faset (tem, last, make_number (XINT (key) | meta_bit));
1937 /* This new sequence is the same length as
1938 thisseq, so stick it in the list right
1939 after this one. */
1940 XSETCDR (tail,
1941 Fcons (Fcons (tem, cmd), XCDR (tail)));
1943 else
1945 tem = append_key (thisseq, key);
1946 nconc2 (tail, Fcons (Fcons (tem, cmd), Qnil));
1950 /* This function cannot GC. */
1952 DEFUN ("accessible-keymaps", Faccessible_keymaps, Saccessible_keymaps,
1953 1, 2, 0,
1954 doc: /* Find all keymaps accessible via prefix characters from KEYMAP.
1955 Returns a list of elements of the form (KEYS . MAP), where the sequence
1956 KEYS starting from KEYMAP gets you to MAP. These elements are ordered
1957 so that the KEYS increase in length. The first element is ([] . KEYMAP).
1958 An optional argument PREFIX, if non-nil, should be a key sequence;
1959 then the value includes only maps for prefixes that start with PREFIX. */)
1960 (Lisp_Object keymap, Lisp_Object prefix)
1962 Lisp_Object maps, tail;
1963 int prefixlen = XINT (Flength (prefix));
1965 /* no need for gcpro because we don't autoload any keymaps. */
1967 if (!NILP (prefix))
1969 /* If a prefix was specified, start with the keymap (if any) for
1970 that prefix, so we don't waste time considering other prefixes. */
1971 Lisp_Object tem;
1972 tem = Flookup_key (keymap, prefix, Qt);
1973 /* Flookup_key may give us nil, or a number,
1974 if the prefix is not defined in this particular map.
1975 It might even give us a list that isn't a keymap. */
1976 tem = get_keymap (tem, 0, 0);
1977 /* If the keymap is autoloaded `tem' is not a cons-cell, but we still
1978 want to return it. */
1979 if (!NILP (tem))
1981 /* Convert PREFIX to a vector now, so that later on
1982 we don't have to deal with the possibility of a string. */
1983 if (STRINGP (prefix))
1985 int i, i_byte, c;
1986 Lisp_Object copy;
1988 copy = Fmake_vector (make_number (SCHARS (prefix)), Qnil);
1989 for (i = 0, i_byte = 0; i < SCHARS (prefix);)
1991 int i_before = i;
1993 FETCH_STRING_CHAR_ADVANCE (c, prefix, i, i_byte);
1994 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
1995 c ^= 0200 | meta_modifier;
1996 ASET (copy, i_before, make_number (c));
1998 prefix = copy;
2000 maps = Fcons (Fcons (prefix, tem), Qnil);
2002 else
2003 return Qnil;
2005 else
2006 maps = Fcons (Fcons (Fmake_vector (make_number (0), Qnil),
2007 get_keymap (keymap, 1, 0)),
2008 Qnil);
2010 /* For each map in the list maps,
2011 look at any other maps it points to,
2012 and stick them at the end if they are not already in the list.
2014 This is a breadth-first traversal, where tail is the queue of
2015 nodes, and maps accumulates a list of all nodes visited. */
2017 for (tail = maps; CONSP (tail); tail = XCDR (tail))
2019 struct accessible_keymaps_data data;
2020 register Lisp_Object thismap = Fcdr (XCAR (tail));
2021 Lisp_Object last;
2023 data.thisseq = Fcar (XCAR (tail));
2024 data.maps = maps;
2025 data.tail = tail;
2026 last = make_number (XINT (Flength (data.thisseq)) - 1);
2027 /* Does the current sequence end in the meta-prefix-char? */
2028 data.is_metized = (XINT (last) >= 0
2029 /* Don't metize the last char of PREFIX. */
2030 && XINT (last) >= prefixlen
2031 && EQ (Faref (data.thisseq, last), meta_prefix_char));
2033 /* Since we can't run lisp code, we can't scan autoloaded maps. */
2034 if (CONSP (thismap))
2035 map_keymap (thismap, accessible_keymaps_1, Qnil, &data, 0);
2037 return maps;
2039 static Lisp_Object Qsingle_key_description, Qkey_description;
2041 /* This function cannot GC. */
2043 DEFUN ("key-description", Fkey_description, Skey_description, 1, 2, 0,
2044 doc: /* Return a pretty description of key-sequence KEYS.
2045 Optional arg PREFIX is the sequence of keys leading up to KEYS.
2046 Control characters turn into "C-foo" sequences, meta into "M-foo",
2047 spaces are put between sequence elements, etc. */)
2048 (Lisp_Object keys, Lisp_Object prefix)
2050 int len = 0;
2051 int i, i_byte;
2052 Lisp_Object *args;
2053 int size = XINT (Flength (keys));
2054 Lisp_Object list;
2055 Lisp_Object sep = build_string (" ");
2056 Lisp_Object key;
2057 int add_meta = 0;
2059 if (!NILP (prefix))
2060 size += XINT (Flength (prefix));
2062 /* This has one extra element at the end that we don't pass to Fconcat. */
2063 args = (Lisp_Object *) alloca (size * 4 * sizeof (Lisp_Object));
2065 /* In effect, this computes
2066 (mapconcat 'single-key-description keys " ")
2067 but we shouldn't use mapconcat because it can do GC. */
2069 next_list:
2070 if (!NILP (prefix))
2071 list = prefix, prefix = Qnil;
2072 else if (!NILP (keys))
2073 list = keys, keys = Qnil;
2074 else
2076 if (add_meta)
2078 args[len] = Fsingle_key_description (meta_prefix_char, Qnil);
2079 len += 2;
2081 else if (len == 0)
2082 return empty_unibyte_string;
2083 return Fconcat (len - 1, args);
2086 if (STRINGP (list))
2087 size = SCHARS (list);
2088 else if (VECTORP (list))
2089 size = ASIZE (list);
2090 else if (CONSP (list))
2091 size = XINT (Flength (list));
2092 else
2093 wrong_type_argument (Qarrayp, list);
2095 i = i_byte = 0;
2097 while (i < size)
2099 if (STRINGP (list))
2101 int c;
2102 FETCH_STRING_CHAR_ADVANCE (c, list, i, i_byte);
2103 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2104 c ^= 0200 | meta_modifier;
2105 XSETFASTINT (key, c);
2107 else if (VECTORP (list))
2109 key = AREF (list, i); i++;
2111 else
2113 key = XCAR (list);
2114 list = XCDR (list);
2115 i++;
2118 if (add_meta)
2120 if (!INTEGERP (key)
2121 || EQ (key, meta_prefix_char)
2122 || (XINT (key) & meta_modifier))
2124 args[len++] = Fsingle_key_description (meta_prefix_char, Qnil);
2125 args[len++] = sep;
2126 if (EQ (key, meta_prefix_char))
2127 continue;
2129 else
2130 XSETINT (key, (XINT (key) | meta_modifier) & ~0x80);
2131 add_meta = 0;
2133 else if (EQ (key, meta_prefix_char))
2135 add_meta = 1;
2136 continue;
2138 args[len++] = Fsingle_key_description (key, Qnil);
2139 args[len++] = sep;
2141 goto next_list;
2145 char *
2146 push_key_description (EMACS_INT ch, char *p, int force_multibyte)
2148 int c, c2;
2150 /* Clear all the meaningless bits above the meta bit. */
2151 c = ch & (meta_modifier | ~ - meta_modifier);
2152 c2 = c & ~(alt_modifier | ctrl_modifier | hyper_modifier
2153 | meta_modifier | shift_modifier | super_modifier);
2155 if (! CHARACTERP (make_number (c2)))
2157 /* KEY_DESCRIPTION_SIZE is large enough for this. */
2158 p += sprintf (p, "[%d]", c);
2159 return p;
2162 if (c & alt_modifier)
2164 *p++ = 'A';
2165 *p++ = '-';
2166 c -= alt_modifier;
2168 if ((c & ctrl_modifier) != 0
2169 || (c2 < ' ' && c2 != 27 && c2 != '\t' && c2 != Ctl ('M')))
2171 *p++ = 'C';
2172 *p++ = '-';
2173 c &= ~ctrl_modifier;
2175 if (c & hyper_modifier)
2177 *p++ = 'H';
2178 *p++ = '-';
2179 c -= hyper_modifier;
2181 if (c & meta_modifier)
2183 *p++ = 'M';
2184 *p++ = '-';
2185 c -= meta_modifier;
2187 if (c & shift_modifier)
2189 *p++ = 'S';
2190 *p++ = '-';
2191 c -= shift_modifier;
2193 if (c & super_modifier)
2195 *p++ = 's';
2196 *p++ = '-';
2197 c -= super_modifier;
2199 if (c < 040)
2201 if (c == 033)
2203 *p++ = 'E';
2204 *p++ = 'S';
2205 *p++ = 'C';
2207 else if (c == '\t')
2209 *p++ = 'T';
2210 *p++ = 'A';
2211 *p++ = 'B';
2213 else if (c == Ctl ('M'))
2215 *p++ = 'R';
2216 *p++ = 'E';
2217 *p++ = 'T';
2219 else
2221 /* `C-' already added above. */
2222 if (c > 0 && c <= Ctl ('Z'))
2223 *p++ = c + 0140;
2224 else
2225 *p++ = c + 0100;
2228 else if (c == 0177)
2230 *p++ = 'D';
2231 *p++ = 'E';
2232 *p++ = 'L';
2234 else if (c == ' ')
2236 *p++ = 'S';
2237 *p++ = 'P';
2238 *p++ = 'C';
2240 else if (c < 128
2241 || (NILP (BVAR (current_buffer, enable_multibyte_characters))
2242 && SINGLE_BYTE_CHAR_P (c)
2243 && !force_multibyte))
2245 *p++ = c;
2247 else
2249 /* Now we are sure that C is a valid character code. */
2250 if (NILP (BVAR (current_buffer, enable_multibyte_characters))
2251 && ! force_multibyte)
2252 *p++ = multibyte_char_to_unibyte (c);
2253 else
2254 p += CHAR_STRING (c, (unsigned char *) p);
2257 return p;
2260 /* This function cannot GC. */
2262 DEFUN ("single-key-description", Fsingle_key_description,
2263 Ssingle_key_description, 1, 2, 0,
2264 doc: /* Return a pretty description of command character KEY.
2265 Control characters turn into C-whatever, etc.
2266 Optional argument NO-ANGLES non-nil means don't put angle brackets
2267 around function keys and event symbols. */)
2268 (Lisp_Object key, Lisp_Object no_angles)
2270 if (CONSP (key) && lucid_event_type_list_p (key))
2271 key = Fevent_convert_list (key);
2273 if (CONSP (key) && INTEGERP (XCAR (key)) && INTEGERP (XCDR (key)))
2274 /* An interval from a map-char-table. */
2275 return concat3 (Fsingle_key_description (XCAR (key), no_angles),
2276 build_string (".."),
2277 Fsingle_key_description (XCDR (key), no_angles));
2279 key = EVENT_HEAD (key);
2281 if (INTEGERP (key)) /* Normal character. */
2283 char tem[KEY_DESCRIPTION_SIZE], *p;
2285 p = push_key_description (XINT (key), tem, 1);
2286 *p = 0;
2287 return make_specified_string (tem, -1, p - tem, 1);
2289 else if (SYMBOLP (key)) /* Function key or event-symbol. */
2291 if (NILP (no_angles))
2293 char *buffer;
2294 Lisp_Object result;
2295 USE_SAFE_ALLOCA;
2296 SAFE_ALLOCA (buffer, char *,
2297 sizeof "<>" + SBYTES (SYMBOL_NAME (key)));
2298 esprintf (buffer, "<%s>", SDATA (SYMBOL_NAME (key)));
2299 result = build_string (buffer);
2300 SAFE_FREE ();
2301 return result;
2303 else
2304 return Fsymbol_name (key);
2306 else if (STRINGP (key)) /* Buffer names in the menubar. */
2307 return Fcopy_sequence (key);
2308 else
2309 error ("KEY must be an integer, cons, symbol, or string");
2310 return Qnil;
2313 static char *
2314 push_text_char_description (register unsigned int c, register char *p)
2316 if (c >= 0200)
2318 *p++ = 'M';
2319 *p++ = '-';
2320 c -= 0200;
2322 if (c < 040)
2324 *p++ = '^';
2325 *p++ = c + 64; /* 'A' - 1 */
2327 else if (c == 0177)
2329 *p++ = '^';
2330 *p++ = '?';
2332 else
2333 *p++ = c;
2334 return p;
2337 /* This function cannot GC. */
2339 DEFUN ("text-char-description", Ftext_char_description, Stext_char_description, 1, 1, 0,
2340 doc: /* Return a pretty description of file-character CHARACTER.
2341 Control characters turn into "^char", etc. This differs from
2342 `single-key-description' which turns them into "C-char".
2343 Also, this function recognizes the 2**7 bit as the Meta character,
2344 whereas `single-key-description' uses the 2**27 bit for Meta.
2345 See Info node `(elisp)Describing Characters' for examples. */)
2346 (Lisp_Object character)
2348 /* Currently MAX_MULTIBYTE_LENGTH is 4 (< 6). */
2349 char str[6];
2350 int c;
2352 CHECK_NUMBER (character);
2354 c = XINT (character);
2355 if (!ASCII_CHAR_P (c))
2357 int len = CHAR_STRING (c, (unsigned char *) str);
2359 return make_multibyte_string (str, 1, len);
2362 *push_text_char_description (c & 0377, str) = 0;
2364 return build_string (str);
2367 static int where_is_preferred_modifier;
2369 /* Return 0 if SEQ uses non-preferred modifiers or non-char events.
2370 Else, return 2 if SEQ uses the where_is_preferred_modifier,
2371 and 1 otherwise. */
2372 static int
2373 preferred_sequence_p (Lisp_Object seq)
2375 int i;
2376 int len = XINT (Flength (seq));
2377 int result = 1;
2379 for (i = 0; i < len; i++)
2381 Lisp_Object ii, elt;
2383 XSETFASTINT (ii, i);
2384 elt = Faref (seq, ii);
2386 if (!INTEGERP (elt))
2387 return 0;
2388 else
2390 int modifiers = XINT (elt) & (CHAR_MODIFIER_MASK & ~CHAR_META);
2391 if (modifiers == where_is_preferred_modifier)
2392 result = 2;
2393 else if (modifiers)
2394 return 0;
2398 return result;
2402 /* where-is - finding a command in a set of keymaps. */
2404 static void where_is_internal_1 (Lisp_Object key, Lisp_Object binding,
2405 Lisp_Object args, void *data);
2407 /* Like Flookup_key, but uses a list of keymaps SHADOW instead of a single map.
2408 Returns the first non-nil binding found in any of those maps.
2409 If REMAP is true, pass the result of the lookup through command
2410 remapping before returning it. */
2412 static Lisp_Object
2413 shadow_lookup (Lisp_Object shadow, Lisp_Object key, Lisp_Object flag,
2414 int remap)
2416 Lisp_Object tail, value;
2418 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2420 value = Flookup_key (XCAR (tail), key, flag);
2421 if (NATNUMP (value))
2423 value = Flookup_key (XCAR (tail),
2424 Fsubstring (key, make_number (0), value), flag);
2425 if (!NILP (value))
2426 return Qnil;
2428 else if (!NILP (value))
2430 Lisp_Object remapping;
2431 if (remap && SYMBOLP (value)
2432 && (remapping = Fcommand_remapping (value, Qnil, shadow),
2433 !NILP (remapping)))
2434 return remapping;
2435 else
2436 return value;
2439 return Qnil;
2442 static Lisp_Object Vmouse_events;
2444 struct where_is_internal_data {
2445 Lisp_Object definition, this, last;
2446 int last_is_meta, noindirect;
2447 Lisp_Object sequences;
2450 /* This function can't GC, AFAIK. */
2451 /* Return the list of bindings found. This list is ordered "longest
2452 to shortest". It may include bindings that are actually shadowed
2453 by others, as well as duplicate bindings and remapping bindings.
2454 The list returned is potentially shared with where_is_cache, so
2455 be careful not to modify it via side-effects. */
2457 static Lisp_Object
2458 where_is_internal (Lisp_Object definition, Lisp_Object keymaps,
2459 int noindirect, int nomenus)
2461 Lisp_Object maps = Qnil;
2462 Lisp_Object found;
2463 struct where_is_internal_data data;
2465 /* Only important use of caching is for the menubar
2466 (i.e. where-is-internal called with (def nil t nil nil)). */
2467 if (nomenus && !noindirect)
2469 /* Check heuristic-consistency of the cache. */
2470 if (NILP (Fequal (keymaps, where_is_cache_keymaps)))
2471 where_is_cache = Qnil;
2473 if (NILP (where_is_cache))
2475 /* We need to create the cache. */
2476 Lisp_Object args[2];
2477 where_is_cache = Fmake_hash_table (0, args);
2478 where_is_cache_keymaps = Qt;
2480 else
2481 /* We can reuse the cache. */
2482 return Fgethash (definition, where_is_cache, Qnil);
2484 else
2485 /* Kill the cache so that where_is_internal_1 doesn't think
2486 we're filling it up. */
2487 where_is_cache = Qnil;
2489 found = keymaps;
2490 while (CONSP (found))
2492 maps =
2493 nconc2 (maps,
2494 Faccessible_keymaps (get_keymap (XCAR (found), 1, 0), Qnil));
2495 found = XCDR (found);
2498 data.sequences = Qnil;
2499 for (; CONSP (maps); maps = XCDR (maps))
2501 /* Key sequence to reach map, and the map that it reaches */
2502 register Lisp_Object this, map, tem;
2504 /* In order to fold [META-PREFIX-CHAR CHAR] sequences into
2505 [M-CHAR] sequences, check if last character of the sequence
2506 is the meta-prefix char. */
2507 Lisp_Object last;
2508 int last_is_meta;
2510 this = Fcar (XCAR (maps));
2511 map = Fcdr (XCAR (maps));
2512 last = make_number (XINT (Flength (this)) - 1);
2513 last_is_meta = (XINT (last) >= 0
2514 && EQ (Faref (this, last), meta_prefix_char));
2516 /* if (nomenus && !preferred_sequence_p (this)) */
2517 if (nomenus && XINT (last) >= 0
2518 && SYMBOLP (tem = Faref (this, make_number (0)))
2519 && !NILP (Fmemq (XCAR (parse_modifiers (tem)), Vmouse_events)))
2520 /* If no menu entries should be returned, skip over the
2521 keymaps bound to `menu-bar' and `tool-bar' and other
2522 non-ascii prefixes like `C-down-mouse-2'. */
2523 continue;
2525 QUIT;
2527 data.definition = definition;
2528 data.noindirect = noindirect;
2529 data.this = this;
2530 data.last = last;
2531 data.last_is_meta = last_is_meta;
2533 if (CONSP (map))
2534 map_keymap (map, where_is_internal_1, Qnil, &data, 0);
2537 if (nomenus && !noindirect)
2538 { /* Remember for which keymaps this cache was built.
2539 We do it here (late) because we want to keep where_is_cache_keymaps
2540 set to t while the cache isn't fully filled. */
2541 where_is_cache_keymaps = keymaps;
2542 /* During cache-filling, data.sequences is not filled by
2543 where_is_internal_1. */
2544 return Fgethash (definition, where_is_cache, Qnil);
2546 else
2547 return data.sequences;
2550 /* This function can GC if Flookup_key autoloads any keymaps. */
2552 DEFUN ("where-is-internal", Fwhere_is_internal, Swhere_is_internal, 1, 5, 0,
2553 doc: /* Return list of keys that invoke DEFINITION.
2554 If KEYMAP is a keymap, search only KEYMAP and the global keymap.
2555 If KEYMAP is nil, search all the currently active keymaps.
2556 If KEYMAP is a list of keymaps, search only those keymaps.
2558 If optional 3rd arg FIRSTONLY is non-nil, return the first key sequence found,
2559 rather than a list of all possible key sequences.
2560 If FIRSTONLY is the symbol `non-ascii', return the first binding found,
2561 no matter what it is.
2562 If FIRSTONLY has another non-nil value, prefer bindings
2563 that use the modifier key specified in `where-is-preferred-modifier'
2564 \(or their meta variants) and entirely reject menu bindings.
2566 If optional 4th arg NOINDIRECT is non-nil, don't follow indirections
2567 to other keymaps or slots. This makes it possible to search for an
2568 indirect definition itself.
2570 If optional 5th arg NO-REMAP is non-nil, don't search for key sequences
2571 that invoke a command which is remapped to DEFINITION, but include the
2572 remapped command in the returned list. */)
2573 (Lisp_Object definition, Lisp_Object keymap, Lisp_Object firstonly, Lisp_Object noindirect, Lisp_Object no_remap)
2575 /* The keymaps in which to search. */
2576 Lisp_Object keymaps;
2577 /* Potentially relevant bindings in "shortest to longest" order. */
2578 Lisp_Object sequences = Qnil;
2579 /* Actually relevant bindings. */
2580 Lisp_Object found = Qnil;
2581 /* 1 means ignore all menu bindings entirely. */
2582 int nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2583 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5, gcpro6;
2584 /* List of sequences found via remapping. Keep them in a separate
2585 variable, so as to push them later, since we prefer
2586 non-remapped binding. */
2587 Lisp_Object remapped_sequences = Qnil;
2588 /* Whether or not we're handling remapped sequences. This is needed
2589 because remapping is not done recursively by Fcommand_remapping: you
2590 can't remap a remapped command. */
2591 int remapped = 0;
2592 Lisp_Object tem = Qnil;
2594 /* Refresh the C version of the modifier preference. */
2595 where_is_preferred_modifier
2596 = parse_solitary_modifier (Vwhere_is_preferred_modifier);
2598 /* Find the relevant keymaps. */
2599 if (CONSP (keymap) && KEYMAPP (XCAR (keymap)))
2600 keymaps = keymap;
2601 else if (!NILP (keymap))
2602 keymaps = Fcons (keymap, Fcons (current_global_map, Qnil));
2603 else
2604 keymaps = Fcurrent_active_maps (Qnil, Qnil);
2606 GCPRO6 (definition, keymaps, found, sequences, remapped_sequences, tem);
2608 tem = Fcommand_remapping (definition, Qnil, keymaps);
2609 /* If `definition' is remapped to tem', then OT1H no key will run
2610 that command (since they will run `tem' instead), so we should
2611 return nil; but OTOH all keys bound to `definition' (or to `tem')
2612 will run the same command.
2613 So for menu-shortcut purposes, we want to find all the keys bound (maybe
2614 via remapping) to `tem'. But for the purpose of finding the keys that
2615 run `definition', then we'd want to just return nil.
2616 We choose to make it work right for menu-shortcuts, since it's the most
2617 common use.
2618 Known bugs: if you remap switch-to-buffer to toto, C-h f switch-to-buffer
2619 will tell you that switch-to-buffer is bound to C-x b even though C-x b
2620 will run toto instead. And if `toto' is itself remapped to forward-char,
2621 then C-h f toto will tell you that it's bound to C-f even though C-f does
2622 not run toto and it won't tell you that C-x b does run toto. */
2623 if (NILP (no_remap) && !NILP (tem))
2624 definition = tem;
2626 if (SYMBOLP (definition)
2627 && !NILP (firstonly)
2628 && !NILP (tem = Fget (definition, QCadvertised_binding)))
2630 /* We have a list of advertised bindings. */
2631 while (CONSP (tem))
2632 if (EQ (shadow_lookup (keymaps, XCAR (tem), Qnil, 0), definition))
2633 RETURN_UNGCPRO (XCAR (tem));
2634 else
2635 tem = XCDR (tem);
2636 if (EQ (shadow_lookup (keymaps, tem, Qnil, 0), definition))
2637 RETURN_UNGCPRO (tem);
2640 sequences = Freverse (where_is_internal (definition, keymaps,
2641 !NILP (noindirect), nomenus));
2643 while (CONSP (sequences)
2644 /* If we're at the end of the `sequences' list and we haven't
2645 considered remapped sequences yet, copy them over and
2646 process them. */
2647 || (!remapped && (sequences = remapped_sequences,
2648 remapped = 1,
2649 CONSP (sequences))))
2651 Lisp_Object sequence, function;
2653 sequence = XCAR (sequences);
2654 sequences = XCDR (sequences);
2656 /* Verify that this key binding is not shadowed by another
2657 binding for the same key, before we say it exists.
2659 Mechanism: look for local definition of this key and if
2660 it is defined and does not match what we found then
2661 ignore this key.
2663 Either nil or number as value from Flookup_key
2664 means undefined. */
2665 if (NILP (Fequal (shadow_lookup (keymaps, sequence, Qnil, remapped),
2666 definition)))
2667 continue;
2669 /* If the current sequence is a command remapping with
2670 format [remap COMMAND], find the key sequences
2671 which run COMMAND, and use those sequences instead. */
2672 if (NILP (no_remap) && !remapped
2673 && VECTORP (sequence) && ASIZE (sequence) == 2
2674 && EQ (AREF (sequence, 0), Qremap)
2675 && (function = AREF (sequence, 1), SYMBOLP (function)))
2677 Lisp_Object seqs = where_is_internal (function, keymaps,
2678 !NILP (noindirect), nomenus);
2679 remapped_sequences = nconc2 (Freverse (seqs), remapped_sequences);
2680 continue;
2683 /* Don't annoy user with strings from a menu such as the
2684 entries from the "Edit => Paste from Kill Menu".
2685 Change them all to "(any string)", so that there
2686 seems to be only one menu item to report. */
2687 if (! NILP (sequence))
2689 Lisp_Object tem1;
2690 tem1 = Faref (sequence, make_number (ASIZE (sequence) - 1));
2691 if (STRINGP (tem1))
2692 Faset (sequence, make_number (ASIZE (sequence) - 1),
2693 build_string ("(any string)"));
2696 /* It is a true unshadowed match. Record it, unless it's already
2697 been seen (as could happen when inheriting keymaps). */
2698 if (NILP (Fmember (sequence, found)))
2699 found = Fcons (sequence, found);
2701 /* If firstonly is Qnon_ascii, then we can return the first
2702 binding we find. If firstonly is not Qnon_ascii but not
2703 nil, then we should return the first ascii-only binding
2704 we find. */
2705 if (EQ (firstonly, Qnon_ascii))
2706 RETURN_UNGCPRO (sequence);
2707 else if (!NILP (firstonly)
2708 && 2 == preferred_sequence_p (sequence))
2709 RETURN_UNGCPRO (sequence);
2712 UNGCPRO;
2714 found = Fnreverse (found);
2716 /* firstonly may have been t, but we may have gone all the way through
2717 the keymaps without finding an all-ASCII key sequence. So just
2718 return the best we could find. */
2719 if (NILP (firstonly))
2720 return found;
2721 else if (where_is_preferred_modifier == 0)
2722 return Fcar (found);
2723 else
2724 { /* Maybe we did not find a preferred_modifier binding, but we did find
2725 some ASCII binding. */
2726 Lisp_Object bindings = found;
2727 while (CONSP (bindings))
2728 if (preferred_sequence_p (XCAR (bindings)))
2729 return XCAR (bindings);
2730 else
2731 bindings = XCDR (bindings);
2732 return Fcar (found);
2736 /* This function can GC because get_keyelt can. */
2738 static void
2739 where_is_internal_1 (Lisp_Object key, Lisp_Object binding, Lisp_Object args, void *data)
2741 struct where_is_internal_data *d = data; /* Cast! */
2742 Lisp_Object definition = d->definition;
2743 int noindirect = d->noindirect;
2744 Lisp_Object this = d->this;
2745 Lisp_Object last = d->last;
2746 int last_is_meta = d->last_is_meta;
2747 Lisp_Object sequence;
2749 /* Search through indirections unless that's not wanted. */
2750 if (!noindirect)
2751 binding = get_keyelt (binding, 0);
2753 /* End this iteration if this element does not match
2754 the target. */
2756 if (!(!NILP (where_is_cache) /* everything "matches" during cache-fill. */
2757 || EQ (binding, definition)
2758 || (CONSP (definition) && !NILP (Fequal (binding, definition)))))
2759 /* Doesn't match. */
2760 return;
2762 /* We have found a match. Construct the key sequence where we found it. */
2763 if (INTEGERP (key) && last_is_meta)
2765 sequence = Fcopy_sequence (this);
2766 Faset (sequence, last, make_number (XINT (key) | meta_modifier));
2768 else
2770 if (CONSP (key))
2771 key = Fcons (XCAR (key), XCDR (key));
2772 sequence = append_key (this, key);
2775 if (!NILP (where_is_cache))
2777 Lisp_Object sequences = Fgethash (binding, where_is_cache, Qnil);
2778 Fputhash (binding, Fcons (sequence, sequences), where_is_cache);
2780 else
2781 d->sequences = Fcons (sequence, d->sequences);
2784 /* describe-bindings - summarizing all the bindings in a set of keymaps. */
2786 DEFUN ("describe-buffer-bindings", Fdescribe_buffer_bindings, Sdescribe_buffer_bindings, 1, 3, 0,
2787 doc: /* Insert the list of all defined keys and their definitions.
2788 The list is inserted in the current buffer, while the bindings are
2789 looked up in BUFFER.
2790 The optional argument PREFIX, if non-nil, should be a key sequence;
2791 then we display only bindings that start with that prefix.
2792 The optional argument MENUS, if non-nil, says to mention menu bindings.
2793 \(Ordinarily these are omitted from the output.) */)
2794 (Lisp_Object buffer, Lisp_Object prefix, Lisp_Object menus)
2796 Lisp_Object outbuf, shadow;
2797 int nomenu = NILP (menus);
2798 register Lisp_Object start1;
2799 struct gcpro gcpro1;
2801 const char *alternate_heading
2802 = "\
2803 Keyboard translations:\n\n\
2804 You type Translation\n\
2805 -------- -----------\n";
2807 CHECK_BUFFER (buffer);
2809 shadow = Qnil;
2810 GCPRO1 (shadow);
2812 outbuf = Fcurrent_buffer ();
2814 /* Report on alternates for keys. */
2815 if (STRINGP (KVAR (current_kboard, Vkeyboard_translate_table)) && !NILP (prefix))
2817 int c;
2818 const unsigned char *translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2819 int translate_len = SCHARS (KVAR (current_kboard, Vkeyboard_translate_table));
2821 for (c = 0; c < translate_len; c++)
2822 if (translate[c] != c)
2824 char buf[KEY_DESCRIPTION_SIZE];
2825 char *bufend;
2827 if (alternate_heading)
2829 insert_string (alternate_heading);
2830 alternate_heading = 0;
2833 bufend = push_key_description (translate[c], buf, 1);
2834 insert (buf, bufend - buf);
2835 Findent_to (make_number (16), make_number (1));
2836 bufend = push_key_description (c, buf, 1);
2837 insert (buf, bufend - buf);
2839 insert ("\n", 1);
2841 /* Insert calls signal_after_change which may GC. */
2842 translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2845 insert ("\n", 1);
2848 if (!NILP (Vkey_translation_map))
2849 describe_map_tree (Vkey_translation_map, 0, Qnil, prefix,
2850 "Key translations", nomenu, 1, 0, 0);
2853 /* Print the (major mode) local map. */
2854 start1 = Qnil;
2855 if (!NILP (KVAR (current_kboard, Voverriding_terminal_local_map)))
2856 start1 = KVAR (current_kboard, Voverriding_terminal_local_map);
2857 else if (!NILP (Voverriding_local_map))
2858 start1 = Voverriding_local_map;
2860 if (!NILP (start1))
2862 describe_map_tree (start1, 1, shadow, prefix,
2863 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2864 shadow = Fcons (start1, shadow);
2866 else
2868 /* Print the minor mode and major mode keymaps. */
2869 int i, nmaps;
2870 Lisp_Object *modes, *maps;
2872 /* Temporarily switch to `buffer', so that we can get that buffer's
2873 minor modes correctly. */
2874 Fset_buffer (buffer);
2876 nmaps = current_minor_maps (&modes, &maps);
2877 Fset_buffer (outbuf);
2879 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2880 XBUFFER (buffer), Qkeymap);
2881 if (!NILP (start1))
2883 describe_map_tree (start1, 1, shadow, prefix,
2884 "\f\n`keymap' Property Bindings", nomenu,
2885 0, 0, 0);
2886 shadow = Fcons (start1, shadow);
2889 /* Print the minor mode maps. */
2890 for (i = 0; i < nmaps; i++)
2892 /* The title for a minor mode keymap
2893 is constructed at run time.
2894 We let describe_map_tree do the actual insertion
2895 because it takes care of other features when doing so. */
2896 char *title, *p;
2898 if (!SYMBOLP (modes[i]))
2899 abort ();
2901 p = title = (char *) alloca (42 + SCHARS (SYMBOL_NAME (modes[i])));
2902 *p++ = '\f';
2903 *p++ = '\n';
2904 *p++ = '`';
2905 memcpy (p, SDATA (SYMBOL_NAME (modes[i])),
2906 SCHARS (SYMBOL_NAME (modes[i])));
2907 p += SCHARS (SYMBOL_NAME (modes[i]));
2908 *p++ = '\'';
2909 memcpy (p, " Minor Mode Bindings", strlen (" Minor Mode Bindings"));
2910 p += strlen (" Minor Mode Bindings");
2911 *p = 0;
2913 describe_map_tree (maps[i], 1, shadow, prefix,
2914 title, nomenu, 0, 0, 0);
2915 shadow = Fcons (maps[i], shadow);
2918 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2919 XBUFFER (buffer), Qlocal_map);
2920 if (!NILP (start1))
2922 if (EQ (start1, BVAR (XBUFFER (buffer), keymap)))
2923 describe_map_tree (start1, 1, shadow, prefix,
2924 "\f\nMajor Mode Bindings", nomenu, 0, 0, 0);
2925 else
2926 describe_map_tree (start1, 1, shadow, prefix,
2927 "\f\n`local-map' Property Bindings",
2928 nomenu, 0, 0, 0);
2930 shadow = Fcons (start1, shadow);
2934 describe_map_tree (current_global_map, 1, shadow, prefix,
2935 "\f\nGlobal Bindings", nomenu, 0, 1, 0);
2937 /* Print the function-key-map translations under this prefix. */
2938 if (!NILP (KVAR (current_kboard, Vlocal_function_key_map)))
2939 describe_map_tree (KVAR (current_kboard, Vlocal_function_key_map), 0, Qnil, prefix,
2940 "\f\nFunction key map translations", nomenu, 1, 0, 0);
2942 /* Print the input-decode-map translations under this prefix. */
2943 if (!NILP (KVAR (current_kboard, Vinput_decode_map)))
2944 describe_map_tree (KVAR (current_kboard, Vinput_decode_map), 0, Qnil, prefix,
2945 "\f\nInput decoding map translations", nomenu, 1, 0, 0);
2947 UNGCPRO;
2948 return Qnil;
2951 /* Insert a description of the key bindings in STARTMAP,
2952 followed by those of all maps reachable through STARTMAP.
2953 If PARTIAL is nonzero, omit certain "uninteresting" commands
2954 (such as `undefined').
2955 If SHADOW is non-nil, it is a list of maps;
2956 don't mention keys which would be shadowed by any of them.
2957 PREFIX, if non-nil, says mention only keys that start with PREFIX.
2958 TITLE, if not 0, is a string to insert at the beginning.
2959 TITLE should not end with a colon or a newline; we supply that.
2960 If NOMENU is not 0, then omit menu-bar commands.
2962 If TRANSL is nonzero, the definitions are actually key translations
2963 so print strings and vectors differently.
2965 If ALWAYS_TITLE is nonzero, print the title even if there are no maps
2966 to look through.
2968 If MENTION_SHADOW is nonzero, then when something is shadowed by SHADOW,
2969 don't omit it; instead, mention it but say it is shadowed.
2971 Return whether something was inserted or not. */
2974 describe_map_tree (Lisp_Object startmap, int partial, Lisp_Object shadow,
2975 Lisp_Object prefix, const char *title, int nomenu, int transl,
2976 int always_title, int mention_shadow)
2978 Lisp_Object maps, orig_maps, seen, sub_shadows;
2979 struct gcpro gcpro1, gcpro2, gcpro3;
2980 int something = 0;
2981 const char *key_heading
2982 = "\
2983 key binding\n\
2984 --- -------\n";
2986 orig_maps = maps = Faccessible_keymaps (startmap, prefix);
2987 seen = Qnil;
2988 sub_shadows = Qnil;
2989 GCPRO3 (maps, seen, sub_shadows);
2991 if (nomenu)
2993 Lisp_Object list;
2995 /* Delete from MAPS each element that is for the menu bar. */
2996 for (list = maps; CONSP (list); list = XCDR (list))
2998 Lisp_Object elt, elt_prefix, tem;
3000 elt = XCAR (list);
3001 elt_prefix = Fcar (elt);
3002 if (ASIZE (elt_prefix) >= 1)
3004 tem = Faref (elt_prefix, make_number (0));
3005 if (EQ (tem, Qmenu_bar))
3006 maps = Fdelq (elt, maps);
3011 if (!NILP (maps) || always_title)
3013 if (title)
3015 insert_string (title);
3016 if (!NILP (prefix))
3018 insert_string (" Starting With ");
3019 insert1 (Fkey_description (prefix, Qnil));
3021 insert_string (":\n");
3023 insert_string (key_heading);
3024 something = 1;
3027 for (; CONSP (maps); maps = XCDR (maps))
3029 register Lisp_Object elt, elt_prefix, tail;
3031 elt = XCAR (maps);
3032 elt_prefix = Fcar (elt);
3034 sub_shadows = Qnil;
3036 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
3038 Lisp_Object shmap;
3040 shmap = XCAR (tail);
3042 /* If the sequence by which we reach this keymap is zero-length,
3043 then the shadow map for this keymap is just SHADOW. */
3044 if ((STRINGP (elt_prefix) && SCHARS (elt_prefix) == 0)
3045 || (VECTORP (elt_prefix) && ASIZE (elt_prefix) == 0))
3047 /* If the sequence by which we reach this keymap actually has
3048 some elements, then the sequence's definition in SHADOW is
3049 what we should use. */
3050 else
3052 shmap = Flookup_key (shmap, Fcar (elt), Qt);
3053 if (INTEGERP (shmap))
3054 shmap = Qnil;
3057 /* If shmap is not nil and not a keymap,
3058 it completely shadows this map, so don't
3059 describe this map at all. */
3060 if (!NILP (shmap) && !KEYMAPP (shmap))
3061 goto skip;
3063 if (!NILP (shmap))
3064 sub_shadows = Fcons (shmap, sub_shadows);
3067 /* Maps we have already listed in this loop shadow this map. */
3068 for (tail = orig_maps; !EQ (tail, maps); tail = XCDR (tail))
3070 Lisp_Object tem;
3071 tem = Fequal (Fcar (XCAR (tail)), elt_prefix);
3072 if (!NILP (tem))
3073 sub_shadows = Fcons (XCDR (XCAR (tail)), sub_shadows);
3076 describe_map (Fcdr (elt), elt_prefix,
3077 transl ? describe_translation : describe_command,
3078 partial, sub_shadows, &seen, nomenu, mention_shadow);
3080 skip: ;
3083 UNGCPRO;
3084 return something;
3087 static int previous_description_column;
3089 static void
3090 describe_command (Lisp_Object definition, Lisp_Object args)
3092 register Lisp_Object tem1;
3093 EMACS_INT column = current_column ();
3094 int description_column;
3096 /* If column 16 is no good, go to col 32;
3097 but don't push beyond that--go to next line instead. */
3098 if (column > 30)
3100 insert_char ('\n');
3101 description_column = 32;
3103 else if (column > 14 || (column > 10 && previous_description_column == 32))
3104 description_column = 32;
3105 else
3106 description_column = 16;
3108 Findent_to (make_number (description_column), make_number (1));
3109 previous_description_column = description_column;
3111 if (SYMBOLP (definition))
3113 tem1 = SYMBOL_NAME (definition);
3114 insert1 (tem1);
3115 insert_string ("\n");
3117 else if (STRINGP (definition) || VECTORP (definition))
3118 insert_string ("Keyboard Macro\n");
3119 else if (KEYMAPP (definition))
3120 insert_string ("Prefix Command\n");
3121 else
3122 insert_string ("??\n");
3125 static void
3126 describe_translation (Lisp_Object definition, Lisp_Object args)
3128 register Lisp_Object tem1;
3130 Findent_to (make_number (16), make_number (1));
3132 if (SYMBOLP (definition))
3134 tem1 = SYMBOL_NAME (definition);
3135 insert1 (tem1);
3136 insert_string ("\n");
3138 else if (STRINGP (definition) || VECTORP (definition))
3140 insert1 (Fkey_description (definition, Qnil));
3141 insert_string ("\n");
3143 else if (KEYMAPP (definition))
3144 insert_string ("Prefix Command\n");
3145 else
3146 insert_string ("??\n");
3149 /* describe_map puts all the usable elements of a sparse keymap
3150 into an array of `struct describe_map_elt',
3151 then sorts them by the events. */
3153 struct describe_map_elt { Lisp_Object event; Lisp_Object definition; int shadowed; };
3155 /* qsort comparison function for sorting `struct describe_map_elt' by
3156 the event field. */
3158 static int
3159 describe_map_compare (const void *aa, const void *bb)
3161 const struct describe_map_elt *a = aa, *b = bb;
3162 if (INTEGERP (a->event) && INTEGERP (b->event))
3163 return ((XINT (a->event) > XINT (b->event))
3164 - (XINT (a->event) < XINT (b->event)));
3165 if (!INTEGERP (a->event) && INTEGERP (b->event))
3166 return 1;
3167 if (INTEGERP (a->event) && !INTEGERP (b->event))
3168 return -1;
3169 if (SYMBOLP (a->event) && SYMBOLP (b->event))
3170 return (!NILP (Fstring_lessp (a->event, b->event)) ? -1
3171 : !NILP (Fstring_lessp (b->event, a->event)) ? 1
3172 : 0);
3173 return 0;
3176 /* Describe the contents of map MAP, assuming that this map itself is
3177 reached by the sequence of prefix keys PREFIX (a string or vector).
3178 PARTIAL, SHADOW, NOMENU are as in `describe_map_tree' above. */
3180 static void
3181 describe_map (Lisp_Object map, Lisp_Object prefix,
3182 void (*elt_describer) (Lisp_Object, Lisp_Object),
3183 int partial, Lisp_Object shadow,
3184 Lisp_Object *seen, int nomenu, int mention_shadow)
3186 Lisp_Object tail, definition, event;
3187 Lisp_Object tem;
3188 Lisp_Object suppress;
3189 Lisp_Object kludge;
3190 int first = 1;
3191 struct gcpro gcpro1, gcpro2, gcpro3;
3193 /* These accumulate the values from sparse keymap bindings,
3194 so we can sort them and handle them in order. */
3195 int length_needed = 0;
3196 struct describe_map_elt *vect;
3197 int slots_used = 0;
3198 int i;
3200 suppress = Qnil;
3202 if (partial)
3203 suppress = intern ("suppress-keymap");
3205 /* This vector gets used to present single keys to Flookup_key. Since
3206 that is done once per keymap element, we don't want to cons up a
3207 fresh vector every time. */
3208 kludge = Fmake_vector (make_number (1), Qnil);
3209 definition = Qnil;
3211 GCPRO3 (prefix, definition, kludge);
3213 map = call1 (Qkeymap_canonicalize, map);
3215 for (tail = map; CONSP (tail); tail = XCDR (tail))
3216 length_needed++;
3218 vect = ((struct describe_map_elt *)
3219 alloca (sizeof (struct describe_map_elt) * length_needed));
3221 for (tail = map; CONSP (tail); tail = XCDR (tail))
3223 QUIT;
3225 if (VECTORP (XCAR (tail))
3226 || CHAR_TABLE_P (XCAR (tail)))
3227 describe_vector (XCAR (tail),
3228 prefix, Qnil, elt_describer, partial, shadow, map,
3229 1, mention_shadow);
3230 else if (CONSP (XCAR (tail)))
3232 int this_shadowed = 0;
3234 event = XCAR (XCAR (tail));
3236 /* Ignore bindings whose "prefix" are not really valid events.
3237 (We get these in the frames and buffers menu.) */
3238 if (!(SYMBOLP (event) || INTEGERP (event)))
3239 continue;
3241 if (nomenu && EQ (event, Qmenu_bar))
3242 continue;
3244 definition = get_keyelt (XCDR (XCAR (tail)), 0);
3246 /* Don't show undefined commands or suppressed commands. */
3247 if (NILP (definition)) continue;
3248 if (SYMBOLP (definition) && partial)
3250 tem = Fget (definition, suppress);
3251 if (!NILP (tem))
3252 continue;
3255 /* Don't show a command that isn't really visible
3256 because a local definition of the same key shadows it. */
3258 ASET (kludge, 0, event);
3259 if (!NILP (shadow))
3261 tem = shadow_lookup (shadow, kludge, Qt, 0);
3262 if (!NILP (tem))
3264 /* If both bindings are keymaps, this key is a prefix key,
3265 so don't say it is shadowed. */
3266 if (KEYMAPP (definition) && KEYMAPP (tem))
3268 /* Avoid generating duplicate entries if the
3269 shadowed binding has the same definition. */
3270 else if (mention_shadow && !EQ (tem, definition))
3271 this_shadowed = 1;
3272 else
3273 continue;
3277 tem = Flookup_key (map, kludge, Qt);
3278 if (!EQ (tem, definition)) continue;
3280 vect[slots_used].event = event;
3281 vect[slots_used].definition = definition;
3282 vect[slots_used].shadowed = this_shadowed;
3283 slots_used++;
3285 else if (EQ (XCAR (tail), Qkeymap))
3287 /* The same keymap might be in the structure twice, if we're
3288 using an inherited keymap. So skip anything we've already
3289 encountered. */
3290 tem = Fassq (tail, *seen);
3291 if (CONSP (tem) && !NILP (Fequal (XCAR (tem), prefix)))
3292 break;
3293 *seen = Fcons (Fcons (tail, prefix), *seen);
3297 /* If we found some sparse map events, sort them. */
3299 qsort (vect, slots_used, sizeof (struct describe_map_elt),
3300 describe_map_compare);
3302 /* Now output them in sorted order. */
3304 for (i = 0; i < slots_used; i++)
3306 Lisp_Object start, end;
3308 if (first)
3310 previous_description_column = 0;
3311 insert ("\n", 1);
3312 first = 0;
3315 ASET (kludge, 0, vect[i].event);
3316 start = vect[i].event;
3317 end = start;
3319 definition = vect[i].definition;
3321 /* Find consecutive chars that are identically defined. */
3322 if (INTEGERP (vect[i].event))
3324 while (i + 1 < slots_used
3325 && EQ (vect[i+1].event, make_number (XINT (vect[i].event) + 1))
3326 && !NILP (Fequal (vect[i + 1].definition, definition))
3327 && vect[i].shadowed == vect[i + 1].shadowed)
3328 i++;
3329 end = vect[i].event;
3332 /* Now START .. END is the range to describe next. */
3334 /* Insert the string to describe the event START. */
3335 insert1 (Fkey_description (kludge, prefix));
3337 if (!EQ (start, end))
3339 insert (" .. ", 4);
3341 ASET (kludge, 0, end);
3342 /* Insert the string to describe the character END. */
3343 insert1 (Fkey_description (kludge, prefix));
3346 /* Print a description of the definition of this character.
3347 elt_describer will take care of spacing out far enough
3348 for alignment purposes. */
3349 (*elt_describer) (vect[i].definition, Qnil);
3351 if (vect[i].shadowed)
3353 SET_PT (PT - 1);
3354 insert_string ("\n (that binding is currently shadowed by another mode)");
3355 SET_PT (PT + 1);
3359 UNGCPRO;
3362 static void
3363 describe_vector_princ (Lisp_Object elt, Lisp_Object fun)
3365 Findent_to (make_number (16), make_number (1));
3366 call1 (fun, elt);
3367 Fterpri (Qnil);
3370 DEFUN ("describe-vector", Fdescribe_vector, Sdescribe_vector, 1, 2, 0,
3371 doc: /* Insert a description of contents of VECTOR.
3372 This is text showing the elements of vector matched against indices.
3373 DESCRIBER is the output function used; nil means use `princ'. */)
3374 (Lisp_Object vector, Lisp_Object describer)
3376 int count = SPECPDL_INDEX ();
3377 if (NILP (describer))
3378 describer = intern ("princ");
3379 specbind (Qstandard_output, Fcurrent_buffer ());
3380 CHECK_VECTOR_OR_CHAR_TABLE (vector);
3381 describe_vector (vector, Qnil, describer, describe_vector_princ, 0,
3382 Qnil, Qnil, 0, 0);
3384 return unbind_to (count, Qnil);
3387 /* Insert in the current buffer a description of the contents of VECTOR.
3388 We call ELT_DESCRIBER to insert the description of one value found
3389 in VECTOR.
3391 ELT_PREFIX describes what "comes before" the keys or indices defined
3392 by this vector. This is a human-readable string whose size
3393 is not necessarily related to the situation.
3395 If the vector is in a keymap, ELT_PREFIX is a prefix key which
3396 leads to this keymap.
3398 If the vector is a chartable, ELT_PREFIX is the vector
3399 of bytes that lead to the character set or portion of a character
3400 set described by this chartable.
3402 If PARTIAL is nonzero, it means do not mention suppressed commands
3403 (that assumes the vector is in a keymap).
3405 SHADOW is a list of keymaps that shadow this map.
3406 If it is non-nil, then we look up the key in those maps
3407 and we don't mention it now if it is defined by any of them.
3409 ENTIRE_MAP is the keymap in which this vector appears.
3410 If the definition in effect in the whole map does not match
3411 the one in this vector, we ignore this one.
3413 ARGS is simply passed as the second argument to ELT_DESCRIBER.
3415 KEYMAP_P is 1 if vector is known to be a keymap, so map ESC to M-.
3417 ARGS is simply passed as the second argument to ELT_DESCRIBER. */
3419 static void
3420 describe_vector (Lisp_Object vector, Lisp_Object prefix, Lisp_Object args,
3421 void (*elt_describer) (Lisp_Object, Lisp_Object),
3422 int partial, Lisp_Object shadow, Lisp_Object entire_map,
3423 int keymap_p, int mention_shadow)
3425 Lisp_Object definition;
3426 Lisp_Object tem2;
3427 Lisp_Object elt_prefix = Qnil;
3428 int i;
3429 Lisp_Object suppress;
3430 Lisp_Object kludge;
3431 int first = 1;
3432 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
3433 /* Range of elements to be handled. */
3434 int from, to, stop;
3435 Lisp_Object character;
3436 int starting_i;
3438 suppress = Qnil;
3440 definition = Qnil;
3442 if (!keymap_p)
3444 /* Call Fkey_description first, to avoid GC bug for the other string. */
3445 if (!NILP (prefix) && XFASTINT (Flength (prefix)) > 0)
3447 Lisp_Object tem;
3448 tem = Fkey_description (prefix, Qnil);
3449 elt_prefix = concat2 (tem, build_string (" "));
3451 prefix = Qnil;
3454 /* This vector gets used to present single keys to Flookup_key. Since
3455 that is done once per vector element, we don't want to cons up a
3456 fresh vector every time. */
3457 kludge = Fmake_vector (make_number (1), Qnil);
3458 GCPRO4 (elt_prefix, prefix, definition, kludge);
3460 if (partial)
3461 suppress = intern ("suppress-keymap");
3463 from = 0;
3464 if (CHAR_TABLE_P (vector))
3465 stop = MAX_5_BYTE_CHAR + 1, to = MAX_CHAR + 1;
3466 else
3467 stop = to = ASIZE (vector);
3469 for (i = from; ; i++)
3471 int this_shadowed = 0;
3472 int range_beg, range_end;
3473 Lisp_Object val;
3475 QUIT;
3477 if (i == stop)
3479 if (i == to)
3480 break;
3481 stop = to;
3484 starting_i = i;
3486 if (CHAR_TABLE_P (vector))
3488 range_beg = i;
3489 i = stop - 1;
3490 val = char_table_ref_and_range (vector, range_beg, &range_beg, &i);
3492 else
3493 val = AREF (vector, i);
3494 definition = get_keyelt (val, 0);
3496 if (NILP (definition)) continue;
3498 /* Don't mention suppressed commands. */
3499 if (SYMBOLP (definition) && partial)
3501 Lisp_Object tem;
3503 tem = Fget (definition, suppress);
3505 if (!NILP (tem)) continue;
3508 character = make_number (starting_i);
3509 ASET (kludge, 0, character);
3511 /* If this binding is shadowed by some other map, ignore it. */
3512 if (!NILP (shadow))
3514 Lisp_Object tem;
3516 tem = shadow_lookup (shadow, kludge, Qt, 0);
3518 if (!NILP (tem))
3520 if (mention_shadow)
3521 this_shadowed = 1;
3522 else
3523 continue;
3527 /* Ignore this definition if it is shadowed by an earlier
3528 one in the same keymap. */
3529 if (!NILP (entire_map))
3531 Lisp_Object tem;
3533 tem = Flookup_key (entire_map, kludge, Qt);
3535 if (!EQ (tem, definition))
3536 continue;
3539 if (first)
3541 insert ("\n", 1);
3542 first = 0;
3545 /* Output the prefix that applies to every entry in this map. */
3546 if (!NILP (elt_prefix))
3547 insert1 (elt_prefix);
3549 insert1 (Fkey_description (kludge, prefix));
3551 /* Find all consecutive characters or rows that have the same
3552 definition. But, VECTOR is a char-table, we had better put a
3553 boundary between normal characters (-#x3FFF7F) and 8-bit
3554 characters (#x3FFF80-). */
3555 if (CHAR_TABLE_P (vector))
3557 while (i + 1 < stop
3558 && (range_beg = i + 1, range_end = stop - 1,
3559 val = char_table_ref_and_range (vector, range_beg,
3560 &range_beg, &range_end),
3561 tem2 = get_keyelt (val, 0),
3562 !NILP (tem2))
3563 && !NILP (Fequal (tem2, definition)))
3564 i = range_end;
3566 else
3567 while (i + 1 < stop
3568 && (tem2 = get_keyelt (AREF (vector, i + 1), 0),
3569 !NILP (tem2))
3570 && !NILP (Fequal (tem2, definition)))
3571 i++;
3573 /* If we have a range of more than one character,
3574 print where the range reaches to. */
3576 if (i != starting_i)
3578 insert (" .. ", 4);
3580 ASET (kludge, 0, make_number (i));
3582 if (!NILP (elt_prefix))
3583 insert1 (elt_prefix);
3585 insert1 (Fkey_description (kludge, prefix));
3588 /* Print a description of the definition of this character.
3589 elt_describer will take care of spacing out far enough
3590 for alignment purposes. */
3591 (*elt_describer) (definition, args);
3593 if (this_shadowed)
3595 SET_PT (PT - 1);
3596 insert_string (" (binding currently shadowed)");
3597 SET_PT (PT + 1);
3601 if (CHAR_TABLE_P (vector) && ! NILP (XCHAR_TABLE (vector)->defalt))
3603 if (!NILP (elt_prefix))
3604 insert1 (elt_prefix);
3605 insert ("default", 7);
3606 (*elt_describer) (XCHAR_TABLE (vector)->defalt, args);
3609 UNGCPRO;
3612 /* Apropos - finding all symbols whose names match a regexp. */
3613 static Lisp_Object apropos_predicate;
3614 static Lisp_Object apropos_accumulate;
3616 static void
3617 apropos_accum (Lisp_Object symbol, Lisp_Object string)
3619 register Lisp_Object tem;
3621 tem = Fstring_match (string, Fsymbol_name (symbol), Qnil);
3622 if (!NILP (tem) && !NILP (apropos_predicate))
3623 tem = call1 (apropos_predicate, symbol);
3624 if (!NILP (tem))
3625 apropos_accumulate = Fcons (symbol, apropos_accumulate);
3628 DEFUN ("apropos-internal", Fapropos_internal, Sapropos_internal, 1, 2, 0,
3629 doc: /* Show all symbols whose names contain match for REGEXP.
3630 If optional 2nd arg PREDICATE is non-nil, (funcall PREDICATE SYMBOL) is done
3631 for each symbol and a symbol is mentioned only if that returns non-nil.
3632 Return list of symbols found. */)
3633 (Lisp_Object regexp, Lisp_Object predicate)
3635 Lisp_Object tem;
3636 CHECK_STRING (regexp);
3637 apropos_predicate = predicate;
3638 apropos_accumulate = Qnil;
3639 map_obarray (Vobarray, apropos_accum, regexp);
3640 tem = Fsort (apropos_accumulate, Qstring_lessp);
3641 apropos_accumulate = Qnil;
3642 apropos_predicate = Qnil;
3643 return tem;
3646 void
3647 syms_of_keymap (void)
3649 DEFSYM (Qkeymap, "keymap");
3650 staticpro (&apropos_predicate);
3651 staticpro (&apropos_accumulate);
3652 apropos_predicate = Qnil;
3653 apropos_accumulate = Qnil;
3655 DEFSYM (Qkeymap_canonicalize, "keymap-canonicalize");
3657 /* Now we are ready to set up this property, so we can
3658 create char tables. */
3659 Fput (Qkeymap, Qchar_table_extra_slots, make_number (0));
3661 /* Initialize the keymaps standardly used.
3662 Each one is the value of a Lisp variable, and is also
3663 pointed to by a C variable */
3665 global_map = Fmake_keymap (Qnil);
3666 Fset (intern_c_string ("global-map"), global_map);
3668 current_global_map = global_map;
3669 staticpro (&global_map);
3670 staticpro (&current_global_map);
3672 meta_map = Fmake_keymap (Qnil);
3673 Fset (intern_c_string ("esc-map"), meta_map);
3674 Ffset (intern_c_string ("ESC-prefix"), meta_map);
3676 control_x_map = Fmake_keymap (Qnil);
3677 Fset (intern_c_string ("ctl-x-map"), control_x_map);
3678 Ffset (intern_c_string ("Control-X-prefix"), control_x_map);
3680 exclude_keys
3681 = pure_cons (pure_cons (make_pure_c_string ("DEL"), make_pure_c_string ("\\d")),
3682 pure_cons (pure_cons (make_pure_c_string ("TAB"), make_pure_c_string ("\\t")),
3683 pure_cons (pure_cons (make_pure_c_string ("RET"), make_pure_c_string ("\\r")),
3684 pure_cons (pure_cons (make_pure_c_string ("ESC"), make_pure_c_string ("\\e")),
3685 pure_cons (pure_cons (make_pure_c_string ("SPC"), make_pure_c_string (" ")),
3686 Qnil)))));
3687 staticpro (&exclude_keys);
3689 DEFVAR_LISP ("define-key-rebound-commands", Vdefine_key_rebound_commands,
3690 doc: /* List of commands given new key bindings recently.
3691 This is used for internal purposes during Emacs startup;
3692 don't alter it yourself. */);
3693 Vdefine_key_rebound_commands = Qt;
3695 DEFVAR_LISP ("minibuffer-local-map", Vminibuffer_local_map,
3696 doc: /* Default keymap to use when reading from the minibuffer. */);
3697 Vminibuffer_local_map = Fmake_sparse_keymap (Qnil);
3699 DEFVAR_LISP ("minibuffer-local-ns-map", Vminibuffer_local_ns_map,
3700 doc: /* Local keymap for the minibuffer when spaces are not allowed. */);
3701 Vminibuffer_local_ns_map = Fmake_sparse_keymap (Qnil);
3702 Fset_keymap_parent (Vminibuffer_local_ns_map, Vminibuffer_local_map);
3705 DEFVAR_LISP ("minor-mode-map-alist", Vminor_mode_map_alist,
3706 doc: /* Alist of keymaps to use for minor modes.
3707 Each element looks like (VARIABLE . KEYMAP); KEYMAP is used to read
3708 key sequences and look up bindings if VARIABLE's value is non-nil.
3709 If two active keymaps bind the same key, the keymap appearing earlier
3710 in the list takes precedence. */);
3711 Vminor_mode_map_alist = Qnil;
3713 DEFVAR_LISP ("minor-mode-overriding-map-alist", Vminor_mode_overriding_map_alist,
3714 doc: /* Alist of keymaps to use for minor modes, in current major mode.
3715 This variable is an alist just like `minor-mode-map-alist', and it is
3716 used the same way (and before `minor-mode-map-alist'); however,
3717 it is provided for major modes to bind locally. */);
3718 Vminor_mode_overriding_map_alist = Qnil;
3720 DEFVAR_LISP ("emulation-mode-map-alists", Vemulation_mode_map_alists,
3721 doc: /* List of keymap alists to use for emulations modes.
3722 It is intended for modes or packages using multiple minor-mode keymaps.
3723 Each element is a keymap alist just like `minor-mode-map-alist', or a
3724 symbol with a variable binding which is a keymap alist, and it is used
3725 the same way. The "active" keymaps in each alist are used before
3726 `minor-mode-map-alist' and `minor-mode-overriding-map-alist'. */);
3727 Vemulation_mode_map_alists = Qnil;
3729 DEFVAR_LISP ("where-is-preferred-modifier", Vwhere_is_preferred_modifier,
3730 doc: /* Preferred modifier key to use for `where-is'.
3731 When a single binding is requested, `where-is' will return one that
3732 uses this modifier key if possible. If nil, or if no such binding
3733 exists, bindings using keys without modifiers (or only with meta) will
3734 be preferred. */);
3735 Vwhere_is_preferred_modifier = Qnil;
3736 where_is_preferred_modifier = 0;
3738 staticpro (&Vmouse_events);
3739 Vmouse_events = pure_cons (intern_c_string ("menu-bar"),
3740 pure_cons (intern_c_string ("tool-bar"),
3741 pure_cons (intern_c_string ("header-line"),
3742 pure_cons (intern_c_string ("mode-line"),
3743 pure_cons (intern_c_string ("mouse-1"),
3744 pure_cons (intern_c_string ("mouse-2"),
3745 pure_cons (intern_c_string ("mouse-3"),
3746 pure_cons (intern_c_string ("mouse-4"),
3747 pure_cons (intern_c_string ("mouse-5"),
3748 Qnil)))))))));
3750 DEFSYM (Qsingle_key_description, "single-key-description");
3751 DEFSYM (Qkey_description, "key-description");
3752 DEFSYM (Qkeymapp, "keymapp");
3753 DEFSYM (Qnon_ascii, "non-ascii");
3754 DEFSYM (Qmenu_item, "menu-item");
3755 DEFSYM (Qremap, "remap");
3756 DEFSYM (QCadvertised_binding, ":advertised-binding");
3758 command_remapping_vector = Fmake_vector (make_number (2), Qremap);
3759 staticpro (&command_remapping_vector);
3761 where_is_cache_keymaps = Qt;
3762 where_is_cache = Qnil;
3763 staticpro (&where_is_cache);
3764 staticpro (&where_is_cache_keymaps);
3766 defsubr (&Skeymapp);
3767 defsubr (&Skeymap_parent);
3768 defsubr (&Skeymap_prompt);
3769 defsubr (&Sset_keymap_parent);
3770 defsubr (&Smake_keymap);
3771 defsubr (&Smake_sparse_keymap);
3772 defsubr (&Smap_keymap_internal);
3773 defsubr (&Smap_keymap);
3774 defsubr (&Scopy_keymap);
3775 defsubr (&Scommand_remapping);
3776 defsubr (&Skey_binding);
3777 defsubr (&Slocal_key_binding);
3778 defsubr (&Sglobal_key_binding);
3779 defsubr (&Sminor_mode_key_binding);
3780 defsubr (&Sdefine_key);
3781 defsubr (&Slookup_key);
3782 defsubr (&Sdefine_prefix_command);
3783 defsubr (&Suse_global_map);
3784 defsubr (&Suse_local_map);
3785 defsubr (&Scurrent_local_map);
3786 defsubr (&Scurrent_global_map);
3787 defsubr (&Scurrent_minor_mode_maps);
3788 defsubr (&Scurrent_active_maps);
3789 defsubr (&Saccessible_keymaps);
3790 defsubr (&Skey_description);
3791 defsubr (&Sdescribe_vector);
3792 defsubr (&Ssingle_key_description);
3793 defsubr (&Stext_char_description);
3794 defsubr (&Swhere_is_internal);
3795 defsubr (&Sdescribe_buffer_bindings);
3796 defsubr (&Sapropos_internal);
3799 void
3800 keys_of_keymap (void)
3802 initial_define_key (global_map, 033, "ESC-prefix");
3803 initial_define_key (global_map, Ctl ('X'), "Control-X-prefix");