Fix vertical cursor motion when the newline is covered by a display string.
[emacs.git] / src / keymap.c
blob4485080db21d0d961811fe8f5e26dcc21a4d0bcb
1 /* Manipulation of keymaps
2 Copyright (C) 1985-1988, 1993-1995, 1998-2011 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 fomat 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 key = EVENT_HEAD (key);
2275 if (INTEGERP (key)) /* Normal character */
2277 char tem[KEY_DESCRIPTION_SIZE];
2279 *push_key_description (XINT (key), tem, 1) = 0;
2280 return build_string (tem);
2282 else if (SYMBOLP (key)) /* Function key or event-symbol */
2284 if (NILP (no_angles))
2286 char *buffer;
2287 Lisp_Object result;
2288 USE_SAFE_ALLOCA;
2289 SAFE_ALLOCA (buffer, char *,
2290 sizeof "<>" + SBYTES (SYMBOL_NAME (key)));
2291 esprintf (buffer, "<%s>", SDATA (SYMBOL_NAME (key)));
2292 result = build_string (buffer);
2293 SAFE_FREE ();
2294 return result;
2296 else
2297 return Fsymbol_name (key);
2299 else if (STRINGP (key)) /* Buffer names in the menubar. */
2300 return Fcopy_sequence (key);
2301 else
2302 error ("KEY must be an integer, cons, symbol, or string");
2303 return Qnil;
2306 static char *
2307 push_text_char_description (register unsigned int c, register char *p)
2309 if (c >= 0200)
2311 *p++ = 'M';
2312 *p++ = '-';
2313 c -= 0200;
2315 if (c < 040)
2317 *p++ = '^';
2318 *p++ = c + 64; /* 'A' - 1 */
2320 else if (c == 0177)
2322 *p++ = '^';
2323 *p++ = '?';
2325 else
2326 *p++ = c;
2327 return p;
2330 /* This function cannot GC. */
2332 DEFUN ("text-char-description", Ftext_char_description, Stext_char_description, 1, 1, 0,
2333 doc: /* Return a pretty description of file-character CHARACTER.
2334 Control characters turn into "^char", etc. This differs from
2335 `single-key-description' which turns them into "C-char".
2336 Also, this function recognizes the 2**7 bit as the Meta character,
2337 whereas `single-key-description' uses the 2**27 bit for Meta.
2338 See Info node `(elisp)Describing Characters' for examples. */)
2339 (Lisp_Object character)
2341 /* Currently MAX_MULTIBYTE_LENGTH is 4 (< 6). */
2342 char str[6];
2343 int c;
2345 CHECK_NUMBER (character);
2347 c = XINT (character);
2348 if (!ASCII_CHAR_P (c))
2350 int len = CHAR_STRING (c, (unsigned char *) str);
2352 return make_multibyte_string (str, 1, len);
2355 *push_text_char_description (c & 0377, str) = 0;
2357 return build_string (str);
2360 static int where_is_preferred_modifier;
2362 /* Return 0 if SEQ uses non-preferred modifiers or non-char events.
2363 Else, return 2 if SEQ uses the where_is_preferred_modifier,
2364 and 1 otherwise. */
2365 static int
2366 preferred_sequence_p (Lisp_Object seq)
2368 int i;
2369 int len = XINT (Flength (seq));
2370 int result = 1;
2372 for (i = 0; i < len; i++)
2374 Lisp_Object ii, elt;
2376 XSETFASTINT (ii, i);
2377 elt = Faref (seq, ii);
2379 if (!INTEGERP (elt))
2380 return 0;
2381 else
2383 int modifiers = XINT (elt) & (CHAR_MODIFIER_MASK & ~CHAR_META);
2384 if (modifiers == where_is_preferred_modifier)
2385 result = 2;
2386 else if (modifiers)
2387 return 0;
2391 return result;
2395 /* where-is - finding a command in a set of keymaps. */
2397 static void where_is_internal_1 (Lisp_Object key, Lisp_Object binding,
2398 Lisp_Object args, void *data);
2400 /* Like Flookup_key, but uses a list of keymaps SHADOW instead of a single map.
2401 Returns the first non-nil binding found in any of those maps.
2402 If REMAP is true, pass the result of the lookup through command
2403 remapping before returning it. */
2405 static Lisp_Object
2406 shadow_lookup (Lisp_Object shadow, Lisp_Object key, Lisp_Object flag,
2407 int remap)
2409 Lisp_Object tail, value;
2411 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2413 value = Flookup_key (XCAR (tail), key, flag);
2414 if (NATNUMP (value))
2416 value = Flookup_key (XCAR (tail),
2417 Fsubstring (key, make_number (0), value), flag);
2418 if (!NILP (value))
2419 return Qnil;
2421 else if (!NILP (value))
2423 Lisp_Object remapping;
2424 if (remap && SYMBOLP (value)
2425 && (remapping = Fcommand_remapping (value, Qnil, shadow),
2426 !NILP (remapping)))
2427 return remapping;
2428 else
2429 return value;
2432 return Qnil;
2435 static Lisp_Object Vmouse_events;
2437 struct where_is_internal_data {
2438 Lisp_Object definition, this, last;
2439 int last_is_meta, noindirect;
2440 Lisp_Object sequences;
2443 /* This function can't GC, AFAIK. */
2444 /* Return the list of bindings found. This list is ordered "longest
2445 to shortest". It may include bindings that are actually shadowed
2446 by others, as well as duplicate bindings and remapping bindings.
2447 The list returned is potentially shared with where_is_cache, so
2448 be careful not to modify it via side-effects. */
2450 static Lisp_Object
2451 where_is_internal (Lisp_Object definition, Lisp_Object keymaps,
2452 int noindirect, int nomenus)
2454 Lisp_Object maps = Qnil;
2455 Lisp_Object found;
2456 struct where_is_internal_data data;
2458 /* Only important use of caching is for the menubar
2459 (i.e. where-is-internal called with (def nil t nil nil)). */
2460 if (nomenus && !noindirect)
2462 /* Check heuristic-consistency of the cache. */
2463 if (NILP (Fequal (keymaps, where_is_cache_keymaps)))
2464 where_is_cache = Qnil;
2466 if (NILP (where_is_cache))
2468 /* We need to create the cache. */
2469 Lisp_Object args[2];
2470 where_is_cache = Fmake_hash_table (0, args);
2471 where_is_cache_keymaps = Qt;
2473 else
2474 /* We can reuse the cache. */
2475 return Fgethash (definition, where_is_cache, Qnil);
2477 else
2478 /* Kill the cache so that where_is_internal_1 doesn't think
2479 we're filling it up. */
2480 where_is_cache = Qnil;
2482 found = keymaps;
2483 while (CONSP (found))
2485 maps =
2486 nconc2 (maps,
2487 Faccessible_keymaps (get_keymap (XCAR (found), 1, 0), Qnil));
2488 found = XCDR (found);
2491 data.sequences = Qnil;
2492 for (; CONSP (maps); maps = XCDR (maps))
2494 /* Key sequence to reach map, and the map that it reaches */
2495 register Lisp_Object this, map, tem;
2497 /* In order to fold [META-PREFIX-CHAR CHAR] sequences into
2498 [M-CHAR] sequences, check if last character of the sequence
2499 is the meta-prefix char. */
2500 Lisp_Object last;
2501 int last_is_meta;
2503 this = Fcar (XCAR (maps));
2504 map = Fcdr (XCAR (maps));
2505 last = make_number (XINT (Flength (this)) - 1);
2506 last_is_meta = (XINT (last) >= 0
2507 && EQ (Faref (this, last), meta_prefix_char));
2509 /* if (nomenus && !preferred_sequence_p (this)) */
2510 if (nomenus && XINT (last) >= 0
2511 && SYMBOLP (tem = Faref (this, make_number (0)))
2512 && !NILP (Fmemq (XCAR (parse_modifiers (tem)), Vmouse_events)))
2513 /* If no menu entries should be returned, skip over the
2514 keymaps bound to `menu-bar' and `tool-bar' and other
2515 non-ascii prefixes like `C-down-mouse-2'. */
2516 continue;
2518 QUIT;
2520 data.definition = definition;
2521 data.noindirect = noindirect;
2522 data.this = this;
2523 data.last = last;
2524 data.last_is_meta = last_is_meta;
2526 if (CONSP (map))
2527 map_keymap (map, where_is_internal_1, Qnil, &data, 0);
2530 if (nomenus && !noindirect)
2531 { /* Remember for which keymaps this cache was built.
2532 We do it here (late) because we want to keep where_is_cache_keymaps
2533 set to t while the cache isn't fully filled. */
2534 where_is_cache_keymaps = keymaps;
2535 /* During cache-filling, data.sequences is not filled by
2536 where_is_internal_1. */
2537 return Fgethash (definition, where_is_cache, Qnil);
2539 else
2540 return data.sequences;
2543 /* This function can GC if Flookup_key autoloads any keymaps. */
2545 DEFUN ("where-is-internal", Fwhere_is_internal, Swhere_is_internal, 1, 5, 0,
2546 doc: /* Return list of keys that invoke DEFINITION.
2547 If KEYMAP is a keymap, search only KEYMAP and the global keymap.
2548 If KEYMAP is nil, search all the currently active keymaps.
2549 If KEYMAP is a list of keymaps, search only those keymaps.
2551 If optional 3rd arg FIRSTONLY is non-nil, return the first key sequence found,
2552 rather than a list of all possible key sequences.
2553 If FIRSTONLY is the symbol `non-ascii', return the first binding found,
2554 no matter what it is.
2555 If FIRSTONLY has another non-nil value, prefer bindings
2556 that use the modifier key specified in `where-is-preferred-modifier'
2557 \(or their meta variants) and entirely reject menu bindings.
2559 If optional 4th arg NOINDIRECT is non-nil, don't follow indirections
2560 to other keymaps or slots. This makes it possible to search for an
2561 indirect definition itself.
2563 If optional 5th arg NO-REMAP is non-nil, don't search for key sequences
2564 that invoke a command which is remapped to DEFINITION, but include the
2565 remapped command in the returned list. */)
2566 (Lisp_Object definition, Lisp_Object keymap, Lisp_Object firstonly, Lisp_Object noindirect, Lisp_Object no_remap)
2568 /* The keymaps in which to search. */
2569 Lisp_Object keymaps;
2570 /* Potentially relevant bindings in "shortest to longest" order. */
2571 Lisp_Object sequences = Qnil;
2572 /* Actually relevant bindings. */
2573 Lisp_Object found = Qnil;
2574 /* 1 means ignore all menu bindings entirely. */
2575 int nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2576 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5, gcpro6;
2577 /* List of sequences found via remapping. Keep them in a separate
2578 variable, so as to push them later, since we prefer
2579 non-remapped binding. */
2580 Lisp_Object remapped_sequences = Qnil;
2581 /* Whether or not we're handling remapped sequences. This is needed
2582 because remapping is not done recursively by Fcommand_remapping: you
2583 can't remap a remapped command. */
2584 int remapped = 0;
2585 Lisp_Object tem = Qnil;
2587 /* Refresh the C version of the modifier preference. */
2588 where_is_preferred_modifier
2589 = parse_solitary_modifier (Vwhere_is_preferred_modifier);
2591 /* Find the relevant keymaps. */
2592 if (CONSP (keymap) && KEYMAPP (XCAR (keymap)))
2593 keymaps = keymap;
2594 else if (!NILP (keymap))
2595 keymaps = Fcons (keymap, Fcons (current_global_map, Qnil));
2596 else
2597 keymaps = Fcurrent_active_maps (Qnil, Qnil);
2599 GCPRO6 (definition, keymaps, found, sequences, remapped_sequences, tem);
2601 tem = Fcommand_remapping (definition, Qnil, keymaps);
2602 /* If `definition' is remapped to tem', then OT1H no key will run
2603 that command (since they will run `tem' instead), so we should
2604 return nil; but OTOH all keys bound to `definition' (or to `tem')
2605 will run the same command.
2606 So for menu-shortcut purposes, we want to find all the keys bound (maybe
2607 via remapping) to `tem'. But for the purpose of finding the keys that
2608 run `definition', then we'd want to just return nil.
2609 We choose to make it work right for menu-shortcuts, since it's the most
2610 common use.
2611 Known bugs: if you remap switch-to-buffer to toto, C-h f switch-to-buffer
2612 will tell you that switch-to-buffer is bound to C-x b even though C-x b
2613 will run toto instead. And if `toto' is itself remapped to forward-char,
2614 then C-h f toto will tell you that it's bound to C-f even though C-f does
2615 not run toto and it won't tell you that C-x b does run toto. */
2616 if (NILP (no_remap) && !NILP (tem))
2617 definition = tem;
2619 if (SYMBOLP (definition)
2620 && !NILP (firstonly)
2621 && !NILP (tem = Fget (definition, QCadvertised_binding)))
2623 /* We have a list of advertised bindings. */
2624 while (CONSP (tem))
2625 if (EQ (shadow_lookup (keymaps, XCAR (tem), Qnil, 0), definition))
2626 return XCAR (tem);
2627 else
2628 tem = XCDR (tem);
2629 if (EQ (shadow_lookup (keymaps, tem, Qnil, 0), definition))
2630 return tem;
2633 sequences = Freverse (where_is_internal (definition, keymaps,
2634 !NILP (noindirect), nomenus));
2636 while (CONSP (sequences)
2637 /* If we're at the end of the `sequences' list and we haven't
2638 considered remapped sequences yet, copy them over and
2639 process them. */
2640 || (!remapped && (sequences = remapped_sequences,
2641 remapped = 1,
2642 CONSP (sequences))))
2644 Lisp_Object sequence, function;
2646 sequence = XCAR (sequences);
2647 sequences = XCDR (sequences);
2649 /* Verify that this key binding is not shadowed by another
2650 binding for the same key, before we say it exists.
2652 Mechanism: look for local definition of this key and if
2653 it is defined and does not match what we found then
2654 ignore this key.
2656 Either nil or number as value from Flookup_key
2657 means undefined. */
2658 if (NILP (Fequal (shadow_lookup (keymaps, sequence, Qnil, remapped),
2659 definition)))
2660 continue;
2662 /* If the current sequence is a command remapping with
2663 format [remap COMMAND], find the key sequences
2664 which run COMMAND, and use those sequences instead. */
2665 if (NILP (no_remap) && !remapped
2666 && VECTORP (sequence) && ASIZE (sequence) == 2
2667 && EQ (AREF (sequence, 0), Qremap)
2668 && (function = AREF (sequence, 1), SYMBOLP (function)))
2670 Lisp_Object seqs = where_is_internal (function, keymaps,
2671 !NILP (noindirect), nomenus);
2672 remapped_sequences = nconc2 (Freverse (seqs), remapped_sequences);
2673 continue;
2676 /* Don't annoy user with strings from a menu such as the
2677 entries from the "Edit => Paste from Kill Menu".
2678 Change them all to "(any string)", so that there
2679 seems to be only one menu item to report. */
2680 if (! NILP (sequence))
2682 Lisp_Object tem1;
2683 tem1 = Faref (sequence, make_number (ASIZE (sequence) - 1));
2684 if (STRINGP (tem1))
2685 Faset (sequence, make_number (ASIZE (sequence) - 1),
2686 build_string ("(any string)"));
2689 /* It is a true unshadowed match. Record it, unless it's already
2690 been seen (as could happen when inheriting keymaps). */
2691 if (NILP (Fmember (sequence, found)))
2692 found = Fcons (sequence, found);
2694 /* If firstonly is Qnon_ascii, then we can return the first
2695 binding we find. If firstonly is not Qnon_ascii but not
2696 nil, then we should return the first ascii-only binding
2697 we find. */
2698 if (EQ (firstonly, Qnon_ascii))
2699 RETURN_UNGCPRO (sequence);
2700 else if (!NILP (firstonly)
2701 && 2 == preferred_sequence_p (sequence))
2702 RETURN_UNGCPRO (sequence);
2705 UNGCPRO;
2707 found = Fnreverse (found);
2709 /* firstonly may have been t, but we may have gone all the way through
2710 the keymaps without finding an all-ASCII key sequence. So just
2711 return the best we could find. */
2712 if (NILP (firstonly))
2713 return found;
2714 else if (where_is_preferred_modifier == 0)
2715 return Fcar (found);
2716 else
2717 { /* Maybe we did not find a preferred_modifier binding, but we did find
2718 some ASCII binding. */
2719 Lisp_Object bindings = found;
2720 while (CONSP (bindings))
2721 if (preferred_sequence_p (XCAR (bindings)))
2722 return XCAR (bindings);
2723 else
2724 bindings = XCDR (bindings);
2725 return Fcar (found);
2729 /* This function can GC because get_keyelt can. */
2731 static void
2732 where_is_internal_1 (Lisp_Object key, Lisp_Object binding, Lisp_Object args, void *data)
2734 struct where_is_internal_data *d = data; /* Cast! */
2735 Lisp_Object definition = d->definition;
2736 int noindirect = d->noindirect;
2737 Lisp_Object this = d->this;
2738 Lisp_Object last = d->last;
2739 int last_is_meta = d->last_is_meta;
2740 Lisp_Object sequence;
2742 /* Search through indirections unless that's not wanted. */
2743 if (!noindirect)
2744 binding = get_keyelt (binding, 0);
2746 /* End this iteration if this element does not match
2747 the target. */
2749 if (!(!NILP (where_is_cache) /* everything "matches" during cache-fill. */
2750 || EQ (binding, definition)
2751 || (CONSP (definition) && !NILP (Fequal (binding, definition)))))
2752 /* Doesn't match. */
2753 return;
2755 /* We have found a match. Construct the key sequence where we found it. */
2756 if (INTEGERP (key) && last_is_meta)
2758 sequence = Fcopy_sequence (this);
2759 Faset (sequence, last, make_number (XINT (key) | meta_modifier));
2761 else
2763 if (CONSP (key))
2764 key = Fcons (XCAR (key), XCDR (key));
2765 sequence = append_key (this, key);
2768 if (!NILP (where_is_cache))
2770 Lisp_Object sequences = Fgethash (binding, where_is_cache, Qnil);
2771 Fputhash (binding, Fcons (sequence, sequences), where_is_cache);
2773 else
2774 d->sequences = Fcons (sequence, d->sequences);
2777 /* describe-bindings - summarizing all the bindings in a set of keymaps. */
2779 DEFUN ("describe-buffer-bindings", Fdescribe_buffer_bindings, Sdescribe_buffer_bindings, 1, 3, 0,
2780 doc: /* Insert the list of all defined keys and their definitions.
2781 The list is inserted in the current buffer, while the bindings are
2782 looked up in BUFFER.
2783 The optional argument PREFIX, if non-nil, should be a key sequence;
2784 then we display only bindings that start with that prefix.
2785 The optional argument MENUS, if non-nil, says to mention menu bindings.
2786 \(Ordinarily these are omitted from the output.) */)
2787 (Lisp_Object buffer, Lisp_Object prefix, Lisp_Object menus)
2789 Lisp_Object outbuf, shadow;
2790 int nomenu = NILP (menus);
2791 register Lisp_Object start1;
2792 struct gcpro gcpro1;
2794 const char *alternate_heading
2795 = "\
2796 Keyboard translations:\n\n\
2797 You type Translation\n\
2798 -------- -----------\n";
2800 CHECK_BUFFER (buffer);
2802 shadow = Qnil;
2803 GCPRO1 (shadow);
2805 outbuf = Fcurrent_buffer ();
2807 /* Report on alternates for keys. */
2808 if (STRINGP (KVAR (current_kboard, Vkeyboard_translate_table)) && !NILP (prefix))
2810 int c;
2811 const unsigned char *translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2812 int translate_len = SCHARS (KVAR (current_kboard, Vkeyboard_translate_table));
2814 for (c = 0; c < translate_len; c++)
2815 if (translate[c] != c)
2817 char buf[KEY_DESCRIPTION_SIZE];
2818 char *bufend;
2820 if (alternate_heading)
2822 insert_string (alternate_heading);
2823 alternate_heading = 0;
2826 bufend = push_key_description (translate[c], buf, 1);
2827 insert (buf, bufend - buf);
2828 Findent_to (make_number (16), make_number (1));
2829 bufend = push_key_description (c, buf, 1);
2830 insert (buf, bufend - buf);
2832 insert ("\n", 1);
2834 /* Insert calls signal_after_change which may GC. */
2835 translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2838 insert ("\n", 1);
2841 if (!NILP (Vkey_translation_map))
2842 describe_map_tree (Vkey_translation_map, 0, Qnil, prefix,
2843 "Key translations", nomenu, 1, 0, 0);
2846 /* Print the (major mode) local map. */
2847 start1 = Qnil;
2848 if (!NILP (KVAR (current_kboard, Voverriding_terminal_local_map)))
2849 start1 = KVAR (current_kboard, Voverriding_terminal_local_map);
2850 else if (!NILP (Voverriding_local_map))
2851 start1 = Voverriding_local_map;
2853 if (!NILP (start1))
2855 describe_map_tree (start1, 1, shadow, prefix,
2856 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2857 shadow = Fcons (start1, shadow);
2859 else
2861 /* Print the minor mode and major mode keymaps. */
2862 int i, nmaps;
2863 Lisp_Object *modes, *maps;
2865 /* Temporarily switch to `buffer', so that we can get that buffer's
2866 minor modes correctly. */
2867 Fset_buffer (buffer);
2869 nmaps = current_minor_maps (&modes, &maps);
2870 Fset_buffer (outbuf);
2872 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2873 XBUFFER (buffer), Qkeymap);
2874 if (!NILP (start1))
2876 describe_map_tree (start1, 1, shadow, prefix,
2877 "\f\n`keymap' Property Bindings", nomenu,
2878 0, 0, 0);
2879 shadow = Fcons (start1, shadow);
2882 /* Print the minor mode maps. */
2883 for (i = 0; i < nmaps; i++)
2885 /* The title for a minor mode keymap
2886 is constructed at run time.
2887 We let describe_map_tree do the actual insertion
2888 because it takes care of other features when doing so. */
2889 char *title, *p;
2891 if (!SYMBOLP (modes[i]))
2892 abort ();
2894 p = title = (char *) alloca (42 + SCHARS (SYMBOL_NAME (modes[i])));
2895 *p++ = '\f';
2896 *p++ = '\n';
2897 *p++ = '`';
2898 memcpy (p, SDATA (SYMBOL_NAME (modes[i])),
2899 SCHARS (SYMBOL_NAME (modes[i])));
2900 p += SCHARS (SYMBOL_NAME (modes[i]));
2901 *p++ = '\'';
2902 memcpy (p, " Minor Mode Bindings", strlen (" Minor Mode Bindings"));
2903 p += strlen (" Minor Mode Bindings");
2904 *p = 0;
2906 describe_map_tree (maps[i], 1, shadow, prefix,
2907 title, nomenu, 0, 0, 0);
2908 shadow = Fcons (maps[i], shadow);
2911 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2912 XBUFFER (buffer), Qlocal_map);
2913 if (!NILP (start1))
2915 if (EQ (start1, BVAR (XBUFFER (buffer), keymap)))
2916 describe_map_tree (start1, 1, shadow, prefix,
2917 "\f\nMajor Mode Bindings", nomenu, 0, 0, 0);
2918 else
2919 describe_map_tree (start1, 1, shadow, prefix,
2920 "\f\n`local-map' Property Bindings",
2921 nomenu, 0, 0, 0);
2923 shadow = Fcons (start1, shadow);
2927 describe_map_tree (current_global_map, 1, shadow, prefix,
2928 "\f\nGlobal Bindings", nomenu, 0, 1, 0);
2930 /* Print the function-key-map translations under this prefix. */
2931 if (!NILP (KVAR (current_kboard, Vlocal_function_key_map)))
2932 describe_map_tree (KVAR (current_kboard, Vlocal_function_key_map), 0, Qnil, prefix,
2933 "\f\nFunction key map translations", nomenu, 1, 0, 0);
2935 /* Print the input-decode-map translations under this prefix. */
2936 if (!NILP (KVAR (current_kboard, Vinput_decode_map)))
2937 describe_map_tree (KVAR (current_kboard, Vinput_decode_map), 0, Qnil, prefix,
2938 "\f\nInput decoding map translations", nomenu, 1, 0, 0);
2940 UNGCPRO;
2941 return Qnil;
2944 /* Insert a description of the key bindings in STARTMAP,
2945 followed by those of all maps reachable through STARTMAP.
2946 If PARTIAL is nonzero, omit certain "uninteresting" commands
2947 (such as `undefined').
2948 If SHADOW is non-nil, it is a list of maps;
2949 don't mention keys which would be shadowed by any of them.
2950 PREFIX, if non-nil, says mention only keys that start with PREFIX.
2951 TITLE, if not 0, is a string to insert at the beginning.
2952 TITLE should not end with a colon or a newline; we supply that.
2953 If NOMENU is not 0, then omit menu-bar commands.
2955 If TRANSL is nonzero, the definitions are actually key translations
2956 so print strings and vectors differently.
2958 If ALWAYS_TITLE is nonzero, print the title even if there are no maps
2959 to look through.
2961 If MENTION_SHADOW is nonzero, then when something is shadowed by SHADOW,
2962 don't omit it; instead, mention it but say it is shadowed.
2964 Return whether something was inserted or not. */
2967 describe_map_tree (Lisp_Object startmap, int partial, Lisp_Object shadow,
2968 Lisp_Object prefix, const char *title, int nomenu, int transl,
2969 int always_title, int mention_shadow)
2971 Lisp_Object maps, orig_maps, seen, sub_shadows;
2972 struct gcpro gcpro1, gcpro2, gcpro3;
2973 int something = 0;
2974 const char *key_heading
2975 = "\
2976 key binding\n\
2977 --- -------\n";
2979 orig_maps = maps = Faccessible_keymaps (startmap, prefix);
2980 seen = Qnil;
2981 sub_shadows = Qnil;
2982 GCPRO3 (maps, seen, sub_shadows);
2984 if (nomenu)
2986 Lisp_Object list;
2988 /* Delete from MAPS each element that is for the menu bar. */
2989 for (list = maps; CONSP (list); list = XCDR (list))
2991 Lisp_Object elt, elt_prefix, tem;
2993 elt = XCAR (list);
2994 elt_prefix = Fcar (elt);
2995 if (ASIZE (elt_prefix) >= 1)
2997 tem = Faref (elt_prefix, make_number (0));
2998 if (EQ (tem, Qmenu_bar))
2999 maps = Fdelq (elt, maps);
3004 if (!NILP (maps) || always_title)
3006 if (title)
3008 insert_string (title);
3009 if (!NILP (prefix))
3011 insert_string (" Starting With ");
3012 insert1 (Fkey_description (prefix, Qnil));
3014 insert_string (":\n");
3016 insert_string (key_heading);
3017 something = 1;
3020 for (; CONSP (maps); maps = XCDR (maps))
3022 register Lisp_Object elt, elt_prefix, tail;
3024 elt = XCAR (maps);
3025 elt_prefix = Fcar (elt);
3027 sub_shadows = Qnil;
3029 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
3031 Lisp_Object shmap;
3033 shmap = XCAR (tail);
3035 /* If the sequence by which we reach this keymap is zero-length,
3036 then the shadow map for this keymap is just SHADOW. */
3037 if ((STRINGP (elt_prefix) && SCHARS (elt_prefix) == 0)
3038 || (VECTORP (elt_prefix) && ASIZE (elt_prefix) == 0))
3040 /* If the sequence by which we reach this keymap actually has
3041 some elements, then the sequence's definition in SHADOW is
3042 what we should use. */
3043 else
3045 shmap = Flookup_key (shmap, Fcar (elt), Qt);
3046 if (INTEGERP (shmap))
3047 shmap = Qnil;
3050 /* If shmap is not nil and not a keymap,
3051 it completely shadows this map, so don't
3052 describe this map at all. */
3053 if (!NILP (shmap) && !KEYMAPP (shmap))
3054 goto skip;
3056 if (!NILP (shmap))
3057 sub_shadows = Fcons (shmap, sub_shadows);
3060 /* Maps we have already listed in this loop shadow this map. */
3061 for (tail = orig_maps; !EQ (tail, maps); tail = XCDR (tail))
3063 Lisp_Object tem;
3064 tem = Fequal (Fcar (XCAR (tail)), elt_prefix);
3065 if (!NILP (tem))
3066 sub_shadows = Fcons (XCDR (XCAR (tail)), sub_shadows);
3069 describe_map (Fcdr (elt), elt_prefix,
3070 transl ? describe_translation : describe_command,
3071 partial, sub_shadows, &seen, nomenu, mention_shadow);
3073 skip: ;
3076 UNGCPRO;
3077 return something;
3080 static int previous_description_column;
3082 static void
3083 describe_command (Lisp_Object definition, Lisp_Object args)
3085 register Lisp_Object tem1;
3086 EMACS_INT column = current_column ();
3087 int description_column;
3089 /* If column 16 is no good, go to col 32;
3090 but don't push beyond that--go to next line instead. */
3091 if (column > 30)
3093 insert_char ('\n');
3094 description_column = 32;
3096 else if (column > 14 || (column > 10 && previous_description_column == 32))
3097 description_column = 32;
3098 else
3099 description_column = 16;
3101 Findent_to (make_number (description_column), make_number (1));
3102 previous_description_column = description_column;
3104 if (SYMBOLP (definition))
3106 tem1 = SYMBOL_NAME (definition);
3107 insert1 (tem1);
3108 insert_string ("\n");
3110 else if (STRINGP (definition) || VECTORP (definition))
3111 insert_string ("Keyboard Macro\n");
3112 else if (KEYMAPP (definition))
3113 insert_string ("Prefix Command\n");
3114 else
3115 insert_string ("??\n");
3118 static void
3119 describe_translation (Lisp_Object definition, Lisp_Object args)
3121 register Lisp_Object tem1;
3123 Findent_to (make_number (16), make_number (1));
3125 if (SYMBOLP (definition))
3127 tem1 = SYMBOL_NAME (definition);
3128 insert1 (tem1);
3129 insert_string ("\n");
3131 else if (STRINGP (definition) || VECTORP (definition))
3133 insert1 (Fkey_description (definition, Qnil));
3134 insert_string ("\n");
3136 else if (KEYMAPP (definition))
3137 insert_string ("Prefix Command\n");
3138 else
3139 insert_string ("??\n");
3142 /* describe_map puts all the usable elements of a sparse keymap
3143 into an array of `struct describe_map_elt',
3144 then sorts them by the events. */
3146 struct describe_map_elt { Lisp_Object event; Lisp_Object definition; int shadowed; };
3148 /* qsort comparison function for sorting `struct describe_map_elt' by
3149 the event field. */
3151 static int
3152 describe_map_compare (const void *aa, const void *bb)
3154 const struct describe_map_elt *a = aa, *b = bb;
3155 if (INTEGERP (a->event) && INTEGERP (b->event))
3156 return ((XINT (a->event) > XINT (b->event))
3157 - (XINT (a->event) < XINT (b->event)));
3158 if (!INTEGERP (a->event) && INTEGERP (b->event))
3159 return 1;
3160 if (INTEGERP (a->event) && !INTEGERP (b->event))
3161 return -1;
3162 if (SYMBOLP (a->event) && SYMBOLP (b->event))
3163 return (!NILP (Fstring_lessp (a->event, b->event)) ? -1
3164 : !NILP (Fstring_lessp (b->event, a->event)) ? 1
3165 : 0);
3166 return 0;
3169 /* Describe the contents of map MAP, assuming that this map itself is
3170 reached by the sequence of prefix keys PREFIX (a string or vector).
3171 PARTIAL, SHADOW, NOMENU are as in `describe_map_tree' above. */
3173 static void
3174 describe_map (Lisp_Object map, Lisp_Object prefix,
3175 void (*elt_describer) (Lisp_Object, Lisp_Object),
3176 int partial, Lisp_Object shadow,
3177 Lisp_Object *seen, int nomenu, int mention_shadow)
3179 Lisp_Object tail, definition, event;
3180 Lisp_Object tem;
3181 Lisp_Object suppress;
3182 Lisp_Object kludge;
3183 int first = 1;
3184 struct gcpro gcpro1, gcpro2, gcpro3;
3186 /* These accumulate the values from sparse keymap bindings,
3187 so we can sort them and handle them in order. */
3188 int length_needed = 0;
3189 struct describe_map_elt *vect;
3190 int slots_used = 0;
3191 int i;
3193 suppress = Qnil;
3195 if (partial)
3196 suppress = intern ("suppress-keymap");
3198 /* This vector gets used to present single keys to Flookup_key. Since
3199 that is done once per keymap element, we don't want to cons up a
3200 fresh vector every time. */
3201 kludge = Fmake_vector (make_number (1), Qnil);
3202 definition = Qnil;
3204 GCPRO3 (prefix, definition, kludge);
3206 map = call1 (Qkeymap_canonicalize, map);
3208 for (tail = map; CONSP (tail); tail = XCDR (tail))
3209 length_needed++;
3211 vect = ((struct describe_map_elt *)
3212 alloca (sizeof (struct describe_map_elt) * length_needed));
3214 for (tail = map; CONSP (tail); tail = XCDR (tail))
3216 QUIT;
3218 if (VECTORP (XCAR (tail))
3219 || CHAR_TABLE_P (XCAR (tail)))
3220 describe_vector (XCAR (tail),
3221 prefix, Qnil, elt_describer, partial, shadow, map,
3222 1, mention_shadow);
3223 else if (CONSP (XCAR (tail)))
3225 int this_shadowed = 0;
3227 event = XCAR (XCAR (tail));
3229 /* Ignore bindings whose "prefix" are not really valid events.
3230 (We get these in the frames and buffers menu.) */
3231 if (!(SYMBOLP (event) || INTEGERP (event)))
3232 continue;
3234 if (nomenu && EQ (event, Qmenu_bar))
3235 continue;
3237 definition = get_keyelt (XCDR (XCAR (tail)), 0);
3239 /* Don't show undefined commands or suppressed commands. */
3240 if (NILP (definition)) continue;
3241 if (SYMBOLP (definition) && partial)
3243 tem = Fget (definition, suppress);
3244 if (!NILP (tem))
3245 continue;
3248 /* Don't show a command that isn't really visible
3249 because a local definition of the same key shadows it. */
3251 ASET (kludge, 0, event);
3252 if (!NILP (shadow))
3254 tem = shadow_lookup (shadow, kludge, Qt, 0);
3255 if (!NILP (tem))
3257 /* If both bindings are keymaps, this key is a prefix key,
3258 so don't say it is shadowed. */
3259 if (KEYMAPP (definition) && KEYMAPP (tem))
3261 /* Avoid generating duplicate entries if the
3262 shadowed binding has the same definition. */
3263 else if (mention_shadow && !EQ (tem, definition))
3264 this_shadowed = 1;
3265 else
3266 continue;
3270 tem = Flookup_key (map, kludge, Qt);
3271 if (!EQ (tem, definition)) continue;
3273 vect[slots_used].event = event;
3274 vect[slots_used].definition = definition;
3275 vect[slots_used].shadowed = this_shadowed;
3276 slots_used++;
3278 else if (EQ (XCAR (tail), Qkeymap))
3280 /* The same keymap might be in the structure twice, if we're
3281 using an inherited keymap. So skip anything we've already
3282 encountered. */
3283 tem = Fassq (tail, *seen);
3284 if (CONSP (tem) && !NILP (Fequal (XCAR (tem), prefix)))
3285 break;
3286 *seen = Fcons (Fcons (tail, prefix), *seen);
3290 /* If we found some sparse map events, sort them. */
3292 qsort (vect, slots_used, sizeof (struct describe_map_elt),
3293 describe_map_compare);
3295 /* Now output them in sorted order. */
3297 for (i = 0; i < slots_used; i++)
3299 Lisp_Object start, end;
3301 if (first)
3303 previous_description_column = 0;
3304 insert ("\n", 1);
3305 first = 0;
3308 ASET (kludge, 0, vect[i].event);
3309 start = vect[i].event;
3310 end = start;
3312 definition = vect[i].definition;
3314 /* Find consecutive chars that are identically defined. */
3315 if (INTEGERP (vect[i].event))
3317 while (i + 1 < slots_used
3318 && EQ (vect[i+1].event, make_number (XINT (vect[i].event) + 1))
3319 && !NILP (Fequal (vect[i + 1].definition, definition))
3320 && vect[i].shadowed == vect[i + 1].shadowed)
3321 i++;
3322 end = vect[i].event;
3325 /* Now START .. END is the range to describe next. */
3327 /* Insert the string to describe the event START. */
3328 insert1 (Fkey_description (kludge, prefix));
3330 if (!EQ (start, end))
3332 insert (" .. ", 4);
3334 ASET (kludge, 0, end);
3335 /* Insert the string to describe the character END. */
3336 insert1 (Fkey_description (kludge, prefix));
3339 /* Print a description of the definition of this character.
3340 elt_describer will take care of spacing out far enough
3341 for alignment purposes. */
3342 (*elt_describer) (vect[i].definition, Qnil);
3344 if (vect[i].shadowed)
3346 SET_PT (PT - 1);
3347 insert_string ("\n (that binding is currently shadowed by another mode)");
3348 SET_PT (PT + 1);
3352 UNGCPRO;
3355 static void
3356 describe_vector_princ (Lisp_Object elt, Lisp_Object fun)
3358 Findent_to (make_number (16), make_number (1));
3359 call1 (fun, elt);
3360 Fterpri (Qnil);
3363 DEFUN ("describe-vector", Fdescribe_vector, Sdescribe_vector, 1, 2, 0,
3364 doc: /* Insert a description of contents of VECTOR.
3365 This is text showing the elements of vector matched against indices.
3366 DESCRIBER is the output function used; nil means use `princ'. */)
3367 (Lisp_Object vector, Lisp_Object describer)
3369 int count = SPECPDL_INDEX ();
3370 if (NILP (describer))
3371 describer = intern ("princ");
3372 specbind (Qstandard_output, Fcurrent_buffer ());
3373 CHECK_VECTOR_OR_CHAR_TABLE (vector);
3374 describe_vector (vector, Qnil, describer, describe_vector_princ, 0,
3375 Qnil, Qnil, 0, 0);
3377 return unbind_to (count, Qnil);
3380 /* Insert in the current buffer a description of the contents of VECTOR.
3381 We call ELT_DESCRIBER to insert the description of one value found
3382 in VECTOR.
3384 ELT_PREFIX describes what "comes before" the keys or indices defined
3385 by this vector. This is a human-readable string whose size
3386 is not necessarily related to the situation.
3388 If the vector is in a keymap, ELT_PREFIX is a prefix key which
3389 leads to this keymap.
3391 If the vector is a chartable, ELT_PREFIX is the vector
3392 of bytes that lead to the character set or portion of a character
3393 set described by this chartable.
3395 If PARTIAL is nonzero, it means do not mention suppressed commands
3396 (that assumes the vector is in a keymap).
3398 SHADOW is a list of keymaps that shadow this map.
3399 If it is non-nil, then we look up the key in those maps
3400 and we don't mention it now if it is defined by any of them.
3402 ENTIRE_MAP is the keymap in which this vector appears.
3403 If the definition in effect in the whole map does not match
3404 the one in this vector, we ignore this one.
3406 ARGS is simply passed as the second argument to ELT_DESCRIBER.
3408 KEYMAP_P is 1 if vector is known to be a keymap, so map ESC to M-.
3410 ARGS is simply passed as the second argument to ELT_DESCRIBER. */
3412 static void
3413 describe_vector (Lisp_Object vector, Lisp_Object prefix, Lisp_Object args,
3414 void (*elt_describer) (Lisp_Object, Lisp_Object),
3415 int partial, Lisp_Object shadow, Lisp_Object entire_map,
3416 int keymap_p, int mention_shadow)
3418 Lisp_Object definition;
3419 Lisp_Object tem2;
3420 Lisp_Object elt_prefix = Qnil;
3421 int i;
3422 Lisp_Object suppress;
3423 Lisp_Object kludge;
3424 int first = 1;
3425 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
3426 /* Range of elements to be handled. */
3427 int from, to, stop;
3428 Lisp_Object character;
3429 int starting_i;
3431 suppress = Qnil;
3433 definition = Qnil;
3435 if (!keymap_p)
3437 /* Call Fkey_description first, to avoid GC bug for the other string. */
3438 if (!NILP (prefix) && XFASTINT (Flength (prefix)) > 0)
3440 Lisp_Object tem;
3441 tem = Fkey_description (prefix, Qnil);
3442 elt_prefix = concat2 (tem, build_string (" "));
3444 prefix = Qnil;
3447 /* This vector gets used to present single keys to Flookup_key. Since
3448 that is done once per vector element, we don't want to cons up a
3449 fresh vector every time. */
3450 kludge = Fmake_vector (make_number (1), Qnil);
3451 GCPRO4 (elt_prefix, prefix, definition, kludge);
3453 if (partial)
3454 suppress = intern ("suppress-keymap");
3456 from = 0;
3457 if (CHAR_TABLE_P (vector))
3458 stop = MAX_5_BYTE_CHAR + 1, to = MAX_CHAR + 1;
3459 else
3460 stop = to = ASIZE (vector);
3462 for (i = from; ; i++)
3464 int this_shadowed = 0;
3465 int range_beg, range_end;
3466 Lisp_Object val;
3468 QUIT;
3470 if (i == stop)
3472 if (i == to)
3473 break;
3474 stop = to;
3477 starting_i = i;
3479 if (CHAR_TABLE_P (vector))
3481 range_beg = i;
3482 i = stop - 1;
3483 val = char_table_ref_and_range (vector, range_beg, &range_beg, &i);
3485 else
3486 val = AREF (vector, i);
3487 definition = get_keyelt (val, 0);
3489 if (NILP (definition)) continue;
3491 /* Don't mention suppressed commands. */
3492 if (SYMBOLP (definition) && partial)
3494 Lisp_Object tem;
3496 tem = Fget (definition, suppress);
3498 if (!NILP (tem)) continue;
3501 character = make_number (starting_i);
3502 ASET (kludge, 0, character);
3504 /* If this binding is shadowed by some other map, ignore it. */
3505 if (!NILP (shadow))
3507 Lisp_Object tem;
3509 tem = shadow_lookup (shadow, kludge, Qt, 0);
3511 if (!NILP (tem))
3513 if (mention_shadow)
3514 this_shadowed = 1;
3515 else
3516 continue;
3520 /* Ignore this definition if it is shadowed by an earlier
3521 one in the same keymap. */
3522 if (!NILP (entire_map))
3524 Lisp_Object tem;
3526 tem = Flookup_key (entire_map, kludge, Qt);
3528 if (!EQ (tem, definition))
3529 continue;
3532 if (first)
3534 insert ("\n", 1);
3535 first = 0;
3538 /* Output the prefix that applies to every entry in this map. */
3539 if (!NILP (elt_prefix))
3540 insert1 (elt_prefix);
3542 insert1 (Fkey_description (kludge, prefix));
3544 /* Find all consecutive characters or rows that have the same
3545 definition. But, VECTOR is a char-table, we had better put a
3546 boundary between normal characters (-#x3FFF7F) and 8-bit
3547 characters (#x3FFF80-). */
3548 if (CHAR_TABLE_P (vector))
3550 while (i + 1 < stop
3551 && (range_beg = i + 1, range_end = stop - 1,
3552 val = char_table_ref_and_range (vector, range_beg,
3553 &range_beg, &range_end),
3554 tem2 = get_keyelt (val, 0),
3555 !NILP (tem2))
3556 && !NILP (Fequal (tem2, definition)))
3557 i = range_end;
3559 else
3560 while (i + 1 < stop
3561 && (tem2 = get_keyelt (AREF (vector, i + 1), 0),
3562 !NILP (tem2))
3563 && !NILP (Fequal (tem2, definition)))
3564 i++;
3566 /* If we have a range of more than one character,
3567 print where the range reaches to. */
3569 if (i != starting_i)
3571 insert (" .. ", 4);
3573 ASET (kludge, 0, make_number (i));
3575 if (!NILP (elt_prefix))
3576 insert1 (elt_prefix);
3578 insert1 (Fkey_description (kludge, prefix));
3581 /* Print a description of the definition of this character.
3582 elt_describer will take care of spacing out far enough
3583 for alignment purposes. */
3584 (*elt_describer) (definition, args);
3586 if (this_shadowed)
3588 SET_PT (PT - 1);
3589 insert_string (" (binding currently shadowed)");
3590 SET_PT (PT + 1);
3594 if (CHAR_TABLE_P (vector) && ! NILP (XCHAR_TABLE (vector)->defalt))
3596 if (!NILP (elt_prefix))
3597 insert1 (elt_prefix);
3598 insert ("default", 7);
3599 (*elt_describer) (XCHAR_TABLE (vector)->defalt, args);
3602 UNGCPRO;
3605 /* Apropos - finding all symbols whose names match a regexp. */
3606 static Lisp_Object apropos_predicate;
3607 static Lisp_Object apropos_accumulate;
3609 static void
3610 apropos_accum (Lisp_Object symbol, Lisp_Object string)
3612 register Lisp_Object tem;
3614 tem = Fstring_match (string, Fsymbol_name (symbol), Qnil);
3615 if (!NILP (tem) && !NILP (apropos_predicate))
3616 tem = call1 (apropos_predicate, symbol);
3617 if (!NILP (tem))
3618 apropos_accumulate = Fcons (symbol, apropos_accumulate);
3621 DEFUN ("apropos-internal", Fapropos_internal, Sapropos_internal, 1, 2, 0,
3622 doc: /* Show all symbols whose names contain match for REGEXP.
3623 If optional 2nd arg PREDICATE is non-nil, (funcall PREDICATE SYMBOL) is done
3624 for each symbol and a symbol is mentioned only if that returns non-nil.
3625 Return list of symbols found. */)
3626 (Lisp_Object regexp, Lisp_Object predicate)
3628 Lisp_Object tem;
3629 CHECK_STRING (regexp);
3630 apropos_predicate = predicate;
3631 apropos_accumulate = Qnil;
3632 map_obarray (Vobarray, apropos_accum, regexp);
3633 tem = Fsort (apropos_accumulate, Qstring_lessp);
3634 apropos_accumulate = Qnil;
3635 apropos_predicate = Qnil;
3636 return tem;
3639 void
3640 syms_of_keymap (void)
3642 DEFSYM (Qkeymap, "keymap");
3643 staticpro (&apropos_predicate);
3644 staticpro (&apropos_accumulate);
3645 apropos_predicate = Qnil;
3646 apropos_accumulate = Qnil;
3648 DEFSYM (Qkeymap_canonicalize, "keymap-canonicalize");
3650 /* Now we are ready to set up this property, so we can
3651 create char tables. */
3652 Fput (Qkeymap, Qchar_table_extra_slots, make_number (0));
3654 /* Initialize the keymaps standardly used.
3655 Each one is the value of a Lisp variable, and is also
3656 pointed to by a C variable */
3658 global_map = Fmake_keymap (Qnil);
3659 Fset (intern_c_string ("global-map"), global_map);
3661 current_global_map = global_map;
3662 staticpro (&global_map);
3663 staticpro (&current_global_map);
3665 meta_map = Fmake_keymap (Qnil);
3666 Fset (intern_c_string ("esc-map"), meta_map);
3667 Ffset (intern_c_string ("ESC-prefix"), meta_map);
3669 control_x_map = Fmake_keymap (Qnil);
3670 Fset (intern_c_string ("ctl-x-map"), control_x_map);
3671 Ffset (intern_c_string ("Control-X-prefix"), control_x_map);
3673 exclude_keys
3674 = pure_cons (pure_cons (make_pure_c_string ("DEL"), make_pure_c_string ("\\d")),
3675 pure_cons (pure_cons (make_pure_c_string ("TAB"), make_pure_c_string ("\\t")),
3676 pure_cons (pure_cons (make_pure_c_string ("RET"), make_pure_c_string ("\\r")),
3677 pure_cons (pure_cons (make_pure_c_string ("ESC"), make_pure_c_string ("\\e")),
3678 pure_cons (pure_cons (make_pure_c_string ("SPC"), make_pure_c_string (" ")),
3679 Qnil)))));
3680 staticpro (&exclude_keys);
3682 DEFVAR_LISP ("define-key-rebound-commands", Vdefine_key_rebound_commands,
3683 doc: /* List of commands given new key bindings recently.
3684 This is used for internal purposes during Emacs startup;
3685 don't alter it yourself. */);
3686 Vdefine_key_rebound_commands = Qt;
3688 DEFVAR_LISP ("minibuffer-local-map", Vminibuffer_local_map,
3689 doc: /* Default keymap to use when reading from the minibuffer. */);
3690 Vminibuffer_local_map = Fmake_sparse_keymap (Qnil);
3692 DEFVAR_LISP ("minibuffer-local-ns-map", Vminibuffer_local_ns_map,
3693 doc: /* Local keymap for the minibuffer when spaces are not allowed. */);
3694 Vminibuffer_local_ns_map = Fmake_sparse_keymap (Qnil);
3695 Fset_keymap_parent (Vminibuffer_local_ns_map, Vminibuffer_local_map);
3698 DEFVAR_LISP ("minor-mode-map-alist", Vminor_mode_map_alist,
3699 doc: /* Alist of keymaps to use for minor modes.
3700 Each element looks like (VARIABLE . KEYMAP); KEYMAP is used to read
3701 key sequences and look up bindings if VARIABLE's value is non-nil.
3702 If two active keymaps bind the same key, the keymap appearing earlier
3703 in the list takes precedence. */);
3704 Vminor_mode_map_alist = Qnil;
3706 DEFVAR_LISP ("minor-mode-overriding-map-alist", Vminor_mode_overriding_map_alist,
3707 doc: /* Alist of keymaps to use for minor modes, in current major mode.
3708 This variable is an alist just like `minor-mode-map-alist', and it is
3709 used the same way (and before `minor-mode-map-alist'); however,
3710 it is provided for major modes to bind locally. */);
3711 Vminor_mode_overriding_map_alist = Qnil;
3713 DEFVAR_LISP ("emulation-mode-map-alists", Vemulation_mode_map_alists,
3714 doc: /* List of keymap alists to use for emulations modes.
3715 It is intended for modes or packages using multiple minor-mode keymaps.
3716 Each element is a keymap alist just like `minor-mode-map-alist', or a
3717 symbol with a variable binding which is a keymap alist, and it is used
3718 the same way. The "active" keymaps in each alist are used before
3719 `minor-mode-map-alist' and `minor-mode-overriding-map-alist'. */);
3720 Vemulation_mode_map_alists = Qnil;
3722 DEFVAR_LISP ("where-is-preferred-modifier", Vwhere_is_preferred_modifier,
3723 doc: /* Preferred modifier key to use for `where-is'.
3724 When a single binding is requested, `where-is' will return one that
3725 uses this modifier key if possible. If nil, or if no such binding
3726 exists, bindings using keys without modifiers (or only with meta) will
3727 be preferred. */);
3728 Vwhere_is_preferred_modifier = Qnil;
3729 where_is_preferred_modifier = 0;
3731 staticpro (&Vmouse_events);
3732 Vmouse_events = pure_cons (intern_c_string ("menu-bar"),
3733 pure_cons (intern_c_string ("tool-bar"),
3734 pure_cons (intern_c_string ("header-line"),
3735 pure_cons (intern_c_string ("mode-line"),
3736 pure_cons (intern_c_string ("mouse-1"),
3737 pure_cons (intern_c_string ("mouse-2"),
3738 pure_cons (intern_c_string ("mouse-3"),
3739 pure_cons (intern_c_string ("mouse-4"),
3740 pure_cons (intern_c_string ("mouse-5"),
3741 Qnil)))))))));
3743 DEFSYM (Qsingle_key_description, "single-key-description");
3744 DEFSYM (Qkey_description, "key-description");
3745 DEFSYM (Qkeymapp, "keymapp");
3746 DEFSYM (Qnon_ascii, "non-ascii");
3747 DEFSYM (Qmenu_item, "menu-item");
3748 DEFSYM (Qremap, "remap");
3749 DEFSYM (QCadvertised_binding, ":advertised-binding");
3751 command_remapping_vector = Fmake_vector (make_number (2), Qremap);
3752 staticpro (&command_remapping_vector);
3754 where_is_cache_keymaps = Qt;
3755 where_is_cache = Qnil;
3756 staticpro (&where_is_cache);
3757 staticpro (&where_is_cache_keymaps);
3759 defsubr (&Skeymapp);
3760 defsubr (&Skeymap_parent);
3761 defsubr (&Skeymap_prompt);
3762 defsubr (&Sset_keymap_parent);
3763 defsubr (&Smake_keymap);
3764 defsubr (&Smake_sparse_keymap);
3765 defsubr (&Smap_keymap_internal);
3766 defsubr (&Smap_keymap);
3767 defsubr (&Scopy_keymap);
3768 defsubr (&Scommand_remapping);
3769 defsubr (&Skey_binding);
3770 defsubr (&Slocal_key_binding);
3771 defsubr (&Sglobal_key_binding);
3772 defsubr (&Sminor_mode_key_binding);
3773 defsubr (&Sdefine_key);
3774 defsubr (&Slookup_key);
3775 defsubr (&Sdefine_prefix_command);
3776 defsubr (&Suse_global_map);
3777 defsubr (&Suse_local_map);
3778 defsubr (&Scurrent_local_map);
3779 defsubr (&Scurrent_global_map);
3780 defsubr (&Scurrent_minor_mode_maps);
3781 defsubr (&Scurrent_active_maps);
3782 defsubr (&Saccessible_keymaps);
3783 defsubr (&Skey_description);
3784 defsubr (&Sdescribe_vector);
3785 defsubr (&Ssingle_key_description);
3786 defsubr (&Stext_char_description);
3787 defsubr (&Swhere_is_internal);
3788 defsubr (&Sdescribe_buffer_bindings);
3789 defsubr (&Sapropos_internal);
3792 void
3793 keys_of_keymap (void)
3795 initial_define_key (global_map, 033, "ESC-prefix");
3796 initial_define_key (global_map, Ctl ('X'), "Control-X-prefix");