Make buffer-objfwd variables work per-thread.
[emacs.git] / src / keymap.c
blobf6f47db23f5bbfc87135dc2857d10459ae853da9
1 /* Manipulation of keymaps
2 Copyright (C) 1985, 1986, 1987, 1988, 1993, 1994, 1995,
3 1998, 1999, 2000, 2001, 2002, 2003, 2004,
4 2005, 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
6 This file is part of GNU Emacs.
8 GNU Emacs is free software: you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation, either version 3 of the License, or
11 (at your option) any later version.
13 GNU Emacs is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
22 #include <config.h>
23 #include <stdio.h>
24 #include <setjmp.h>
25 #if HAVE_ALLOCA_H
26 # include <alloca.h>
27 #endif
28 #include "lisp.h"
29 #include "commands.h"
30 #include "buffer.h"
31 #include "character.h"
32 #include "charset.h"
33 #include "keyboard.h"
34 #include "frame.h"
35 #include "termhooks.h"
36 #include "blockinput.h"
37 #include "puresize.h"
38 #include "intervals.h"
39 #include "keymap.h"
40 #include "window.h"
42 /* The number of elements in keymap vectors. */
43 #define DENSE_TABLE_SIZE (0200)
45 /* Actually allocate storage for these variables */
47 Lisp_Object current_global_map; /* Current global keymap */
49 Lisp_Object global_map; /* default global key bindings */
51 Lisp_Object meta_map; /* The keymap used for globally bound
52 ESC-prefixed default commands */
54 Lisp_Object control_x_map; /* The keymap used for globally bound
55 C-x-prefixed default commands */
57 /* was MinibufLocalMap */
58 Lisp_Object impl_Vminibuffer_local_map;
59 /* The keymap used by the minibuf for local
60 bindings when spaces are allowed in the
61 minibuf */
63 /* was MinibufLocalNSMap */
64 Lisp_Object impl_Vminibuffer_local_ns_map;
65 /* The keymap used by the minibuf for local
66 bindings when spaces are not encouraged
67 in the minibuf */
69 /* keymap used for minibuffers when doing completion */
70 /* was MinibufLocalCompletionMap */
71 Lisp_Object impl_Vminibuffer_local_completion_map;
73 /* keymap used for minibuffers when doing completion in filenames */
74 Lisp_Object impl_Vminibuffer_local_filename_completion_map;
76 /* keymap used for minibuffers when doing completion in filenames
77 with require-match*/
78 Lisp_Object impl_Vminibuffer_local_filename_must_match_map;
80 /* keymap used for minibuffers when doing completion and require a match */
81 /* was MinibufLocalMustMatchMap */
82 Lisp_Object impl_Vminibuffer_local_must_match_map;
84 /* Alist of minor mode variables and keymaps. */
85 Lisp_Object impl_Vminor_mode_map_alist;
87 /* Alist of major-mode-specific overrides for
88 minor mode variables and keymaps. */
89 Lisp_Object impl_Vminor_mode_overriding_map_alist;
91 /* List of emulation mode keymap alists. */
92 Lisp_Object impl_Vemulation_mode_map_alists;
94 /* A list of all commands given new bindings since a certain time
95 when nil was stored here.
96 This is used to speed up recomputation of menu key equivalents
97 when Emacs starts up. t means don't record anything here. */
98 Lisp_Object impl_Vdefine_key_rebound_commands;
100 Lisp_Object Qkeymapp, Qkeymap, Qnon_ascii, Qmenu_item, Qremap;
101 Lisp_Object QCadvertised_binding;
103 /* Alist of elements like (DEL . "\d"). */
104 static Lisp_Object exclude_keys;
106 /* Pre-allocated 2-element vector for Fcommand_remapping to use. */
107 static Lisp_Object command_remapping_vector;
109 /* A char with the CHAR_META bit set in a vector or the 0200 bit set
110 in a string key sequence is equivalent to prefixing with this
111 character. */
112 extern Lisp_Object impl_meta_prefix_char;
114 extern Lisp_Object impl_Voverriding_local_map;
116 /* Hash table used to cache a reverse-map to speed up calls to where-is. */
117 static Lisp_Object where_is_cache;
118 /* Which keymaps are reverse-stored in the cache. */
119 static Lisp_Object where_is_cache_keymaps;
121 static Lisp_Object store_in_keymap P_ ((Lisp_Object, Lisp_Object, Lisp_Object));
122 static void fix_submap_inheritance P_ ((Lisp_Object, Lisp_Object, Lisp_Object));
124 static Lisp_Object define_as_prefix P_ ((Lisp_Object, Lisp_Object));
125 static void describe_command P_ ((Lisp_Object, Lisp_Object));
126 static void describe_translation P_ ((Lisp_Object, Lisp_Object));
127 static void describe_map P_ ((Lisp_Object, Lisp_Object,
128 void (*) P_ ((Lisp_Object, Lisp_Object)),
129 int, Lisp_Object, Lisp_Object*, int, int));
130 static void describe_vector P_ ((Lisp_Object, Lisp_Object, Lisp_Object,
131 void (*) (Lisp_Object, Lisp_Object), int,
132 Lisp_Object, Lisp_Object, int *,
133 int, int, int));
134 static void silly_event_symbol_error P_ ((Lisp_Object));
136 /* Keymap object support - constructors and predicates. */
138 DEFUN ("make-keymap", Fmake_keymap, Smake_keymap, 0, 1, 0,
139 doc: /* Construct and return a new keymap, of the form (keymap CHARTABLE . ALIST).
140 CHARTABLE is a char-table that holds the bindings for all characters
141 without modifiers. All entries in it are initially nil, meaning
142 "command undefined". ALIST is an assoc-list which holds bindings for
143 function keys, mouse events, and any other things that appear in the
144 input stream. Initially, ALIST is nil.
146 The optional arg STRING supplies a menu name for the keymap
147 in case you use it as a menu with `x-popup-menu'. */)
148 (string)
149 Lisp_Object string;
151 Lisp_Object tail;
152 if (!NILP (string))
153 tail = Fcons (string, Qnil);
154 else
155 tail = Qnil;
156 return Fcons (Qkeymap,
157 Fcons (Fmake_char_table (Qkeymap, Qnil), tail));
160 DEFUN ("make-sparse-keymap", Fmake_sparse_keymap, Smake_sparse_keymap, 0, 1, 0,
161 doc: /* Construct and return a new sparse keymap.
162 Its car is `keymap' and its cdr is an alist of (CHAR . DEFINITION),
163 which binds the character CHAR to DEFINITION, or (SYMBOL . DEFINITION),
164 which binds the function key or mouse event SYMBOL to DEFINITION.
165 Initially the alist is nil.
167 The optional arg STRING supplies a menu name for the keymap
168 in case you use it as a menu with `x-popup-menu'. */)
169 (string)
170 Lisp_Object string;
172 if (!NILP (string))
174 if (!NILP (Vpurify_flag))
175 string = Fpurecopy (string);
176 return Fcons (Qkeymap, Fcons (string, Qnil));
178 return Fcons (Qkeymap, Qnil);
181 /* This function is used for installing the standard key bindings
182 at initialization time.
184 For example:
186 initial_define_key (control_x_map, Ctl('X'), "exchange-point-and-mark"); */
188 void
189 initial_define_key (keymap, key, defname)
190 Lisp_Object keymap;
191 int key;
192 char *defname;
194 store_in_keymap (keymap, make_number (key), intern_c_string (defname));
197 void
198 initial_define_lispy_key (keymap, keyname, defname)
199 Lisp_Object keymap;
200 char *keyname;
201 char *defname;
203 store_in_keymap (keymap, intern_c_string (keyname), intern_c_string (defname));
206 DEFUN ("keymapp", Fkeymapp, Skeymapp, 1, 1, 0,
207 doc: /* Return t if OBJECT is a keymap.
209 A keymap is a list (keymap . ALIST),
210 or a symbol whose function definition is itself a keymap.
211 ALIST elements look like (CHAR . DEFN) or (SYMBOL . DEFN);
212 a vector of densely packed bindings for small character codes
213 is also allowed as an element. */)
214 (object)
215 Lisp_Object object;
217 return (KEYMAPP (object) ? Qt : Qnil);
220 DEFUN ("keymap-prompt", Fkeymap_prompt, Skeymap_prompt, 1, 1, 0,
221 doc: /* Return the prompt-string of a keymap MAP.
222 If non-nil, the prompt is shown in the echo-area
223 when reading a key-sequence to be looked-up in this keymap. */)
224 (map)
225 Lisp_Object map;
227 map = get_keymap (map, 0, 0);
228 while (CONSP (map))
230 Lisp_Object tem = XCAR (map);
231 if (STRINGP (tem))
232 return tem;
233 map = XCDR (map);
235 return Qnil;
238 /* Check that OBJECT is a keymap (after dereferencing through any
239 symbols). If it is, return it.
241 If AUTOLOAD is non-zero and OBJECT is a symbol whose function value
242 is an autoload form, do the autoload and try again.
243 If AUTOLOAD is nonzero, callers must assume GC is possible.
245 If the map needs to be autoloaded, but AUTOLOAD is zero (and ERROR
246 is zero as well), return Qt.
248 ERROR controls how we respond if OBJECT isn't a keymap.
249 If ERROR is non-zero, signal an error; otherwise, just return Qnil.
251 Note that most of the time, we don't want to pursue autoloads.
252 Functions like Faccessible_keymaps which scan entire keymap trees
253 shouldn't load every autoloaded keymap. I'm not sure about this,
254 but it seems to me that only read_key_sequence, Flookup_key, and
255 Fdefine_key should cause keymaps to be autoloaded.
257 This function can GC when AUTOLOAD is non-zero, because it calls
258 do_autoload which can GC. */
260 Lisp_Object
261 get_keymap (object, error, autoload)
262 Lisp_Object object;
263 int error, autoload;
265 Lisp_Object tem;
267 autoload_retry:
268 if (NILP (object))
269 goto end;
270 if (CONSP (object) && EQ (XCAR (object), Qkeymap))
271 return object;
273 tem = indirect_function (object);
274 if (CONSP (tem))
276 if (EQ (XCAR (tem), Qkeymap))
277 return tem;
279 /* Should we do an autoload? Autoload forms for keymaps have
280 Qkeymap as their fifth element. */
281 if ((autoload || !error) && EQ (XCAR (tem), Qautoload)
282 && SYMBOLP (object))
284 Lisp_Object tail;
286 tail = Fnth (make_number (4), tem);
287 if (EQ (tail, Qkeymap))
289 if (autoload)
291 struct gcpro gcpro1, gcpro2;
293 GCPRO2 (tem, object);
294 do_autoload (tem, object);
295 UNGCPRO;
297 goto autoload_retry;
299 else
300 return object;
305 end:
306 if (error)
307 wrong_type_argument (Qkeymapp, object);
308 return Qnil;
311 /* Return the parent map of KEYMAP, or nil if it has none.
312 We assume that KEYMAP is a valid keymap. */
314 Lisp_Object
315 keymap_parent (keymap, autoload)
316 Lisp_Object keymap;
317 int autoload;
319 Lisp_Object list;
321 keymap = get_keymap (keymap, 1, autoload);
323 /* Skip past the initial element `keymap'. */
324 list = XCDR (keymap);
325 for (; CONSP (list); list = XCDR (list))
327 /* See if there is another `keymap'. */
328 if (KEYMAPP (list))
329 return list;
332 return get_keymap (list, 0, autoload);
335 DEFUN ("keymap-parent", Fkeymap_parent, Skeymap_parent, 1, 1, 0,
336 doc: /* Return the parent keymap of KEYMAP.
337 If KEYMAP has no parent, return nil. */)
338 (keymap)
339 Lisp_Object keymap;
341 return keymap_parent (keymap, 1);
344 /* Check whether MAP is one of MAPS parents. */
346 keymap_memberp (map, maps)
347 Lisp_Object map, maps;
349 if (NILP (map)) return 0;
350 while (KEYMAPP (maps) && !EQ (map, maps))
351 maps = keymap_parent (maps, 0);
352 return (EQ (map, maps));
355 /* Set the parent keymap of MAP to PARENT. */
357 DEFUN ("set-keymap-parent", Fset_keymap_parent, Sset_keymap_parent, 2, 2, 0,
358 doc: /* Modify KEYMAP to set its parent map to PARENT.
359 Return PARENT. PARENT should be nil or another keymap. */)
360 (keymap, parent)
361 Lisp_Object keymap, parent;
363 Lisp_Object list, prev;
364 struct gcpro gcpro1, gcpro2;
365 int i;
367 /* Force a keymap flush for the next call to where-is.
368 Since this can be called from within where-is, we don't set where_is_cache
369 directly but only where_is_cache_keymaps, since where_is_cache shouldn't
370 be changed during where-is, while where_is_cache_keymaps is only used at
371 the very beginning of where-is and can thus be changed here without any
372 adverse effect.
373 This is a very minor correctness (rather than safety) issue. */
374 where_is_cache_keymaps = Qt;
376 GCPRO2 (keymap, parent);
377 keymap = get_keymap (keymap, 1, 1);
379 if (!NILP (parent))
381 parent = get_keymap (parent, 1, 1);
383 /* Check for cycles. */
384 if (keymap_memberp (keymap, parent))
385 error ("Cyclic keymap inheritance");
388 /* Skip past the initial element `keymap'. */
389 prev = keymap;
390 while (1)
392 list = XCDR (prev);
393 /* If there is a parent keymap here, replace it.
394 If we came to the end, add the parent in PREV. */
395 if (!CONSP (list) || KEYMAPP (list))
397 /* If we already have the right parent, return now
398 so that we avoid the loops below. */
399 if (EQ (XCDR (prev), parent))
400 RETURN_UNGCPRO (parent);
402 CHECK_IMPURE (prev);
403 XSETCDR (prev, parent);
404 break;
406 prev = list;
409 /* Scan through for submaps, and set their parents too. */
411 for (list = XCDR (keymap); CONSP (list); list = XCDR (list))
413 /* Stop the scan when we come to the parent. */
414 if (EQ (XCAR (list), Qkeymap))
415 break;
417 /* If this element holds a prefix map, deal with it. */
418 if (CONSP (XCAR (list))
419 && CONSP (XCDR (XCAR (list))))
420 fix_submap_inheritance (keymap, XCAR (XCAR (list)),
421 XCDR (XCAR (list)));
423 if (VECTORP (XCAR (list)))
424 for (i = 0; i < XVECTOR (XCAR (list))->size; i++)
425 if (CONSP (XVECTOR (XCAR (list))->contents[i]))
426 fix_submap_inheritance (keymap, make_number (i),
427 XVECTOR (XCAR (list))->contents[i]);
429 if (CHAR_TABLE_P (XCAR (list)))
431 map_char_table (fix_submap_inheritance, Qnil, XCAR (list), keymap);
435 RETURN_UNGCPRO (parent);
438 /* EVENT is defined in MAP as a prefix, and SUBMAP is its definition.
439 if EVENT is also a prefix in MAP's parent,
440 make sure that SUBMAP inherits that definition as its own parent. */
442 static void
443 fix_submap_inheritance (map, event, submap)
444 Lisp_Object map, event, submap;
446 Lisp_Object map_parent, parent_entry;
448 /* SUBMAP is a cons that we found as a key binding.
449 Discard the other things found in a menu key binding. */
451 submap = get_keymap (get_keyelt (submap, 0), 0, 0);
453 /* If it isn't a keymap now, there's no work to do. */
454 if (!CONSP (submap))
455 return;
457 map_parent = keymap_parent (map, 0);
458 if (!NILP (map_parent))
459 parent_entry =
460 get_keymap (access_keymap (map_parent, event, 0, 0, 0), 0, 0);
461 else
462 parent_entry = Qnil;
464 /* If MAP's parent has something other than a keymap,
465 our own submap shadows it completely. */
466 if (!CONSP (parent_entry))
467 return;
469 if (! EQ (parent_entry, submap))
471 Lisp_Object submap_parent;
472 submap_parent = submap;
473 while (1)
475 Lisp_Object tem;
477 tem = keymap_parent (submap_parent, 0);
479 if (KEYMAPP (tem))
481 if (keymap_memberp (tem, parent_entry))
482 /* Fset_keymap_parent could create a cycle. */
483 return;
484 submap_parent = tem;
486 else
487 break;
489 Fset_keymap_parent (submap_parent, parent_entry);
493 /* Look up IDX in MAP. IDX may be any sort of event.
494 Note that this does only one level of lookup; IDX must be a single
495 event, not a sequence.
497 If T_OK is non-zero, bindings for Qt are treated as default
498 bindings; any key left unmentioned by other tables and bindings is
499 given the binding of Qt.
501 If T_OK is zero, bindings for Qt are not treated specially.
503 If NOINHERIT, don't accept a subkeymap found in an inherited keymap. */
505 Lisp_Object
506 access_keymap (map, idx, t_ok, noinherit, autoload)
507 Lisp_Object map;
508 Lisp_Object idx;
509 int t_ok;
510 int noinherit;
511 int autoload;
513 Lisp_Object val;
515 /* Qunbound in VAL means we have found no binding yet. */
516 val = Qunbound;
518 /* If idx is a list (some sort of mouse click, perhaps?),
519 the index we want to use is the car of the list, which
520 ought to be a symbol. */
521 idx = EVENT_HEAD (idx);
523 /* If idx is a symbol, it might have modifiers, which need to
524 be put in the canonical order. */
525 if (SYMBOLP (idx))
526 idx = reorder_modifiers (idx);
527 else if (INTEGERP (idx))
528 /* Clobber the high bits that can be present on a machine
529 with more than 24 bits of integer. */
530 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
532 /* Handle the special meta -> esc mapping. */
533 if (INTEGERP (idx) && XUINT (idx) & meta_modifier)
535 /* See if there is a meta-map. If there's none, there is
536 no binding for IDX, unless a default binding exists in MAP. */
537 struct gcpro gcpro1;
538 Lisp_Object meta_map;
539 GCPRO1 (map);
540 /* A strange value in which Meta is set would cause
541 infinite recursion. Protect against that. */
542 if (XINT (meta_prefix_char) & CHAR_META)
543 meta_prefix_char = make_number (27);
544 meta_map = get_keymap (access_keymap (map, meta_prefix_char,
545 t_ok, noinherit, autoload),
546 0, autoload);
547 UNGCPRO;
548 if (CONSP (meta_map))
550 map = meta_map;
551 idx = make_number (XUINT (idx) & ~meta_modifier);
553 else if (t_ok)
554 /* Set IDX to t, so that we only find a default binding. */
555 idx = Qt;
556 else
557 /* We know there is no binding. */
558 return Qnil;
561 /* t_binding is where we put a default binding that applies,
562 to use in case we do not find a binding specifically
563 for this key sequence. */
565 Lisp_Object tail;
566 Lisp_Object t_binding = Qnil;
567 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
569 GCPRO4 (map, tail, idx, t_binding);
571 for (tail = XCDR (map);
572 (CONSP (tail)
573 || (tail = get_keymap (tail, 0, autoload), CONSP (tail)));
574 tail = XCDR (tail))
576 Lisp_Object binding;
578 binding = XCAR (tail);
579 if (SYMBOLP (binding))
581 /* If NOINHERIT, stop finding prefix definitions
582 after we pass a second occurrence of the `keymap' symbol. */
583 if (noinherit && EQ (binding, Qkeymap))
584 RETURN_UNGCPRO (Qnil);
586 else if (CONSP (binding))
588 Lisp_Object key = XCAR (binding);
590 if (EQ (key, idx))
591 val = XCDR (binding);
592 else if (t_ok && EQ (key, Qt))
594 t_binding = XCDR (binding);
595 t_ok = 0;
598 else if (VECTORP (binding))
600 if (NATNUMP (idx) && XFASTINT (idx) < ASIZE (binding))
601 val = AREF (binding, XFASTINT (idx));
603 else if (CHAR_TABLE_P (binding))
605 /* Character codes with modifiers
606 are not included in a char-table.
607 All character codes without modifiers are included. */
608 if (NATNUMP (idx) && (XFASTINT (idx) & CHAR_MODIFIER_MASK) == 0)
610 val = Faref (binding, idx);
611 /* `nil' has a special meaning for char-tables, so
612 we use something else to record an explicitly
613 unbound entry. */
614 if (NILP (val))
615 val = Qunbound;
619 /* If we found a binding, clean it up and return it. */
620 if (!EQ (val, Qunbound))
622 if (EQ (val, Qt))
623 /* A Qt binding is just like an explicit nil binding
624 (i.e. it shadows any parent binding but not bindings in
625 keymaps of lower precedence). */
626 val = Qnil;
627 val = get_keyelt (val, autoload);
628 if (KEYMAPP (val))
629 fix_submap_inheritance (map, idx, val);
630 RETURN_UNGCPRO (val);
632 QUIT;
634 UNGCPRO;
635 return get_keyelt (t_binding, autoload);
639 static void
640 map_keymap_item (fun, args, key, val, data)
641 map_keymap_function_t fun;
642 Lisp_Object args, key, val;
643 void *data;
645 /* We should maybe try to detect bindings shadowed by previous
646 ones and things like that. */
647 if (EQ (val, Qt))
648 val = Qnil;
649 (*fun) (key, val, args, data);
652 static void
653 map_keymap_char_table_item (args, key, val)
654 Lisp_Object args, key, val;
656 if (!NILP (val))
658 map_keymap_function_t fun = XSAVE_VALUE (XCAR (args))->pointer;
659 args = XCDR (args);
660 /* If the key is a range, make a copy since map_char_table modifies
661 it in place. */
662 if (CONSP (key))
663 key = Fcons (XCAR (key), XCDR (key));
664 map_keymap_item (fun, XCDR (args), key, val,
665 XSAVE_VALUE (XCAR (args))->pointer);
669 /* Call FUN for every binding in MAP and stop at (and return) the parent.
670 FUN is called with 4 arguments: FUN (KEY, BINDING, ARGS, DATA). */
671 Lisp_Object
672 map_keymap_internal (Lisp_Object map,
673 map_keymap_function_t fun,
674 Lisp_Object args,
675 void *data)
677 struct gcpro gcpro1, gcpro2, gcpro3;
678 Lisp_Object tail
679 = (CONSP (map) && EQ (Qkeymap, XCAR (map))) ? XCDR (map) : map;
681 GCPRO3 (map, args, tail);
682 for (; CONSP (tail) && !EQ (Qkeymap, XCAR (tail)); tail = XCDR (tail))
684 Lisp_Object binding = XCAR (tail);
686 if (CONSP (binding))
687 map_keymap_item (fun, args, XCAR (binding), XCDR (binding), data);
688 else if (VECTORP (binding))
690 /* Loop over the char values represented in the vector. */
691 int len = ASIZE (binding);
692 int c;
693 for (c = 0; c < len; c++)
695 Lisp_Object character;
696 XSETFASTINT (character, c);
697 map_keymap_item (fun, args, character, AREF (binding, c), data);
700 else if (CHAR_TABLE_P (binding))
702 map_char_table (map_keymap_char_table_item, Qnil, binding,
703 Fcons (make_save_value (fun, 0),
704 Fcons (make_save_value (data, 0),
705 args)));
708 UNGCPRO;
709 return tail;
712 static void
713 map_keymap_call (key, val, fun, dummy)
714 Lisp_Object key, val, fun;
715 void *dummy;
717 call2 (fun, key, val);
720 /* Same as map_keymap_internal, but doesn't traverses parent keymaps as well.
721 A non-zero AUTOLOAD indicates that autoloaded keymaps should be loaded. */
722 void
723 map_keymap (map, fun, args, data, autoload)
724 map_keymap_function_t fun;
725 Lisp_Object map, args;
726 void *data;
727 int autoload;
729 struct gcpro gcpro1;
730 GCPRO1 (args);
731 map = get_keymap (map, 1, autoload);
732 while (CONSP (map))
734 map = map_keymap_internal (map, fun, args, data);
735 map = get_keymap (map, 0, autoload);
737 UNGCPRO;
740 Lisp_Object Qkeymap_canonicalize;
742 /* Same as map_keymap, but does it right, properly eliminating duplicate
743 bindings due to inheritance. */
744 void
745 map_keymap_canonical (map, fun, args, data)
746 map_keymap_function_t fun;
747 Lisp_Object map, args;
748 void *data;
750 struct gcpro gcpro1;
751 GCPRO1 (args);
752 /* map_keymap_canonical may be used from redisplay (e.g. when building menus)
753 so be careful to ignore errors and to inhibit redisplay. */
754 map = safe_call1 (Qkeymap_canonicalize, map);
755 /* No need to use `map_keymap' here because canonical map has no parent. */
756 map_keymap_internal (map, fun, args, data);
757 UNGCPRO;
760 DEFUN ("map-keymap-internal", Fmap_keymap_internal, Smap_keymap_internal, 2, 2, 0,
761 doc: /* Call FUNCTION once for each event binding in KEYMAP.
762 FUNCTION is called with two arguments: the event that is bound, and
763 the definition it is bound to. The event may be a character range.
764 If KEYMAP has a parent, this function returns it without processing it. */)
765 (function, keymap)
766 Lisp_Object function, keymap;
768 struct gcpro gcpro1;
769 GCPRO1 (function);
770 keymap = get_keymap (keymap, 1, 1);
771 keymap = map_keymap_internal (keymap, map_keymap_call, function, NULL);
772 UNGCPRO;
773 return keymap;
776 DEFUN ("map-keymap", Fmap_keymap, Smap_keymap, 2, 3, 0,
777 doc: /* Call FUNCTION once for each event binding in KEYMAP.
778 FUNCTION is called with two arguments: the event that is bound, and
779 the definition it is bound to. The event may be a character range.
781 If KEYMAP has a parent, the parent's bindings are included as well.
782 This works recursively: if the parent has itself a parent, then the
783 grandparent's bindings are also included and so on.
784 usage: (map-keymap FUNCTION KEYMAP) */)
785 (function, keymap, sort_first)
786 Lisp_Object function, keymap, sort_first;
788 if (! NILP (sort_first))
789 return call2 (intern ("map-keymap-sorted"), function, keymap);
791 map_keymap (keymap, map_keymap_call, function, NULL, 1);
792 return Qnil;
795 /* Given OBJECT which was found in a slot in a keymap,
796 trace indirect definitions to get the actual definition of that slot.
797 An indirect definition is a list of the form
798 (KEYMAP . INDEX), where KEYMAP is a keymap or a symbol defined as one
799 and INDEX is the object to look up in KEYMAP to yield the definition.
801 Also if OBJECT has a menu string as the first element,
802 remove that. Also remove a menu help string as second element.
804 If AUTOLOAD is nonzero, load autoloadable keymaps
805 that are referred to with indirection.
807 This can GC because menu_item_eval_property calls Feval. */
809 Lisp_Object
810 get_keyelt (object, autoload)
811 Lisp_Object object;
812 int autoload;
814 while (1)
816 if (!(CONSP (object)))
817 /* This is really the value. */
818 return object;
820 /* If the keymap contents looks like (keymap ...) or (lambda ...)
821 then use itself. */
822 else if (EQ (XCAR (object), Qkeymap) || EQ (XCAR (object), Qlambda))
823 return object;
825 /* If the keymap contents looks like (menu-item name . DEFN)
826 or (menu-item name DEFN ...) then use DEFN.
827 This is a new format menu item. */
828 else if (EQ (XCAR (object), Qmenu_item))
830 if (CONSP (XCDR (object)))
832 Lisp_Object tem;
834 object = XCDR (XCDR (object));
835 tem = object;
836 if (CONSP (object))
837 object = XCAR (object);
839 /* If there's a `:filter FILTER', apply FILTER to the
840 menu-item's definition to get the real definition to
841 use. */
842 for (; CONSP (tem) && CONSP (XCDR (tem)); tem = XCDR (tem))
843 if (EQ (XCAR (tem), QCfilter) && autoload)
845 Lisp_Object filter;
846 filter = XCAR (XCDR (tem));
847 filter = list2 (filter, list2 (Qquote, object));
848 object = menu_item_eval_property (filter);
849 break;
852 else
853 /* Invalid keymap. */
854 return object;
857 /* If the keymap contents looks like (STRING . DEFN), use DEFN.
858 Keymap alist elements like (CHAR MENUSTRING . DEFN)
859 will be used by HierarKey menus. */
860 else if (STRINGP (XCAR (object)))
862 object = XCDR (object);
863 /* Also remove a menu help string, if any,
864 following the menu item name. */
865 if (CONSP (object) && STRINGP (XCAR (object)))
866 object = XCDR (object);
867 /* Also remove the sublist that caches key equivalences, if any. */
868 if (CONSP (object) && CONSP (XCAR (object)))
870 Lisp_Object carcar;
871 carcar = XCAR (XCAR (object));
872 if (NILP (carcar) || VECTORP (carcar))
873 object = XCDR (object);
877 /* If the contents are (KEYMAP . ELEMENT), go indirect. */
878 else
880 struct gcpro gcpro1;
881 Lisp_Object map;
882 GCPRO1 (object);
883 map = get_keymap (Fcar_safe (object), 0, autoload);
884 UNGCPRO;
885 return (!CONSP (map) ? object /* Invalid keymap */
886 : access_keymap (map, Fcdr (object), 0, 0, autoload));
891 static Lisp_Object
892 store_in_keymap (keymap, idx, def)
893 Lisp_Object keymap;
894 register Lisp_Object idx;
895 Lisp_Object def;
897 /* Flush any reverse-map cache. */
898 where_is_cache = Qnil;
899 where_is_cache_keymaps = Qt;
901 /* If we are preparing to dump, and DEF is a menu element
902 with a menu item indicator, copy it to ensure it is not pure. */
903 if (CONSP (def) && PURE_P (def)
904 && (EQ (XCAR (def), Qmenu_item) || STRINGP (XCAR (def))))
905 def = Fcons (XCAR (def), XCDR (def));
907 if (!CONSP (keymap) || !EQ (XCAR (keymap), Qkeymap))
908 error ("attempt to define a key in a non-keymap");
910 /* If idx is a cons, and the car part is a character, idx must be of
911 the form (FROM-CHAR . TO-CHAR). */
912 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
913 CHECK_CHARACTER_CDR (idx);
914 else
915 /* If idx is a list (some sort of mouse click, perhaps?),
916 the index we want to use is the car of the list, which
917 ought to be a symbol. */
918 idx = EVENT_HEAD (idx);
920 /* If idx is a symbol, it might have modifiers, which need to
921 be put in the canonical order. */
922 if (SYMBOLP (idx))
923 idx = reorder_modifiers (idx);
924 else if (INTEGERP (idx))
925 /* Clobber the high bits that can be present on a machine
926 with more than 24 bits of integer. */
927 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
929 /* Scan the keymap for a binding of idx. */
931 Lisp_Object tail;
933 /* The cons after which we should insert new bindings. If the
934 keymap has a table element, we record its position here, so new
935 bindings will go after it; this way, the table will stay
936 towards the front of the alist and character lookups in dense
937 keymaps will remain fast. Otherwise, this just points at the
938 front of the keymap. */
939 Lisp_Object insertion_point;
941 insertion_point = keymap;
942 for (tail = XCDR (keymap); CONSP (tail); tail = XCDR (tail))
944 Lisp_Object elt;
946 elt = XCAR (tail);
947 if (VECTORP (elt))
949 if (NATNUMP (idx) && XFASTINT (idx) < ASIZE (elt))
951 CHECK_IMPURE (elt);
952 ASET (elt, XFASTINT (idx), def);
953 return def;
955 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
957 int from = XFASTINT (XCAR (idx));
958 int to = XFASTINT (XCDR (idx));
960 if (to >= ASIZE (elt))
961 to = ASIZE (elt) - 1;
962 for (; from <= to; from++)
963 ASET (elt, from, def);
964 if (to == XFASTINT (XCDR (idx)))
965 /* We have defined all keys in IDX. */
966 return def;
968 insertion_point = tail;
970 else if (CHAR_TABLE_P (elt))
972 /* Character codes with modifiers
973 are not included in a char-table.
974 All character codes without modifiers are included. */
975 if (NATNUMP (idx) && !(XFASTINT (idx) & CHAR_MODIFIER_MASK))
977 Faset (elt, idx,
978 /* `nil' has a special meaning for char-tables, so
979 we use something else to record an explicitly
980 unbound entry. */
981 NILP (def) ? Qt : def);
982 return def;
984 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
986 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
987 return def;
989 insertion_point = tail;
991 else if (CONSP (elt))
993 if (EQ (idx, XCAR (elt)))
995 CHECK_IMPURE (elt);
996 XSETCDR (elt, def);
997 return def;
999 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
1001 int from = XFASTINT (XCAR (idx));
1002 int to = XFASTINT (XCDR (idx));
1004 if (from <= XFASTINT (XCAR (elt))
1005 && to >= XFASTINT (XCAR (elt)))
1007 XSETCDR (elt, def);
1008 if (from == to)
1009 return def;
1013 else if (EQ (elt, Qkeymap))
1014 /* If we find a 'keymap' symbol in the spine of KEYMAP,
1015 then we must have found the start of a second keymap
1016 being used as the tail of KEYMAP, and a binding for IDX
1017 should be inserted before it. */
1018 goto keymap_end;
1020 QUIT;
1023 keymap_end:
1024 /* We have scanned the entire keymap, and not found a binding for
1025 IDX. Let's add one. */
1027 Lisp_Object elt;
1029 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
1031 /* IDX specifies a range of characters, and not all of them
1032 were handled yet, which means this keymap doesn't have a
1033 char-table. So, we insert a char-table now. */
1034 elt = Fmake_char_table (Qkeymap, Qnil);
1035 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
1037 else
1038 elt = Fcons (idx, def);
1039 CHECK_IMPURE (insertion_point);
1040 XSETCDR (insertion_point, Fcons (elt, XCDR (insertion_point)));
1044 return def;
1047 EXFUN (Fcopy_keymap, 1);
1049 Lisp_Object
1050 copy_keymap_item (elt)
1051 Lisp_Object elt;
1053 Lisp_Object res, tem;
1055 if (!CONSP (elt))
1056 return elt;
1058 res = tem = elt;
1060 /* Is this a new format menu item. */
1061 if (EQ (XCAR (tem), Qmenu_item))
1063 /* Copy cell with menu-item marker. */
1064 res = elt = Fcons (XCAR (tem), XCDR (tem));
1065 tem = XCDR (elt);
1066 if (CONSP (tem))
1068 /* Copy cell with menu-item name. */
1069 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
1070 elt = XCDR (elt);
1071 tem = XCDR (elt);
1073 if (CONSP (tem))
1075 /* Copy cell with binding and if the binding is a keymap,
1076 copy that. */
1077 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
1078 elt = XCDR (elt);
1079 tem = XCAR (elt);
1080 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
1081 XSETCAR (elt, Fcopy_keymap (tem));
1082 tem = XCDR (elt);
1083 if (CONSP (tem) && CONSP (XCAR (tem)))
1084 /* Delete cache for key equivalences. */
1085 XSETCDR (elt, XCDR (tem));
1088 else
1090 /* It may be an old fomat menu item.
1091 Skip the optional menu string. */
1092 if (STRINGP (XCAR (tem)))
1094 /* Copy the cell, since copy-alist didn't go this deep. */
1095 res = elt = Fcons (XCAR (tem), XCDR (tem));
1096 tem = XCDR (elt);
1097 /* Also skip the optional menu help string. */
1098 if (CONSP (tem) && STRINGP (XCAR (tem)))
1100 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
1101 elt = XCDR (elt);
1102 tem = XCDR (elt);
1104 /* There may also be a list that caches key equivalences.
1105 Just delete it for the new keymap. */
1106 if (CONSP (tem)
1107 && CONSP (XCAR (tem))
1108 && (NILP (XCAR (XCAR (tem)))
1109 || VECTORP (XCAR (XCAR (tem)))))
1111 XSETCDR (elt, XCDR (tem));
1112 tem = XCDR (tem);
1114 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
1115 XSETCDR (elt, Fcopy_keymap (tem));
1117 else if (EQ (XCAR (tem), Qkeymap))
1118 res = Fcopy_keymap (elt);
1120 return res;
1123 static void
1124 copy_keymap_1 (chartable, idx, elt)
1125 Lisp_Object chartable, idx, elt;
1127 Fset_char_table_range (chartable, idx, copy_keymap_item (elt));
1130 DEFUN ("copy-keymap", Fcopy_keymap, Scopy_keymap, 1, 1, 0,
1131 doc: /* Return a copy of the keymap KEYMAP.
1132 The copy starts out with the same definitions of KEYMAP,
1133 but changing either the copy or KEYMAP does not affect the other.
1134 Any key definitions that are subkeymaps are recursively copied.
1135 However, a key definition which is a symbol whose definition is a keymap
1136 is not copied. */)
1137 (keymap)
1138 Lisp_Object keymap;
1140 register Lisp_Object copy, tail;
1141 keymap = get_keymap (keymap, 1, 0);
1142 copy = tail = Fcons (Qkeymap, Qnil);
1143 keymap = XCDR (keymap); /* Skip the `keymap' symbol. */
1145 while (CONSP (keymap) && !EQ (XCAR (keymap), Qkeymap))
1147 Lisp_Object elt = XCAR (keymap);
1148 if (CHAR_TABLE_P (elt))
1150 elt = Fcopy_sequence (elt);
1151 map_char_table (copy_keymap_1, Qnil, elt, elt);
1153 else if (VECTORP (elt))
1155 int i;
1156 elt = Fcopy_sequence (elt);
1157 for (i = 0; i < ASIZE (elt); i++)
1158 ASET (elt, i, copy_keymap_item (AREF (elt, i)));
1160 else if (CONSP (elt))
1161 elt = Fcons (XCAR (elt), copy_keymap_item (XCDR (elt)));
1162 XSETCDR (tail, Fcons (elt, Qnil));
1163 tail = XCDR (tail);
1164 keymap = XCDR (keymap);
1166 XSETCDR (tail, keymap);
1167 return copy;
1170 /* Simple Keymap mutators and accessors. */
1172 /* GC is possible in this function if it autoloads a keymap. */
1174 DEFUN ("define-key", Fdefine_key, Sdefine_key, 3, 3, 0,
1175 doc: /* In KEYMAP, define key sequence KEY as DEF.
1176 KEYMAP is a keymap.
1178 KEY is a string or a vector of symbols and characters meaning a
1179 sequence of keystrokes and events. Non-ASCII characters with codes
1180 above 127 (such as ISO Latin-1) can be included if you use a vector.
1181 Using [t] for KEY creates a default definition, which applies to any
1182 event type that has no other definition in this keymap.
1184 DEF is anything that can be a key's definition:
1185 nil (means key is undefined in this keymap),
1186 a command (a Lisp function suitable for interactive calling),
1187 a string (treated as a keyboard macro),
1188 a keymap (to define a prefix key),
1189 a symbol (when the key is looked up, the symbol will stand for its
1190 function definition, which should at that time be one of the above,
1191 or another symbol whose function definition is used, etc.),
1192 a cons (STRING . DEFN), meaning that DEFN is the definition
1193 (DEFN should be a valid definition in its own right),
1194 or a cons (MAP . CHAR), meaning use definition of CHAR in keymap MAP,
1195 or an extended menu item definition.
1196 (See info node `(elisp)Extended Menu Items'.)
1198 If KEYMAP is a sparse keymap with a binding for KEY, the existing
1199 binding is altered. If there is no binding for KEY, the new pair
1200 binding KEY to DEF is added at the front of KEYMAP. */)
1201 (keymap, key, def)
1202 Lisp_Object keymap;
1203 Lisp_Object key;
1204 Lisp_Object def;
1206 register int idx;
1207 register Lisp_Object c;
1208 register Lisp_Object cmd;
1209 int metized = 0;
1210 int meta_bit;
1211 int length;
1212 struct gcpro gcpro1, gcpro2, gcpro3;
1214 GCPRO3 (keymap, key, def);
1215 keymap = get_keymap (keymap, 1, 1);
1217 CHECK_VECTOR_OR_STRING (key);
1219 length = XFASTINT (Flength (key));
1220 if (length == 0)
1221 RETURN_UNGCPRO (Qnil);
1223 if (SYMBOLP (def) && !EQ (Vdefine_key_rebound_commands, Qt))
1224 Vdefine_key_rebound_commands = Fcons (def, Vdefine_key_rebound_commands);
1226 meta_bit = (VECTORP (key) || (STRINGP (key) && STRING_MULTIBYTE (key))
1227 ? meta_modifier : 0x80);
1229 if (VECTORP (def) && ASIZE (def) > 0 && CONSP (AREF (def, 0)))
1230 { /* DEF is apparently an XEmacs-style keyboard macro. */
1231 Lisp_Object tmp = Fmake_vector (make_number (ASIZE (def)), Qnil);
1232 int i = ASIZE (def);
1233 while (--i >= 0)
1235 Lisp_Object c = AREF (def, i);
1236 if (CONSP (c) && lucid_event_type_list_p (c))
1237 c = Fevent_convert_list (c);
1238 ASET (tmp, i, c);
1240 def = tmp;
1243 idx = 0;
1244 while (1)
1246 c = Faref (key, make_number (idx));
1248 if (CONSP (c))
1250 /* C may be a Lucid style event type list or a cons (FROM .
1251 TO) specifying a range of characters. */
1252 if (lucid_event_type_list_p (c))
1253 c = Fevent_convert_list (c);
1254 else if (CHARACTERP (XCAR (c)))
1255 CHECK_CHARACTER_CDR (c);
1258 if (SYMBOLP (c))
1259 silly_event_symbol_error (c);
1261 if (INTEGERP (c)
1262 && (XINT (c) & meta_bit)
1263 && !metized)
1265 c = meta_prefix_char;
1266 metized = 1;
1268 else
1270 if (INTEGERP (c))
1271 XSETINT (c, XINT (c) & ~meta_bit);
1273 metized = 0;
1274 idx++;
1277 if (!INTEGERP (c) && !SYMBOLP (c)
1278 && (!CONSP (c)
1279 /* If C is a range, it must be a leaf. */
1280 || (INTEGERP (XCAR (c)) && idx != length)))
1281 error ("Key sequence contains invalid event");
1283 if (idx == length)
1284 RETURN_UNGCPRO (store_in_keymap (keymap, c, def));
1286 cmd = access_keymap (keymap, c, 0, 1, 1);
1288 /* If this key is undefined, make it a prefix. */
1289 if (NILP (cmd))
1290 cmd = define_as_prefix (keymap, c);
1292 keymap = get_keymap (cmd, 0, 1);
1293 if (!CONSP (keymap))
1294 /* We must use Fkey_description rather than just passing key to
1295 error; key might be a vector, not a string. */
1296 error ("Key sequence %s starts with non-prefix key %s",
1297 SDATA (Fkey_description (key, Qnil)),
1298 SDATA (Fkey_description (Fsubstring (key, make_number (0),
1299 make_number (idx)),
1300 Qnil)));
1304 /* This function may GC (it calls Fkey_binding). */
1306 DEFUN ("command-remapping", Fcommand_remapping, Scommand_remapping, 1, 3, 0,
1307 doc: /* Return the remapping for command COMMAND.
1308 Returns nil if COMMAND is not remapped (or not a symbol).
1310 If the optional argument POSITION is non-nil, it specifies a mouse
1311 position as returned by `event-start' and `event-end', and the
1312 remapping occurs in the keymaps associated with it. It can also be a
1313 number or marker, in which case the keymap properties at the specified
1314 buffer position instead of point are used. The KEYMAPS argument is
1315 ignored if POSITION is non-nil.
1317 If the optional argument KEYMAPS is non-nil, it should be a list of
1318 keymaps to search for command remapping. Otherwise, search for the
1319 remapping in all currently active keymaps. */)
1320 (command, position, keymaps)
1321 Lisp_Object command, position, keymaps;
1323 if (!SYMBOLP (command))
1324 return Qnil;
1326 ASET (command_remapping_vector, 1, command);
1328 if (NILP (keymaps))
1329 return Fkey_binding (command_remapping_vector, Qnil, Qt, position);
1330 else
1332 Lisp_Object maps, binding;
1334 for (maps = keymaps; CONSP (maps); maps = XCDR (maps))
1336 binding = Flookup_key (XCAR (maps), command_remapping_vector, Qnil);
1337 if (!NILP (binding) && !INTEGERP (binding))
1338 return binding;
1340 return Qnil;
1344 /* Value is number if KEY is too long; nil if valid but has no definition. */
1345 /* GC is possible in this function if it autoloads a keymap. */
1347 DEFUN ("lookup-key", Flookup_key, Slookup_key, 2, 3, 0,
1348 doc: /* In keymap KEYMAP, look up key sequence KEY. Return the definition.
1349 A value of nil means undefined. See doc of `define-key'
1350 for kinds of definitions.
1352 A number as value means KEY is "too long";
1353 that is, characters or symbols in it except for the last one
1354 fail to be a valid sequence of prefix characters in KEYMAP.
1355 The number is how many characters at the front of KEY
1356 it takes to reach a non-prefix key.
1358 Normally, `lookup-key' ignores bindings for t, which act as default
1359 bindings, used when nothing else in the keymap applies; this makes it
1360 usable as a general function for probing keymaps. However, if the
1361 third optional argument ACCEPT-DEFAULT is non-nil, `lookup-key' will
1362 recognize the default bindings, just as `read-key-sequence' does. */)
1363 (keymap, key, accept_default)
1364 Lisp_Object keymap;
1365 Lisp_Object key;
1366 Lisp_Object accept_default;
1368 register int idx;
1369 register Lisp_Object cmd;
1370 register Lisp_Object c;
1371 int length;
1372 int t_ok = !NILP (accept_default);
1373 struct gcpro gcpro1, gcpro2;
1375 GCPRO2 (keymap, key);
1376 keymap = get_keymap (keymap, 1, 1);
1378 CHECK_VECTOR_OR_STRING (key);
1380 length = XFASTINT (Flength (key));
1381 if (length == 0)
1382 RETURN_UNGCPRO (keymap);
1384 idx = 0;
1385 while (1)
1387 c = Faref (key, make_number (idx++));
1389 if (CONSP (c) && lucid_event_type_list_p (c))
1390 c = Fevent_convert_list (c);
1392 /* Turn the 8th bit of string chars into a meta modifier. */
1393 if (STRINGP (key) && XINT (c) & 0x80 && !STRING_MULTIBYTE (key))
1394 XSETINT (c, (XINT (c) | meta_modifier) & ~0x80);
1396 /* Allow string since binding for `menu-bar-select-buffer'
1397 includes the buffer name in the key sequence. */
1398 if (!INTEGERP (c) && !SYMBOLP (c) && !CONSP (c) && !STRINGP (c))
1399 error ("Key sequence contains invalid event");
1401 cmd = access_keymap (keymap, c, t_ok, 0, 1);
1402 if (idx == length)
1403 RETURN_UNGCPRO (cmd);
1405 keymap = get_keymap (cmd, 0, 1);
1406 if (!CONSP (keymap))
1407 RETURN_UNGCPRO (make_number (idx));
1409 QUIT;
1413 /* Make KEYMAP define event C as a keymap (i.e., as a prefix).
1414 Assume that currently it does not define C at all.
1415 Return the keymap. */
1417 static Lisp_Object
1418 define_as_prefix (keymap, c)
1419 Lisp_Object keymap, c;
1421 Lisp_Object cmd;
1423 cmd = Fmake_sparse_keymap (Qnil);
1424 /* If this key is defined as a prefix in an inherited keymap,
1425 make it a prefix in this map, and make its definition
1426 inherit the other prefix definition. */
1427 cmd = nconc2 (cmd, access_keymap (keymap, c, 0, 0, 0));
1428 store_in_keymap (keymap, c, cmd);
1430 return cmd;
1433 /* Append a key to the end of a key sequence. We always make a vector. */
1435 Lisp_Object
1436 append_key (key_sequence, key)
1437 Lisp_Object key_sequence, key;
1439 Lisp_Object args[2];
1441 args[0] = key_sequence;
1443 args[1] = Fcons (key, Qnil);
1444 return Fvconcat (2, args);
1447 /* Given a event type C which is a symbol,
1448 signal an error if is a mistake such as RET or M-RET or C-DEL, etc. */
1450 static void
1451 silly_event_symbol_error (c)
1452 Lisp_Object c;
1454 Lisp_Object parsed, base, name, assoc;
1455 int modifiers;
1457 parsed = parse_modifiers (c);
1458 modifiers = (int) XUINT (XCAR (XCDR (parsed)));
1459 base = XCAR (parsed);
1460 name = Fsymbol_name (base);
1461 /* This alist includes elements such as ("RET" . "\\r"). */
1462 assoc = Fassoc (name, exclude_keys);
1464 if (! NILP (assoc))
1466 char new_mods[sizeof ("\\A-\\C-\\H-\\M-\\S-\\s-")];
1467 char *p = new_mods;
1468 Lisp_Object keystring;
1469 if (modifiers & alt_modifier)
1470 { *p++ = '\\'; *p++ = 'A'; *p++ = '-'; }
1471 if (modifiers & ctrl_modifier)
1472 { *p++ = '\\'; *p++ = 'C'; *p++ = '-'; }
1473 if (modifiers & hyper_modifier)
1474 { *p++ = '\\'; *p++ = 'H'; *p++ = '-'; }
1475 if (modifiers & meta_modifier)
1476 { *p++ = '\\'; *p++ = 'M'; *p++ = '-'; }
1477 if (modifiers & shift_modifier)
1478 { *p++ = '\\'; *p++ = 'S'; *p++ = '-'; }
1479 if (modifiers & super_modifier)
1480 { *p++ = '\\'; *p++ = 's'; *p++ = '-'; }
1481 *p = 0;
1483 c = reorder_modifiers (c);
1484 keystring = concat2 (build_string (new_mods), XCDR (assoc));
1486 error ((modifiers & ~meta_modifier
1487 ? "To bind the key %s, use [?%s], not [%s]"
1488 : "To bind the key %s, use \"%s\", not [%s]"),
1489 SDATA (SYMBOL_NAME (c)), SDATA (keystring),
1490 SDATA (SYMBOL_NAME (c)));
1494 /* Global, local, and minor mode keymap stuff. */
1496 /* We can't put these variables inside current_minor_maps, since under
1497 some systems, static gets macro-defined to be the empty string.
1498 Ickypoo. */
1499 static Lisp_Object *cmm_modes = NULL, *cmm_maps = NULL;
1500 static int cmm_size = 0;
1502 /* Store a pointer to an array of the currently active minor modes in
1503 *modeptr, a pointer to an array of the keymaps of the currently
1504 active minor modes in *mapptr, and return the number of maps
1505 *mapptr contains.
1507 This function always returns a pointer to the same buffer, and may
1508 free or reallocate it, so if you want to keep it for a long time or
1509 hand it out to lisp code, copy it. This procedure will be called
1510 for every key sequence read, so the nice lispy approach (return a
1511 new assoclist, list, what have you) for each invocation would
1512 result in a lot of consing over time.
1514 If we used xrealloc/xmalloc and ran out of memory, they would throw
1515 back to the command loop, which would try to read a key sequence,
1516 which would call this function again, resulting in an infinite
1517 loop. Instead, we'll use realloc/malloc and silently truncate the
1518 list, let the key sequence be read, and hope some other piece of
1519 code signals the error. */
1521 current_minor_maps (modeptr, mapptr)
1522 Lisp_Object **modeptr, **mapptr;
1524 int i = 0;
1525 int list_number = 0;
1526 Lisp_Object alist, assoc, var, val;
1527 Lisp_Object emulation_alists;
1528 Lisp_Object lists[2];
1530 emulation_alists = Vemulation_mode_map_alists;
1531 lists[0] = Vminor_mode_overriding_map_alist;
1532 lists[1] = Vminor_mode_map_alist;
1534 for (list_number = 0; list_number < 2; list_number++)
1536 if (CONSP (emulation_alists))
1538 alist = XCAR (emulation_alists);
1539 emulation_alists = XCDR (emulation_alists);
1540 if (SYMBOLP (alist))
1541 alist = find_symbol_value (alist);
1542 list_number = -1;
1544 else
1545 alist = lists[list_number];
1547 for ( ; CONSP (alist); alist = XCDR (alist))
1548 if ((assoc = XCAR (alist), CONSP (assoc))
1549 && (var = XCAR (assoc), SYMBOLP (var))
1550 && (val = find_symbol_value (var), !EQ (val, Qunbound))
1551 && !NILP (val))
1553 Lisp_Object temp;
1555 /* If a variable has an entry in Vminor_mode_overriding_map_alist,
1556 and also an entry in Vminor_mode_map_alist,
1557 ignore the latter. */
1558 if (list_number == 1)
1560 val = assq_no_quit (var, lists[0]);
1561 if (!NILP (val))
1562 continue;
1565 if (i >= cmm_size)
1567 int newsize, allocsize;
1568 Lisp_Object *newmodes, *newmaps;
1570 newsize = cmm_size == 0 ? 30 : cmm_size * 2;
1571 allocsize = newsize * sizeof *newmodes;
1573 /* Use malloc here. See the comment above this function.
1574 Avoid realloc here; it causes spurious traps on GNU/Linux [KFS] */
1575 BLOCK_INPUT;
1576 newmodes = (Lisp_Object *) malloc (allocsize);
1577 if (newmodes)
1579 if (cmm_modes)
1581 bcopy (cmm_modes, newmodes, cmm_size * sizeof cmm_modes[0]);
1582 free (cmm_modes);
1584 cmm_modes = newmodes;
1587 newmaps = (Lisp_Object *) malloc (allocsize);
1588 if (newmaps)
1590 if (cmm_maps)
1592 bcopy (cmm_maps, newmaps, cmm_size * sizeof cmm_maps[0]);
1593 free (cmm_maps);
1595 cmm_maps = newmaps;
1597 UNBLOCK_INPUT;
1599 if (newmodes == NULL || newmaps == NULL)
1600 break;
1601 cmm_size = newsize;
1604 /* Get the keymap definition--or nil if it is not defined. */
1605 temp = Findirect_function (XCDR (assoc), Qt);
1606 if (!NILP (temp))
1608 cmm_modes[i] = var;
1609 cmm_maps [i] = temp;
1610 i++;
1615 if (modeptr) *modeptr = cmm_modes;
1616 if (mapptr) *mapptr = cmm_maps;
1617 return i;
1620 DEFUN ("current-active-maps", Fcurrent_active_maps, Scurrent_active_maps,
1621 0, 2, 0,
1622 doc: /* Return a list of the currently active keymaps.
1623 OLP if non-nil indicates that we should obey `overriding-local-map' and
1624 `overriding-terminal-local-map'. POSITION can specify a click position
1625 like in the respective argument of `key-binding'. */)
1626 (olp, position)
1627 Lisp_Object olp, position;
1629 int count = SPECPDL_INDEX ();
1631 Lisp_Object keymaps;
1633 /* If a mouse click position is given, our variables are based on
1634 the buffer clicked on, not the current buffer. So we may have to
1635 switch the buffer here. */
1637 if (CONSP (position))
1639 Lisp_Object window;
1641 window = POSN_WINDOW (position);
1643 if (WINDOWP (window)
1644 && BUFFERP (XWINDOW (window)->buffer)
1645 && XBUFFER (XWINDOW (window)->buffer) != current_buffer)
1647 /* Arrange to go back to the original buffer once we're done
1648 processing the key sequence. We don't use
1649 save_excursion_{save,restore} here, in analogy to
1650 `read-key-sequence' to avoid saving point. Maybe this
1651 would not be a problem here, but it is easier to keep
1652 things the same.
1655 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
1657 set_buffer_internal (XBUFFER (XWINDOW (window)->buffer));
1661 keymaps = Fcons (current_global_map, Qnil);
1663 if (!NILP (olp))
1665 if (!NILP (current_kboard->Voverriding_terminal_local_map))
1666 keymaps = Fcons (current_kboard->Voverriding_terminal_local_map, keymaps);
1667 /* The doc said that overriding-terminal-local-map should
1668 override overriding-local-map. The code used them both,
1669 but it seems clearer to use just one. rms, jan 2005. */
1670 else if (!NILP (Voverriding_local_map))
1671 keymaps = Fcons (Voverriding_local_map, keymaps);
1673 if (NILP (XCDR (keymaps)))
1675 Lisp_Object *maps;
1676 int nmaps, i;
1678 Lisp_Object keymap, local_map;
1679 EMACS_INT pt;
1681 pt = INTEGERP (position) ? XINT (position)
1682 : MARKERP (position) ? marker_position (position)
1683 : PT;
1685 /* Get the buffer local maps, possibly overriden by text or
1686 overlay properties */
1688 local_map = get_local_map (pt, current_buffer, Qlocal_map);
1689 keymap = get_local_map (pt, current_buffer, Qkeymap);
1691 if (CONSP (position))
1693 Lisp_Object string;
1695 /* For a mouse click, get the local text-property keymap
1696 of the place clicked on, rather than point. */
1698 if (POSN_INBUFFER_P (position))
1700 Lisp_Object pos;
1702 pos = POSN_BUFFER_POSN (position);
1703 if (INTEGERP (pos)
1704 && XINT (pos) >= BEG && XINT (pos) <= Z)
1706 local_map = get_local_map (XINT (pos),
1707 current_buffer, Qlocal_map);
1709 keymap = get_local_map (XINT (pos),
1710 current_buffer, Qkeymap);
1714 /* If on a mode line string with a local keymap,
1715 or for a click on a string, i.e. overlay string or a
1716 string displayed via the `display' property,
1717 consider `local-map' and `keymap' properties of
1718 that string. */
1720 if (string = POSN_STRING (position),
1721 (CONSP (string) && STRINGP (XCAR (string))))
1723 Lisp_Object pos, map;
1725 pos = XCDR (string);
1726 string = XCAR (string);
1727 if (INTEGERP (pos)
1728 && XINT (pos) >= 0
1729 && XINT (pos) < SCHARS (string))
1731 map = Fget_text_property (pos, Qlocal_map, string);
1732 if (!NILP (map))
1733 local_map = map;
1735 map = Fget_text_property (pos, Qkeymap, string);
1736 if (!NILP (map))
1737 keymap = map;
1743 if (!NILP (local_map))
1744 keymaps = Fcons (local_map, keymaps);
1746 /* Now put all the minor mode keymaps on the list. */
1747 nmaps = current_minor_maps (0, &maps);
1749 for (i = --nmaps; i >= 0; i--)
1750 if (!NILP (maps[i]))
1751 keymaps = Fcons (maps[i], keymaps);
1753 if (!NILP (keymap))
1754 keymaps = Fcons (keymap, keymaps);
1757 unbind_to (count, Qnil);
1759 return keymaps;
1762 /* GC is possible in this function if it autoloads a keymap. */
1764 DEFUN ("key-binding", Fkey_binding, Skey_binding, 1, 4, 0,
1765 doc: /* Return the binding for command KEY in current keymaps.
1766 KEY is a string or vector, a sequence of keystrokes.
1767 The binding is probably a symbol with a function definition.
1769 Normally, `key-binding' ignores bindings for t, which act as default
1770 bindings, used when nothing else in the keymap applies; this makes it
1771 usable as a general function for probing keymaps. However, if the
1772 optional second argument ACCEPT-DEFAULT is non-nil, `key-binding' does
1773 recognize the default bindings, just as `read-key-sequence' does.
1775 Like the normal command loop, `key-binding' will remap the command
1776 resulting from looking up KEY by looking up the command in the
1777 current keymaps. However, if the optional third argument NO-REMAP
1778 is non-nil, `key-binding' returns the unmapped command.
1780 If KEY is a key sequence initiated with the mouse, the used keymaps
1781 will depend on the clicked mouse position with regard to the buffer
1782 and possible local keymaps on strings.
1784 If the optional argument POSITION is non-nil, it specifies a mouse
1785 position as returned by `event-start' and `event-end', and the lookup
1786 occurs in the keymaps associated with it instead of KEY. It can also
1787 be a number or marker, in which case the keymap properties at the
1788 specified buffer position instead of point are used.
1790 (key, accept_default, no_remap, position)
1791 Lisp_Object key, accept_default, no_remap, position;
1793 Lisp_Object *maps, value;
1794 int nmaps, i;
1795 struct gcpro gcpro1, gcpro2;
1796 int count = SPECPDL_INDEX ();
1798 GCPRO2 (key, position);
1800 if (NILP (position) && VECTORP (key))
1802 Lisp_Object event
1803 /* mouse events may have a symbolic prefix indicating the
1804 scrollbar or mode line */
1805 = AREF (key, SYMBOLP (AREF (key, 0)) && ASIZE (key) > 1 ? 1 : 0);
1807 /* We are not interested in locations without event data */
1809 if (EVENT_HAS_PARAMETERS (event) && CONSP (XCDR (event)))
1811 Lisp_Object kind = EVENT_HEAD_KIND (EVENT_HEAD (event));
1812 if (EQ (kind, Qmouse_click))
1813 position = EVENT_START (event);
1817 /* Key sequences beginning with mouse clicks
1818 are read using the keymaps of the buffer clicked on, not
1819 the current buffer. So we may have to switch the buffer
1820 here. */
1822 if (CONSP (position))
1824 Lisp_Object window;
1826 window = POSN_WINDOW (position);
1828 if (WINDOWP (window)
1829 && BUFFERP (XWINDOW (window)->buffer)
1830 && XBUFFER (XWINDOW (window)->buffer) != current_buffer)
1832 /* Arrange to go back to the original buffer once we're done
1833 processing the key sequence. We don't use
1834 save_excursion_{save,restore} here, in analogy to
1835 `read-key-sequence' to avoid saving point. Maybe this
1836 would not be a problem here, but it is easier to keep
1837 things the same.
1840 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
1842 set_buffer_internal (XBUFFER (XWINDOW (window)->buffer));
1846 if (! NILP (current_kboard->Voverriding_terminal_local_map))
1848 value = Flookup_key (current_kboard->Voverriding_terminal_local_map,
1849 key, accept_default);
1850 if (! NILP (value) && !INTEGERP (value))
1851 goto done;
1853 else if (! NILP (Voverriding_local_map))
1855 value = Flookup_key (Voverriding_local_map, key, accept_default);
1856 if (! NILP (value) && !INTEGERP (value))
1857 goto done;
1859 else
1861 Lisp_Object keymap, local_map;
1862 EMACS_INT pt;
1864 pt = INTEGERP (position) ? XINT (position)
1865 : MARKERP (position) ? marker_position (position)
1866 : PT;
1868 local_map = get_local_map (pt, current_buffer, Qlocal_map);
1869 keymap = get_local_map (pt, current_buffer, Qkeymap);
1871 if (CONSP (position))
1873 Lisp_Object string;
1875 /* For a mouse click, get the local text-property keymap
1876 of the place clicked on, rather than point. */
1878 if (POSN_INBUFFER_P (position))
1880 Lisp_Object pos;
1882 pos = POSN_BUFFER_POSN (position);
1883 if (INTEGERP (pos)
1884 && XINT (pos) >= BEG && XINT (pos) <= Z)
1886 local_map = get_local_map (XINT (pos),
1887 current_buffer, Qlocal_map);
1889 keymap = get_local_map (XINT (pos),
1890 current_buffer, Qkeymap);
1894 /* If on a mode line string with a local keymap,
1895 or for a click on a string, i.e. overlay string or a
1896 string displayed via the `display' property,
1897 consider `local-map' and `keymap' properties of
1898 that string. */
1900 if (string = POSN_STRING (position),
1901 (CONSP (string) && STRINGP (XCAR (string))))
1903 Lisp_Object pos, map;
1905 pos = XCDR (string);
1906 string = XCAR (string);
1907 if (INTEGERP (pos)
1908 && XINT (pos) >= 0
1909 && XINT (pos) < SCHARS (string))
1911 map = Fget_text_property (pos, Qlocal_map, string);
1912 if (!NILP (map))
1913 local_map = map;
1915 map = Fget_text_property (pos, Qkeymap, string);
1916 if (!NILP (map))
1917 keymap = map;
1923 if (! NILP (keymap))
1925 value = Flookup_key (keymap, key, accept_default);
1926 if (! NILP (value) && !INTEGERP (value))
1927 goto done;
1930 nmaps = current_minor_maps (0, &maps);
1931 /* Note that all these maps are GCPRO'd
1932 in the places where we found them. */
1934 for (i = 0; i < nmaps; i++)
1935 if (! NILP (maps[i]))
1937 value = Flookup_key (maps[i], key, accept_default);
1938 if (! NILP (value) && !INTEGERP (value))
1939 goto done;
1942 if (! NILP (local_map))
1944 value = Flookup_key (local_map, key, accept_default);
1945 if (! NILP (value) && !INTEGERP (value))
1946 goto done;
1950 value = Flookup_key (current_global_map, key, accept_default);
1952 done:
1953 unbind_to (count, Qnil);
1955 UNGCPRO;
1956 if (NILP (value) || INTEGERP (value))
1957 return Qnil;
1959 /* If the result of the ordinary keymap lookup is an interactive
1960 command, look for a key binding (ie. remapping) for that command. */
1962 if (NILP (no_remap) && SYMBOLP (value))
1964 Lisp_Object value1;
1965 if (value1 = Fcommand_remapping (value, position, Qnil), !NILP (value1))
1966 value = value1;
1969 return value;
1972 /* GC is possible in this function if it autoloads a keymap. */
1974 DEFUN ("local-key-binding", Flocal_key_binding, Slocal_key_binding, 1, 2, 0,
1975 doc: /* Return the binding for command KEYS in current local keymap only.
1976 KEYS is a string or vector, a sequence of keystrokes.
1977 The binding is probably a symbol with a function definition.
1979 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1980 bindings; see the description of `lookup-key' for more details about this. */)
1981 (keys, accept_default)
1982 Lisp_Object keys, accept_default;
1984 register Lisp_Object map;
1985 map = BUF_KEYMAP (current_buffer);
1986 if (NILP (map))
1987 return Qnil;
1988 return Flookup_key (map, keys, accept_default);
1991 /* GC is possible in this function if it autoloads a keymap. */
1993 DEFUN ("global-key-binding", Fglobal_key_binding, Sglobal_key_binding, 1, 2, 0,
1994 doc: /* Return the binding for command KEYS in current global keymap only.
1995 KEYS is a string or vector, a sequence of keystrokes.
1996 The binding is probably a symbol with a function definition.
1997 This function's return values are the same as those of `lookup-key'
1998 \(which see).
2000 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
2001 bindings; see the description of `lookup-key' for more details about this. */)
2002 (keys, accept_default)
2003 Lisp_Object keys, accept_default;
2005 return Flookup_key (current_global_map, keys, accept_default);
2008 /* GC is possible in this function if it autoloads a keymap. */
2010 DEFUN ("minor-mode-key-binding", Fminor_mode_key_binding, Sminor_mode_key_binding, 1, 2, 0,
2011 doc: /* Find the visible minor mode bindings of KEY.
2012 Return an alist of pairs (MODENAME . BINDING), where MODENAME is
2013 the symbol which names the minor mode binding KEY, and BINDING is
2014 KEY's definition in that mode. In particular, if KEY has no
2015 minor-mode bindings, return nil. If the first binding is a
2016 non-prefix, all subsequent bindings will be omitted, since they would
2017 be ignored. Similarly, the list doesn't include non-prefix bindings
2018 that come after prefix bindings.
2020 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
2021 bindings; see the description of `lookup-key' for more details about this. */)
2022 (key, accept_default)
2023 Lisp_Object key, accept_default;
2025 Lisp_Object *modes, *maps;
2026 int nmaps;
2027 Lisp_Object binding;
2028 int i, j;
2029 struct gcpro gcpro1, gcpro2;
2031 nmaps = current_minor_maps (&modes, &maps);
2032 /* Note that all these maps are GCPRO'd
2033 in the places where we found them. */
2035 binding = Qnil;
2036 GCPRO2 (key, binding);
2038 for (i = j = 0; i < nmaps; i++)
2039 if (!NILP (maps[i])
2040 && !NILP (binding = Flookup_key (maps[i], key, accept_default))
2041 && !INTEGERP (binding))
2043 if (KEYMAPP (binding))
2044 maps[j++] = Fcons (modes[i], binding);
2045 else if (j == 0)
2046 RETURN_UNGCPRO (Fcons (Fcons (modes[i], binding), Qnil));
2049 UNGCPRO;
2050 return Flist (j, maps);
2053 DEFUN ("define-prefix-command", Fdefine_prefix_command, Sdefine_prefix_command, 1, 3, 0,
2054 doc: /* Define COMMAND as a prefix command. COMMAND should be a symbol.
2055 A new sparse keymap is stored as COMMAND's function definition and its value.
2056 If a second optional argument MAPVAR is given, the map is stored as
2057 its value instead of as COMMAND's value; but COMMAND is still defined
2058 as a function.
2059 The third optional argument NAME, if given, supplies a menu name
2060 string for the map. This is required to use the keymap as a menu.
2061 This function returns COMMAND. */)
2062 (command, mapvar, name)
2063 Lisp_Object command, mapvar, name;
2065 Lisp_Object map;
2066 map = Fmake_sparse_keymap (name);
2067 Ffset (command, map);
2068 if (!NILP (mapvar))
2069 Fset (mapvar, map);
2070 else
2071 Fset (command, map);
2072 return command;
2075 DEFUN ("use-global-map", Fuse_global_map, Suse_global_map, 1, 1, 0,
2076 doc: /* Select KEYMAP as the global keymap. */)
2077 (keymap)
2078 Lisp_Object keymap;
2080 keymap = get_keymap (keymap, 1, 1);
2081 current_global_map = keymap;
2083 return Qnil;
2086 DEFUN ("use-local-map", Fuse_local_map, Suse_local_map, 1, 1, 0,
2087 doc: /* Select KEYMAP as the local keymap.
2088 If KEYMAP is nil, that means no local keymap. */)
2089 (keymap)
2090 Lisp_Object keymap;
2092 if (!NILP (keymap))
2093 keymap = get_keymap (keymap, 1, 1);
2095 BUF_KEYMAP (current_buffer) = keymap;
2097 return Qnil;
2100 DEFUN ("current-local-map", Fcurrent_local_map, Scurrent_local_map, 0, 0, 0,
2101 doc: /* Return current buffer's local keymap, or nil if it has none.
2102 Normally the local keymap is set by the major mode with `use-local-map'. */)
2105 return BUF_KEYMAP (current_buffer);
2108 DEFUN ("current-global-map", Fcurrent_global_map, Scurrent_global_map, 0, 0, 0,
2109 doc: /* Return the current global keymap. */)
2112 return current_global_map;
2115 DEFUN ("current-minor-mode-maps", Fcurrent_minor_mode_maps, Scurrent_minor_mode_maps, 0, 0, 0,
2116 doc: /* Return a list of keymaps for the minor modes of the current buffer. */)
2119 Lisp_Object *maps;
2120 int nmaps = current_minor_maps (0, &maps);
2122 return Flist (nmaps, maps);
2125 /* Help functions for describing and documenting keymaps. */
2127 struct accessible_keymaps_data {
2128 Lisp_Object maps, tail, thisseq;
2129 /* Does the current sequence end in the meta-prefix-char? */
2130 int is_metized;
2133 static void
2134 accessible_keymaps_1 (key, cmd, args, data)
2135 Lisp_Object key, cmd, args;
2136 /* Use void* to be compatible with map_keymap_function_t. */
2137 void *data;
2139 struct accessible_keymaps_data *d = data; /* Cast! */
2140 Lisp_Object maps = d->maps;
2141 Lisp_Object tail = d->tail;
2142 Lisp_Object thisseq = d->thisseq;
2143 int is_metized = d->is_metized && INTEGERP (key);
2144 Lisp_Object tem;
2146 cmd = get_keymap (get_keyelt (cmd, 0), 0, 0);
2147 if (NILP (cmd))
2148 return;
2150 /* Look for and break cycles. */
2151 while (!NILP (tem = Frassq (cmd, maps)))
2153 Lisp_Object prefix = XCAR (tem);
2154 int lim = XINT (Flength (XCAR (tem)));
2155 if (lim <= XINT (Flength (thisseq)))
2156 { /* This keymap was already seen with a smaller prefix. */
2157 int i = 0;
2158 while (i < lim && EQ (Faref (prefix, make_number (i)),
2159 Faref (thisseq, make_number (i))))
2160 i++;
2161 if (i >= lim)
2162 /* `prefix' is a prefix of `thisseq' => there's a cycle. */
2163 return;
2165 /* This occurrence of `cmd' in `maps' does not correspond to a cycle,
2166 but maybe `cmd' occurs again further down in `maps', so keep
2167 looking. */
2168 maps = XCDR (Fmemq (tem, maps));
2171 /* If the last key in thisseq is meta-prefix-char,
2172 turn it into a meta-ized keystroke. We know
2173 that the event we're about to append is an
2174 ascii keystroke since we're processing a
2175 keymap table. */
2176 if (is_metized)
2178 int meta_bit = meta_modifier;
2179 Lisp_Object last = make_number (XINT (Flength (thisseq)) - 1);
2180 tem = Fcopy_sequence (thisseq);
2182 Faset (tem, last, make_number (XINT (key) | meta_bit));
2184 /* This new sequence is the same length as
2185 thisseq, so stick it in the list right
2186 after this one. */
2187 XSETCDR (tail,
2188 Fcons (Fcons (tem, cmd), XCDR (tail)));
2190 else
2192 tem = append_key (thisseq, key);
2193 nconc2 (tail, Fcons (Fcons (tem, cmd), Qnil));
2197 /* This function cannot GC. */
2199 DEFUN ("accessible-keymaps", Faccessible_keymaps, Saccessible_keymaps,
2200 1, 2, 0,
2201 doc: /* Find all keymaps accessible via prefix characters from KEYMAP.
2202 Returns a list of elements of the form (KEYS . MAP), where the sequence
2203 KEYS starting from KEYMAP gets you to MAP. These elements are ordered
2204 so that the KEYS increase in length. The first element is ([] . KEYMAP).
2205 An optional argument PREFIX, if non-nil, should be a key sequence;
2206 then the value includes only maps for prefixes that start with PREFIX. */)
2207 (keymap, prefix)
2208 Lisp_Object keymap, prefix;
2210 Lisp_Object maps, tail;
2211 int prefixlen = XINT (Flength (prefix));
2213 /* no need for gcpro because we don't autoload any keymaps. */
2215 if (!NILP (prefix))
2217 /* If a prefix was specified, start with the keymap (if any) for
2218 that prefix, so we don't waste time considering other prefixes. */
2219 Lisp_Object tem;
2220 tem = Flookup_key (keymap, prefix, Qt);
2221 /* Flookup_key may give us nil, or a number,
2222 if the prefix is not defined in this particular map.
2223 It might even give us a list that isn't a keymap. */
2224 tem = get_keymap (tem, 0, 0);
2225 /* If the keymap is autoloaded `tem' is not a cons-cell, but we still
2226 want to return it. */
2227 if (!NILP (tem))
2229 /* Convert PREFIX to a vector now, so that later on
2230 we don't have to deal with the possibility of a string. */
2231 if (STRINGP (prefix))
2233 int i, i_byte, c;
2234 Lisp_Object copy;
2236 copy = Fmake_vector (make_number (SCHARS (prefix)), Qnil);
2237 for (i = 0, i_byte = 0; i < SCHARS (prefix);)
2239 int i_before = i;
2241 FETCH_STRING_CHAR_ADVANCE (c, prefix, i, i_byte);
2242 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2243 c ^= 0200 | meta_modifier;
2244 ASET (copy, i_before, make_number (c));
2246 prefix = copy;
2248 maps = Fcons (Fcons (prefix, tem), Qnil);
2250 else
2251 return Qnil;
2253 else
2254 maps = Fcons (Fcons (Fmake_vector (make_number (0), Qnil),
2255 get_keymap (keymap, 1, 0)),
2256 Qnil);
2258 /* For each map in the list maps,
2259 look at any other maps it points to,
2260 and stick them at the end if they are not already in the list.
2262 This is a breadth-first traversal, where tail is the queue of
2263 nodes, and maps accumulates a list of all nodes visited. */
2265 for (tail = maps; CONSP (tail); tail = XCDR (tail))
2267 struct accessible_keymaps_data data;
2268 register Lisp_Object thismap = Fcdr (XCAR (tail));
2269 Lisp_Object last;
2271 data.thisseq = Fcar (XCAR (tail));
2272 data.maps = maps;
2273 data.tail = tail;
2274 last = make_number (XINT (Flength (data.thisseq)) - 1);
2275 /* Does the current sequence end in the meta-prefix-char? */
2276 data.is_metized = (XINT (last) >= 0
2277 /* Don't metize the last char of PREFIX. */
2278 && XINT (last) >= prefixlen
2279 && EQ (Faref (data.thisseq, last), meta_prefix_char));
2281 /* Since we can't run lisp code, we can't scan autoloaded maps. */
2282 if (CONSP (thismap))
2283 map_keymap (thismap, accessible_keymaps_1, Qnil, &data, 0);
2285 return maps;
2287 Lisp_Object Qsingle_key_description, Qkey_description;
2289 /* This function cannot GC. */
2291 DEFUN ("key-description", Fkey_description, Skey_description, 1, 2, 0,
2292 doc: /* Return a pretty description of key-sequence KEYS.
2293 Optional arg PREFIX is the sequence of keys leading up to KEYS.
2294 Control characters turn into "C-foo" sequences, meta into "M-foo",
2295 spaces are put between sequence elements, etc. */)
2296 (keys, prefix)
2297 Lisp_Object keys, prefix;
2299 int len = 0;
2300 int i, i_byte;
2301 Lisp_Object *args;
2302 int size = XINT (Flength (keys));
2303 Lisp_Object list;
2304 Lisp_Object sep = build_string (" ");
2305 Lisp_Object key;
2306 int add_meta = 0;
2308 if (!NILP (prefix))
2309 size += XINT (Flength (prefix));
2311 /* This has one extra element at the end that we don't pass to Fconcat. */
2312 args = (Lisp_Object *) alloca (size * 4 * sizeof (Lisp_Object));
2314 /* In effect, this computes
2315 (mapconcat 'single-key-description keys " ")
2316 but we shouldn't use mapconcat because it can do GC. */
2318 next_list:
2319 if (!NILP (prefix))
2320 list = prefix, prefix = Qnil;
2321 else if (!NILP (keys))
2322 list = keys, keys = Qnil;
2323 else
2325 if (add_meta)
2327 args[len] = Fsingle_key_description (meta_prefix_char, Qnil);
2328 len += 2;
2330 else if (len == 0)
2331 return empty_unibyte_string;
2332 return Fconcat (len - 1, args);
2335 if (STRINGP (list))
2336 size = SCHARS (list);
2337 else if (VECTORP (list))
2338 size = XVECTOR (list)->size;
2339 else if (CONSP (list))
2340 size = XINT (Flength (list));
2341 else
2342 wrong_type_argument (Qarrayp, list);
2344 i = i_byte = 0;
2346 while (i < size)
2348 if (STRINGP (list))
2350 int c;
2351 FETCH_STRING_CHAR_ADVANCE (c, list, i, i_byte);
2352 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2353 c ^= 0200 | meta_modifier;
2354 XSETFASTINT (key, c);
2356 else if (VECTORP (list))
2358 key = AREF (list, i); i++;
2360 else
2362 key = XCAR (list);
2363 list = XCDR (list);
2364 i++;
2367 if (add_meta)
2369 if (!INTEGERP (key)
2370 || EQ (key, meta_prefix_char)
2371 || (XINT (key) & meta_modifier))
2373 args[len++] = Fsingle_key_description (meta_prefix_char, Qnil);
2374 args[len++] = sep;
2375 if (EQ (key, meta_prefix_char))
2376 continue;
2378 else
2379 XSETINT (key, (XINT (key) | meta_modifier) & ~0x80);
2380 add_meta = 0;
2382 else if (EQ (key, meta_prefix_char))
2384 add_meta = 1;
2385 continue;
2387 args[len++] = Fsingle_key_description (key, Qnil);
2388 args[len++] = sep;
2390 goto next_list;
2394 char *
2395 push_key_description (c, p, force_multibyte)
2396 register unsigned int c;
2397 register char *p;
2398 int force_multibyte;
2400 unsigned c2;
2402 /* Clear all the meaningless bits above the meta bit. */
2403 c &= meta_modifier | ~ - meta_modifier;
2404 c2 = c & ~(alt_modifier | ctrl_modifier | hyper_modifier
2405 | meta_modifier | shift_modifier | super_modifier);
2407 if (! CHARACTERP (make_number (c2)))
2409 /* KEY_DESCRIPTION_SIZE is large enough for this. */
2410 p += sprintf (p, "[%d]", c);
2411 return p;
2414 if (c & alt_modifier)
2416 *p++ = 'A';
2417 *p++ = '-';
2418 c -= alt_modifier;
2420 if ((c & ctrl_modifier) != 0
2421 || (c2 < ' ' && c2 != 27 && c2 != '\t' && c2 != Ctl ('M')))
2423 *p++ = 'C';
2424 *p++ = '-';
2425 c &= ~ctrl_modifier;
2427 if (c & hyper_modifier)
2429 *p++ = 'H';
2430 *p++ = '-';
2431 c -= hyper_modifier;
2433 if (c & meta_modifier)
2435 *p++ = 'M';
2436 *p++ = '-';
2437 c -= meta_modifier;
2439 if (c & shift_modifier)
2441 *p++ = 'S';
2442 *p++ = '-';
2443 c -= shift_modifier;
2445 if (c & super_modifier)
2447 *p++ = 's';
2448 *p++ = '-';
2449 c -= super_modifier;
2451 if (c < 040)
2453 if (c == 033)
2455 *p++ = 'E';
2456 *p++ = 'S';
2457 *p++ = 'C';
2459 else if (c == '\t')
2461 *p++ = 'T';
2462 *p++ = 'A';
2463 *p++ = 'B';
2465 else if (c == Ctl ('M'))
2467 *p++ = 'R';
2468 *p++ = 'E';
2469 *p++ = 'T';
2471 else
2473 /* `C-' already added above. */
2474 if (c > 0 && c <= Ctl ('Z'))
2475 *p++ = c + 0140;
2476 else
2477 *p++ = c + 0100;
2480 else if (c == 0177)
2482 *p++ = 'D';
2483 *p++ = 'E';
2484 *p++ = 'L';
2486 else if (c == ' ')
2488 *p++ = 'S';
2489 *p++ = 'P';
2490 *p++ = 'C';
2492 else if (c < 128
2493 || (NILP (BUF_ENABLE_MULTIBYTE_CHARACTERS (current_buffer))
2494 && SINGLE_BYTE_CHAR_P (c)
2495 && !force_multibyte))
2497 *p++ = c;
2499 else
2501 /* Now we are sure that C is a valid character code. */
2502 if (NILP (BUF_ENABLE_MULTIBYTE_CHARACTERS (current_buffer))
2503 && ! force_multibyte)
2504 *p++ = multibyte_char_to_unibyte (c, Qnil);
2505 else
2506 p += CHAR_STRING (c, (unsigned char *) p);
2509 return p;
2512 /* This function cannot GC. */
2514 DEFUN ("single-key-description", Fsingle_key_description,
2515 Ssingle_key_description, 1, 2, 0,
2516 doc: /* Return a pretty description of command character KEY.
2517 Control characters turn into C-whatever, etc.
2518 Optional argument NO-ANGLES non-nil means don't put angle brackets
2519 around function keys and event symbols. */)
2520 (key, no_angles)
2521 Lisp_Object key, no_angles;
2523 if (CONSP (key) && lucid_event_type_list_p (key))
2524 key = Fevent_convert_list (key);
2526 key = EVENT_HEAD (key);
2528 if (INTEGERP (key)) /* Normal character */
2530 char tem[KEY_DESCRIPTION_SIZE];
2532 *push_key_description (XUINT (key), tem, 1) = 0;
2533 return build_string (tem);
2535 else if (SYMBOLP (key)) /* Function key or event-symbol */
2537 if (NILP (no_angles))
2539 char *buffer
2540 = (char *) alloca (SBYTES (SYMBOL_NAME (key)) + 5);
2541 sprintf (buffer, "<%s>", SDATA (SYMBOL_NAME (key)));
2542 return build_string (buffer);
2544 else
2545 return Fsymbol_name (key);
2547 else if (STRINGP (key)) /* Buffer names in the menubar. */
2548 return Fcopy_sequence (key);
2549 else
2550 error ("KEY must be an integer, cons, symbol, or string");
2551 return Qnil;
2554 char *
2555 push_text_char_description (c, p)
2556 register unsigned int c;
2557 register char *p;
2559 if (c >= 0200)
2561 *p++ = 'M';
2562 *p++ = '-';
2563 c -= 0200;
2565 if (c < 040)
2567 *p++ = '^';
2568 *p++ = c + 64; /* 'A' - 1 */
2570 else if (c == 0177)
2572 *p++ = '^';
2573 *p++ = '?';
2575 else
2576 *p++ = c;
2577 return p;
2580 /* This function cannot GC. */
2582 DEFUN ("text-char-description", Ftext_char_description, Stext_char_description, 1, 1, 0,
2583 doc: /* Return a pretty description of file-character CHARACTER.
2584 Control characters turn into "^char", etc. This differs from
2585 `single-key-description' which turns them into "C-char".
2586 Also, this function recognizes the 2**7 bit as the Meta character,
2587 whereas `single-key-description' uses the 2**27 bit for Meta.
2588 See Info node `(elisp)Describing Characters' for examples. */)
2589 (character)
2590 Lisp_Object character;
2592 /* Currently MAX_MULTIBYTE_LENGTH is 4 (< 6). */
2593 unsigned char str[6];
2594 int c;
2596 CHECK_NUMBER (character);
2598 c = XINT (character);
2599 if (!ASCII_CHAR_P (c))
2601 int len = CHAR_STRING (c, str);
2603 return make_multibyte_string (str, 1, len);
2606 *push_text_char_description (c & 0377, str) = 0;
2608 return build_string (str);
2611 static int where_is_preferred_modifier;
2613 /* Return 0 if SEQ uses non-preferred modifiers or non-char events.
2614 Else, return 2 if SEQ uses the where_is_preferred_modifier,
2615 and 1 otherwise. */
2616 static int
2617 preferred_sequence_p (seq)
2618 Lisp_Object seq;
2620 int i;
2621 int len = XINT (Flength (seq));
2622 int result = 1;
2624 for (i = 0; i < len; i++)
2626 Lisp_Object ii, elt;
2628 XSETFASTINT (ii, i);
2629 elt = Faref (seq, ii);
2631 if (!INTEGERP (elt))
2632 return 0;
2633 else
2635 int modifiers = XUINT (elt) & (CHAR_MODIFIER_MASK & ~CHAR_META);
2636 if (modifiers == where_is_preferred_modifier)
2637 result = 2;
2638 else if (modifiers)
2639 return 0;
2643 return result;
2647 /* where-is - finding a command in a set of keymaps. */
2649 static void where_is_internal_1 P_ ((Lisp_Object key, Lisp_Object binding,
2650 Lisp_Object args, void *data));
2652 /* Like Flookup_key, but uses a list of keymaps SHADOW instead of a single map.
2653 Returns the first non-nil binding found in any of those maps.
2654 If REMAP is true, pass the result of the lookup through command
2655 remapping before returning it. */
2657 static Lisp_Object
2658 shadow_lookup (Lisp_Object shadow, Lisp_Object key, Lisp_Object flag,
2659 int remap)
2661 Lisp_Object tail, value;
2663 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2665 value = Flookup_key (XCAR (tail), key, flag);
2666 if (NATNUMP (value))
2668 value = Flookup_key (XCAR (tail),
2669 Fsubstring (key, make_number (0), value), flag);
2670 if (!NILP (value))
2671 return Qnil;
2673 else if (!NILP (value))
2675 Lisp_Object remapping;
2676 if (remap && SYMBOLP (value)
2677 && (remapping = Fcommand_remapping (value, Qnil, shadow),
2678 !NILP (remapping)))
2679 return remapping;
2680 else
2681 return value;
2684 return Qnil;
2687 static Lisp_Object Vmouse_events;
2689 struct where_is_internal_data {
2690 Lisp_Object definition, this, last;
2691 int last_is_meta, noindirect;
2692 Lisp_Object sequences;
2695 /* This function can't GC, AFAIK. */
2696 /* Return the list of bindings found. This list is ordered "longest
2697 to shortest". It may include bindings that are actually shadowed
2698 by others, as well as duplicate bindings and remapping bindings.
2699 The list returned is potentially shared with where_is_cache, so
2700 be careful not to modify it via side-effects. */
2702 static Lisp_Object
2703 where_is_internal (Lisp_Object definition, Lisp_Object keymaps,
2704 int noindirect, int nomenus)
2706 Lisp_Object maps = Qnil;
2707 Lisp_Object found;
2708 struct where_is_internal_data data;
2710 /* Only important use of caching is for the menubar
2711 (i.e. where-is-internal called with (def nil t nil nil)). */
2712 if (nomenus && !noindirect)
2714 /* Check heuristic-consistency of the cache. */
2715 if (NILP (Fequal (keymaps, where_is_cache_keymaps)))
2716 where_is_cache = Qnil;
2718 if (NILP (where_is_cache))
2720 /* We need to create the cache. */
2721 Lisp_Object args[2];
2722 where_is_cache = Fmake_hash_table (0, args);
2723 where_is_cache_keymaps = Qt;
2725 else
2726 /* We can reuse the cache. */
2727 return Fgethash (definition, where_is_cache, Qnil);
2729 else
2730 /* Kill the cache so that where_is_internal_1 doesn't think
2731 we're filling it up. */
2732 where_is_cache = Qnil;
2734 found = keymaps;
2735 while (CONSP (found))
2737 maps =
2738 nconc2 (maps,
2739 Faccessible_keymaps (get_keymap (XCAR (found), 1, 0), Qnil));
2740 found = XCDR (found);
2743 data.sequences = Qnil;
2744 for (; CONSP (maps); maps = XCDR (maps))
2746 /* Key sequence to reach map, and the map that it reaches */
2747 register Lisp_Object this, map, tem;
2749 /* In order to fold [META-PREFIX-CHAR CHAR] sequences into
2750 [M-CHAR] sequences, check if last character of the sequence
2751 is the meta-prefix char. */
2752 Lisp_Object last;
2753 int last_is_meta;
2755 this = Fcar (XCAR (maps));
2756 map = Fcdr (XCAR (maps));
2757 last = make_number (XINT (Flength (this)) - 1);
2758 last_is_meta = (XINT (last) >= 0
2759 && EQ (Faref (this, last), meta_prefix_char));
2761 /* if (nomenus && !preferred_sequence_p (this)) */
2762 if (nomenus && XINT (last) >= 0
2763 && SYMBOLP (tem = Faref (this, make_number (0)))
2764 && !NILP (Fmemq (XCAR (parse_modifiers (tem)), Vmouse_events)))
2765 /* If no menu entries should be returned, skip over the
2766 keymaps bound to `menu-bar' and `tool-bar' and other
2767 non-ascii prefixes like `C-down-mouse-2'. */
2768 continue;
2770 QUIT;
2772 data.definition = definition;
2773 data.noindirect = noindirect;
2774 data.this = this;
2775 data.last = last;
2776 data.last_is_meta = last_is_meta;
2778 if (CONSP (map))
2779 map_keymap (map, where_is_internal_1, Qnil, &data, 0);
2782 if (nomenus && !noindirect)
2783 { /* Remember for which keymaps this cache was built.
2784 We do it here (late) because we want to keep where_is_cache_keymaps
2785 set to t while the cache isn't fully filled. */
2786 where_is_cache_keymaps = keymaps;
2787 /* During cache-filling, data.sequences is not filled by
2788 where_is_internal_1. */
2789 return Fgethash (definition, where_is_cache, Qnil);
2791 else
2792 return data.sequences;
2795 static Lisp_Object impl_Vwhere_is_preferred_modifier;
2797 /* This function can GC if Flookup_key autoloads any keymaps. */
2799 DEFUN ("where-is-internal", Fwhere_is_internal, Swhere_is_internal, 1, 5, 0,
2800 doc: /* Return list of keys that invoke DEFINITION.
2801 If KEYMAP is a keymap, search only KEYMAP and the global keymap.
2802 If KEYMAP is nil, search all the currently active keymaps.
2803 If KEYMAP is a list of keymaps, search only those keymaps.
2805 If optional 3rd arg FIRSTONLY is non-nil, return the first key sequence found,
2806 rather than a list of all possible key sequences.
2807 If FIRSTONLY is the symbol `non-ascii', return the first binding found,
2808 no matter what it is.
2809 If FIRSTONLY has another non-nil value, prefer bindings
2810 that use the modifier key specified in `where-is-preferred-modifier'
2811 \(or their meta variants) and entirely reject menu bindings.
2813 If optional 4th arg NOINDIRECT is non-nil, don't follow indirections
2814 to other keymaps or slots. This makes it possible to search for an
2815 indirect definition itself.
2817 If optional 5th arg NO-REMAP is non-nil, don't search for key sequences
2818 that invoke a command which is remapped to DEFINITION, but include the
2819 remapped command in the returned list. */)
2820 (definition, keymap, firstonly, noindirect, no_remap)
2821 Lisp_Object definition, keymap;
2822 Lisp_Object firstonly, noindirect, no_remap;
2824 /* The keymaps in which to search. */
2825 Lisp_Object keymaps;
2826 /* Potentially relevant bindings in "shortest to longest" order. */
2827 Lisp_Object sequences = Qnil;
2828 /* Actually relevant bindings. */
2829 Lisp_Object found = Qnil;
2830 /* 1 means ignore all menu bindings entirely. */
2831 int nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2832 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5;
2833 /* List of sequences found via remapping. Keep them in a separate
2834 variable, so as to push them later, since we prefer
2835 non-remapped binding. */
2836 Lisp_Object remapped_sequences = Qnil;
2837 /* Whether or not we're handling remapped sequences. This is needed
2838 because remapping is not done recursively by Fcommand_remapping: you
2839 can't remap and remapped command. */
2840 int remapped = 0;
2841 Lisp_Object tem;
2843 /* Refresh the C version of the modifier preference. */
2844 where_is_preferred_modifier
2845 = parse_solitary_modifier (Vwhere_is_preferred_modifier);
2847 /* Find the relevant keymaps. */
2848 if (CONSP (keymap) && KEYMAPP (XCAR (keymap)))
2849 keymaps = keymap;
2850 else if (!NILP (keymap))
2851 keymaps = Fcons (keymap, Fcons (current_global_map, Qnil));
2852 else
2853 keymaps = Fcurrent_active_maps (Qnil, Qnil);
2855 GCPRO5 (definition, keymaps, found, sequences, remapped_sequences);
2857 /* If this command is remapped, then it has no key bindings of its own.
2858 FIXME: Actually, this is not quite right: if A is remapped to
2859 `definition', then bindings to A will actually bind the key to
2860 `definition' despite the remapping from `definition' to something else.
2861 Another corner case is if `definition' is remapped to itself. */
2862 if (NILP (no_remap)
2863 && SYMBOLP (definition)
2864 && !NILP (Fcommand_remapping (definition, Qnil, keymaps)))
2865 RETURN_UNGCPRO (Qnil);
2867 if (SYMBOLP (definition)
2868 && !NILP (firstonly)
2869 && !NILP (tem = Fget (definition, QCadvertised_binding)))
2871 /* We have a list of advertized bindings. */
2872 while (CONSP (tem))
2873 if (EQ (shadow_lookup (keymaps, XCAR (tem), Qnil, 0), definition))
2874 return XCAR (tem);
2875 else
2876 tem = XCDR (tem);
2877 if (EQ (shadow_lookup (keymaps, tem, Qnil, 0), definition))
2878 return tem;
2881 sequences = Freverse (where_is_internal (definition, keymaps,
2882 !NILP (noindirect), nomenus));
2884 while (CONSP (sequences)
2885 /* If we're at the end of the `sequences' list and we haven't
2886 considered remapped sequences yet, copy them over and
2887 process them. */
2888 || (!remapped && (sequences = remapped_sequences,
2889 remapped = 1),
2890 CONSP (sequences)))
2892 Lisp_Object sequence, function;
2894 sequence = XCAR (sequences);
2895 sequences = XCDR (sequences);
2897 /* Verify that this key binding is not shadowed by another
2898 binding for the same key, before we say it exists.
2900 Mechanism: look for local definition of this key and if
2901 it is defined and does not match what we found then
2902 ignore this key.
2904 Either nil or number as value from Flookup_key
2905 means undefined. */
2906 if (NILP (Fequal (shadow_lookup (keymaps, sequence, Qnil, remapped),
2907 definition)))
2908 continue;
2910 /* If the current sequence is a command remapping with
2911 format [remap COMMAND], find the key sequences
2912 which run COMMAND, and use those sequences instead. */
2913 if (NILP (no_remap) && !remapped
2914 && VECTORP (sequence) && ASIZE (sequence) == 2
2915 && EQ (AREF (sequence, 0), Qremap)
2916 && (function = AREF (sequence, 1), SYMBOLP (function)))
2918 Lisp_Object seqs = where_is_internal (function, keymaps,
2919 !NILP (noindirect), nomenus);
2920 remapped_sequences = nconc2 (Freverse (seqs), remapped_sequences);
2921 continue;
2924 /* Don't annoy user with strings from a menu such as the
2925 entries from the "Edit => Paste from Kill Menu".
2926 Change them all to "(any string)", so that there
2927 seems to be only one menu item to report. */
2928 if (! NILP (sequence))
2930 Lisp_Object tem;
2931 tem = Faref (sequence, make_number (ASIZE (sequence) - 1));
2932 if (STRINGP (tem))
2933 Faset (sequence, make_number (ASIZE (sequence) - 1),
2934 build_string ("(any string)"));
2937 /* It is a true unshadowed match. Record it, unless it's already
2938 been seen (as could happen when inheriting keymaps). */
2939 if (NILP (Fmember (sequence, found)))
2940 found = Fcons (sequence, found);
2942 /* If firstonly is Qnon_ascii, then we can return the first
2943 binding we find. If firstonly is not Qnon_ascii but not
2944 nil, then we should return the first ascii-only binding
2945 we find. */
2946 if (EQ (firstonly, Qnon_ascii))
2947 RETURN_UNGCPRO (sequence);
2948 else if (!NILP (firstonly)
2949 && 2 == preferred_sequence_p (sequence))
2950 RETURN_UNGCPRO (sequence);
2953 UNGCPRO;
2955 found = Fnreverse (found);
2957 /* firstonly may have been t, but we may have gone all the way through
2958 the keymaps without finding an all-ASCII key sequence. So just
2959 return the best we could find. */
2960 if (NILP (firstonly))
2961 return found;
2962 else if (where_is_preferred_modifier == 0)
2963 return Fcar (found);
2964 else
2965 { /* Maybe we did not find a preferred_modifier binding, but we did find
2966 some ASCII binding. */
2967 Lisp_Object bindings = found;
2968 while (CONSP (bindings))
2969 if (preferred_sequence_p (XCAR (bindings)))
2970 return XCAR (bindings);
2971 else
2972 bindings = XCDR (bindings);
2973 return Fcar (found);
2977 /* This function can GC because get_keyelt can. */
2979 static void
2980 where_is_internal_1 (key, binding, args, data)
2981 Lisp_Object key, binding, args;
2982 void *data;
2984 struct where_is_internal_data *d = data; /* Cast! */
2985 Lisp_Object definition = d->definition;
2986 int noindirect = d->noindirect;
2987 Lisp_Object this = d->this;
2988 Lisp_Object last = d->last;
2989 int last_is_meta = d->last_is_meta;
2990 Lisp_Object sequence;
2992 /* Search through indirections unless that's not wanted. */
2993 if (!noindirect)
2994 binding = get_keyelt (binding, 0);
2996 /* End this iteration if this element does not match
2997 the target. */
2999 if (!(!NILP (where_is_cache) /* everything "matches" during cache-fill. */
3000 || EQ (binding, definition)
3001 || (CONSP (definition) && !NILP (Fequal (binding, definition)))))
3002 /* Doesn't match. */
3003 return;
3005 /* We have found a match. Construct the key sequence where we found it. */
3006 if (INTEGERP (key) && last_is_meta)
3008 sequence = Fcopy_sequence (this);
3009 Faset (sequence, last, make_number (XINT (key) | meta_modifier));
3011 else
3013 if (CONSP (key))
3014 key = Fcons (XCAR (key), XCDR (key));
3015 sequence = append_key (this, key);
3018 if (!NILP (where_is_cache))
3020 Lisp_Object sequences = Fgethash (binding, where_is_cache, Qnil);
3021 Fputhash (binding, Fcons (sequence, sequences), where_is_cache);
3023 else
3024 d->sequences = Fcons (sequence, d->sequences);
3027 /* describe-bindings - summarizing all the bindings in a set of keymaps. */
3029 DEFUN ("describe-buffer-bindings", Fdescribe_buffer_bindings, Sdescribe_buffer_bindings, 1, 3, 0,
3030 doc: /* Insert the list of all defined keys and their definitions.
3031 The list is inserted in the current buffer, while the bindings are
3032 looked up in BUFFER.
3033 The optional argument PREFIX, if non-nil, should be a key sequence;
3034 then we display only bindings that start with that prefix.
3035 The optional argument MENUS, if non-nil, says to mention menu bindings.
3036 \(Ordinarily these are omitted from the output.) */)
3037 (buffer, prefix, menus)
3038 Lisp_Object buffer, prefix, menus;
3040 Lisp_Object outbuf, shadow;
3041 int nomenu = NILP (menus);
3042 register Lisp_Object start1;
3043 struct gcpro gcpro1;
3045 char *alternate_heading
3046 = "\
3047 Keyboard translations:\n\n\
3048 You type Translation\n\
3049 -------- -----------\n";
3051 CHECK_BUFFER (buffer);
3053 shadow = Qnil;
3054 GCPRO1 (shadow);
3056 outbuf = Fcurrent_buffer ();
3058 /* Report on alternates for keys. */
3059 if (STRINGP (current_kboard->Vkeyboard_translate_table) && !NILP (prefix))
3061 int c;
3062 const unsigned char *translate = SDATA (current_kboard->Vkeyboard_translate_table);
3063 int translate_len = SCHARS (current_kboard->Vkeyboard_translate_table);
3065 for (c = 0; c < translate_len; c++)
3066 if (translate[c] != c)
3068 char buf[KEY_DESCRIPTION_SIZE];
3069 char *bufend;
3071 if (alternate_heading)
3073 insert_string (alternate_heading);
3074 alternate_heading = 0;
3077 bufend = push_key_description (translate[c], buf, 1);
3078 insert (buf, bufend - buf);
3079 Findent_to (make_number (16), make_number (1));
3080 bufend = push_key_description (c, buf, 1);
3081 insert (buf, bufend - buf);
3083 insert ("\n", 1);
3085 /* Insert calls signal_after_change which may GC. */
3086 translate = SDATA (current_kboard->Vkeyboard_translate_table);
3089 insert ("\n", 1);
3092 if (!NILP (Vkey_translation_map))
3093 describe_map_tree (Vkey_translation_map, 0, Qnil, prefix,
3094 "Key translations", nomenu, 1, 0, 0);
3097 /* Print the (major mode) local map. */
3098 start1 = Qnil;
3099 if (!NILP (current_kboard->Voverriding_terminal_local_map))
3100 start1 = current_kboard->Voverriding_terminal_local_map;
3101 else if (!NILP (Voverriding_local_map))
3102 start1 = Voverriding_local_map;
3104 if (!NILP (start1))
3106 describe_map_tree (start1, 1, shadow, prefix,
3107 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
3108 shadow = Fcons (start1, shadow);
3110 else
3112 /* Print the minor mode and major mode keymaps. */
3113 int i, nmaps;
3114 Lisp_Object *modes, *maps;
3116 /* Temporarily switch to `buffer', so that we can get that buffer's
3117 minor modes correctly. */
3118 Fset_buffer (buffer);
3120 nmaps = current_minor_maps (&modes, &maps);
3121 Fset_buffer (outbuf);
3123 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
3124 XBUFFER (buffer), Qkeymap);
3125 if (!NILP (start1))
3127 describe_map_tree (start1, 1, shadow, prefix,
3128 "\f\n`keymap' Property Bindings", nomenu,
3129 0, 0, 0);
3130 shadow = Fcons (start1, shadow);
3133 /* Print the minor mode maps. */
3134 for (i = 0; i < nmaps; i++)
3136 /* The title for a minor mode keymap
3137 is constructed at run time.
3138 We let describe_map_tree do the actual insertion
3139 because it takes care of other features when doing so. */
3140 char *title, *p;
3142 if (!SYMBOLP (modes[i]))
3143 abort ();
3145 p = title = (char *) alloca (42 + SCHARS (SYMBOL_NAME (modes[i])));
3146 *p++ = '\f';
3147 *p++ = '\n';
3148 *p++ = '`';
3149 bcopy (SDATA (SYMBOL_NAME (modes[i])), p,
3150 SCHARS (SYMBOL_NAME (modes[i])));
3151 p += SCHARS (SYMBOL_NAME (modes[i]));
3152 *p++ = '\'';
3153 bcopy (" Minor Mode Bindings", p, sizeof (" Minor Mode Bindings") - 1);
3154 p += sizeof (" Minor Mode Bindings") - 1;
3155 *p = 0;
3157 describe_map_tree (maps[i], 1, shadow, prefix,
3158 title, nomenu, 0, 0, 0);
3159 shadow = Fcons (maps[i], shadow);
3162 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
3163 XBUFFER (buffer), Qlocal_map);
3164 if (!NILP (start1))
3166 if (EQ (start1, BUF_KEYMAP (XBUFFER (buffer))))
3167 describe_map_tree (start1, 1, shadow, prefix,
3168 "\f\nMajor Mode Bindings", nomenu, 0, 0, 0);
3169 else
3170 describe_map_tree (start1, 1, shadow, prefix,
3171 "\f\n`local-map' Property Bindings",
3172 nomenu, 0, 0, 0);
3174 shadow = Fcons (start1, shadow);
3178 describe_map_tree (current_global_map, 1, shadow, prefix,
3179 "\f\nGlobal Bindings", nomenu, 0, 1, 0);
3181 /* Print the function-key-map translations under this prefix. */
3182 if (!NILP (current_kboard->Vlocal_function_key_map))
3183 describe_map_tree (current_kboard->Vlocal_function_key_map, 0, Qnil, prefix,
3184 "\f\nFunction key map translations", nomenu, 1, 0, 0);
3186 /* Print the input-decode-map translations under this prefix. */
3187 if (!NILP (current_kboard->Vinput_decode_map))
3188 describe_map_tree (current_kboard->Vinput_decode_map, 0, Qnil, prefix,
3189 "\f\nInput decoding map translations", nomenu, 1, 0, 0);
3191 UNGCPRO;
3192 return Qnil;
3195 /* Insert a description of the key bindings in STARTMAP,
3196 followed by those of all maps reachable through STARTMAP.
3197 If PARTIAL is nonzero, omit certain "uninteresting" commands
3198 (such as `undefined').
3199 If SHADOW is non-nil, it is a list of maps;
3200 don't mention keys which would be shadowed by any of them.
3201 PREFIX, if non-nil, says mention only keys that start with PREFIX.
3202 TITLE, if not 0, is a string to insert at the beginning.
3203 TITLE should not end with a colon or a newline; we supply that.
3204 If NOMENU is not 0, then omit menu-bar commands.
3206 If TRANSL is nonzero, the definitions are actually key translations
3207 so print strings and vectors differently.
3209 If ALWAYS_TITLE is nonzero, print the title even if there are no maps
3210 to look through.
3212 If MENTION_SHADOW is nonzero, then when something is shadowed by SHADOW,
3213 don't omit it; instead, mention it but say it is shadowed. */
3215 void
3216 describe_map_tree (startmap, partial, shadow, prefix, title, nomenu, transl,
3217 always_title, mention_shadow)
3218 Lisp_Object startmap, shadow, prefix;
3219 int partial;
3220 char *title;
3221 int nomenu;
3222 int transl;
3223 int always_title;
3224 int mention_shadow;
3226 Lisp_Object maps, orig_maps, seen, sub_shadows;
3227 struct gcpro gcpro1, gcpro2, gcpro3;
3228 int something = 0;
3229 char *key_heading
3230 = "\
3231 key binding\n\
3232 --- -------\n";
3234 orig_maps = maps = Faccessible_keymaps (startmap, prefix);
3235 seen = Qnil;
3236 sub_shadows = Qnil;
3237 GCPRO3 (maps, seen, sub_shadows);
3239 if (nomenu)
3241 Lisp_Object list;
3243 /* Delete from MAPS each element that is for the menu bar. */
3244 for (list = maps; CONSP (list); list = XCDR (list))
3246 Lisp_Object elt, prefix, tem;
3248 elt = XCAR (list);
3249 prefix = Fcar (elt);
3250 if (XVECTOR (prefix)->size >= 1)
3252 tem = Faref (prefix, make_number (0));
3253 if (EQ (tem, Qmenu_bar))
3254 maps = Fdelq (elt, maps);
3259 if (!NILP (maps) || always_title)
3261 if (title)
3263 insert_string (title);
3264 if (!NILP (prefix))
3266 insert_string (" Starting With ");
3267 insert1 (Fkey_description (prefix, Qnil));
3269 insert_string (":\n");
3271 insert_string (key_heading);
3272 something = 1;
3275 for (; CONSP (maps); maps = XCDR (maps))
3277 register Lisp_Object elt, prefix, tail;
3279 elt = XCAR (maps);
3280 prefix = Fcar (elt);
3282 sub_shadows = Qnil;
3284 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
3286 Lisp_Object shmap;
3288 shmap = XCAR (tail);
3290 /* If the sequence by which we reach this keymap is zero-length,
3291 then the shadow map for this keymap is just SHADOW. */
3292 if ((STRINGP (prefix) && SCHARS (prefix) == 0)
3293 || (VECTORP (prefix) && XVECTOR (prefix)->size == 0))
3295 /* If the sequence by which we reach this keymap actually has
3296 some elements, then the sequence's definition in SHADOW is
3297 what we should use. */
3298 else
3300 shmap = Flookup_key (shmap, Fcar (elt), Qt);
3301 if (INTEGERP (shmap))
3302 shmap = Qnil;
3305 /* If shmap is not nil and not a keymap,
3306 it completely shadows this map, so don't
3307 describe this map at all. */
3308 if (!NILP (shmap) && !KEYMAPP (shmap))
3309 goto skip;
3311 if (!NILP (shmap))
3312 sub_shadows = Fcons (shmap, sub_shadows);
3315 /* Maps we have already listed in this loop shadow this map. */
3316 for (tail = orig_maps; !EQ (tail, maps); tail = XCDR (tail))
3318 Lisp_Object tem;
3319 tem = Fequal (Fcar (XCAR (tail)), prefix);
3320 if (!NILP (tem))
3321 sub_shadows = Fcons (XCDR (XCAR (tail)), sub_shadows);
3324 describe_map (Fcdr (elt), prefix,
3325 transl ? describe_translation : describe_command,
3326 partial, sub_shadows, &seen, nomenu, mention_shadow);
3328 skip: ;
3331 if (something)
3332 insert_string ("\n");
3334 UNGCPRO;
3337 static int previous_description_column;
3339 static void
3340 describe_command (definition, args)
3341 Lisp_Object definition, args;
3343 register Lisp_Object tem1;
3344 int column = (int) current_column (); /* iftc */
3345 int description_column;
3347 /* If column 16 is no good, go to col 32;
3348 but don't push beyond that--go to next line instead. */
3349 if (column > 30)
3351 insert_char ('\n');
3352 description_column = 32;
3354 else if (column > 14 || (column > 10 && previous_description_column == 32))
3355 description_column = 32;
3356 else
3357 description_column = 16;
3359 Findent_to (make_number (description_column), make_number (1));
3360 previous_description_column = description_column;
3362 if (SYMBOLP (definition))
3364 tem1 = SYMBOL_NAME (definition);
3365 insert1 (tem1);
3366 insert_string ("\n");
3368 else if (STRINGP (definition) || VECTORP (definition))
3369 insert_string ("Keyboard Macro\n");
3370 else if (KEYMAPP (definition))
3371 insert_string ("Prefix Command\n");
3372 else
3373 insert_string ("??\n");
3376 static void
3377 describe_translation (definition, args)
3378 Lisp_Object definition, args;
3380 register Lisp_Object tem1;
3382 Findent_to (make_number (16), make_number (1));
3384 if (SYMBOLP (definition))
3386 tem1 = SYMBOL_NAME (definition);
3387 insert1 (tem1);
3388 insert_string ("\n");
3390 else if (STRINGP (definition) || VECTORP (definition))
3392 insert1 (Fkey_description (definition, Qnil));
3393 insert_string ("\n");
3395 else if (KEYMAPP (definition))
3396 insert_string ("Prefix Command\n");
3397 else
3398 insert_string ("??\n");
3401 /* describe_map puts all the usable elements of a sparse keymap
3402 into an array of `struct describe_map_elt',
3403 then sorts them by the events. */
3405 struct describe_map_elt { Lisp_Object event; Lisp_Object definition; int shadowed; };
3407 /* qsort comparison function for sorting `struct describe_map_elt' by
3408 the event field. */
3410 static int
3411 describe_map_compare (aa, bb)
3412 const void *aa, *bb;
3414 const struct describe_map_elt *a = aa, *b = bb;
3415 if (INTEGERP (a->event) && INTEGERP (b->event))
3416 return ((XINT (a->event) > XINT (b->event))
3417 - (XINT (a->event) < XINT (b->event)));
3418 if (!INTEGERP (a->event) && INTEGERP (b->event))
3419 return 1;
3420 if (INTEGERP (a->event) && !INTEGERP (b->event))
3421 return -1;
3422 if (SYMBOLP (a->event) && SYMBOLP (b->event))
3423 return (!NILP (Fstring_lessp (a->event, b->event)) ? -1
3424 : !NILP (Fstring_lessp (b->event, a->event)) ? 1
3425 : 0);
3426 return 0;
3429 /* Describe the contents of map MAP, assuming that this map itself is
3430 reached by the sequence of prefix keys PREFIX (a string or vector).
3431 PARTIAL, SHADOW, NOMENU are as in `describe_map_tree' above. */
3433 static void
3434 describe_map (map, prefix, elt_describer, partial, shadow,
3435 seen, nomenu, mention_shadow)
3436 register Lisp_Object map;
3437 Lisp_Object prefix;
3438 void (*elt_describer) P_ ((Lisp_Object, Lisp_Object));
3439 int partial;
3440 Lisp_Object shadow;
3441 Lisp_Object *seen;
3442 int nomenu;
3443 int mention_shadow;
3445 Lisp_Object tail, definition, event;
3446 Lisp_Object tem;
3447 Lisp_Object suppress;
3448 Lisp_Object kludge;
3449 int first = 1;
3450 struct gcpro gcpro1, gcpro2, gcpro3;
3452 /* These accumulate the values from sparse keymap bindings,
3453 so we can sort them and handle them in order. */
3454 int length_needed = 0;
3455 struct describe_map_elt *vect;
3456 int slots_used = 0;
3457 int i;
3459 suppress = Qnil;
3461 if (partial)
3462 suppress = intern ("suppress-keymap");
3464 /* This vector gets used to present single keys to Flookup_key. Since
3465 that is done once per keymap element, we don't want to cons up a
3466 fresh vector every time. */
3467 kludge = Fmake_vector (make_number (1), Qnil);
3468 definition = Qnil;
3470 GCPRO3 (prefix, definition, kludge);
3472 map = call1 (Qkeymap_canonicalize, map);
3474 for (tail = map; CONSP (tail); tail = XCDR (tail))
3475 length_needed++;
3477 vect = ((struct describe_map_elt *)
3478 alloca (sizeof (struct describe_map_elt) * length_needed));
3480 for (tail = map; CONSP (tail); tail = XCDR (tail))
3482 QUIT;
3484 if (VECTORP (XCAR (tail))
3485 || CHAR_TABLE_P (XCAR (tail)))
3486 describe_vector (XCAR (tail),
3487 prefix, Qnil, elt_describer, partial, shadow, map,
3488 (int *)0, 0, 1, mention_shadow);
3489 else if (CONSP (XCAR (tail)))
3491 int this_shadowed = 0;
3493 event = XCAR (XCAR (tail));
3495 /* Ignore bindings whose "prefix" are not really valid events.
3496 (We get these in the frames and buffers menu.) */
3497 if (!(SYMBOLP (event) || INTEGERP (event)))
3498 continue;
3500 if (nomenu && EQ (event, Qmenu_bar))
3501 continue;
3503 definition = get_keyelt (XCDR (XCAR (tail)), 0);
3505 /* Don't show undefined commands or suppressed commands. */
3506 if (NILP (definition)) continue;
3507 if (SYMBOLP (definition) && partial)
3509 tem = Fget (definition, suppress);
3510 if (!NILP (tem))
3511 continue;
3514 /* Don't show a command that isn't really visible
3515 because a local definition of the same key shadows it. */
3517 ASET (kludge, 0, event);
3518 if (!NILP (shadow))
3520 tem = shadow_lookup (shadow, kludge, Qt, 0);
3521 if (!NILP (tem))
3523 /* If both bindings are keymaps, this key is a prefix key,
3524 so don't say it is shadowed. */
3525 if (KEYMAPP (definition) && KEYMAPP (tem))
3527 /* Avoid generating duplicate entries if the
3528 shadowed binding has the same definition. */
3529 else if (mention_shadow && !EQ (tem, definition))
3530 this_shadowed = 1;
3531 else
3532 continue;
3536 tem = Flookup_key (map, kludge, Qt);
3537 if (!EQ (tem, definition)) continue;
3539 vect[slots_used].event = event;
3540 vect[slots_used].definition = definition;
3541 vect[slots_used].shadowed = this_shadowed;
3542 slots_used++;
3544 else if (EQ (XCAR (tail), Qkeymap))
3546 /* The same keymap might be in the structure twice, if we're
3547 using an inherited keymap. So skip anything we've already
3548 encountered. */
3549 tem = Fassq (tail, *seen);
3550 if (CONSP (tem) && !NILP (Fequal (XCAR (tem), prefix)))
3551 break;
3552 *seen = Fcons (Fcons (tail, prefix), *seen);
3556 /* If we found some sparse map events, sort them. */
3558 qsort (vect, slots_used, sizeof (struct describe_map_elt),
3559 describe_map_compare);
3561 /* Now output them in sorted order. */
3563 for (i = 0; i < slots_used; i++)
3565 Lisp_Object start, end;
3567 if (first)
3569 previous_description_column = 0;
3570 insert ("\n", 1);
3571 first = 0;
3574 ASET (kludge, 0, vect[i].event);
3575 start = vect[i].event;
3576 end = start;
3578 definition = vect[i].definition;
3580 /* Find consecutive chars that are identically defined. */
3581 if (INTEGERP (vect[i].event))
3583 while (i + 1 < slots_used
3584 && EQ (vect[i+1].event, make_number (XINT (vect[i].event) + 1))
3585 && !NILP (Fequal (vect[i + 1].definition, definition))
3586 && vect[i].shadowed == vect[i + 1].shadowed)
3587 i++;
3588 end = vect[i].event;
3591 /* Now START .. END is the range to describe next. */
3593 /* Insert the string to describe the event START. */
3594 insert1 (Fkey_description (kludge, prefix));
3596 if (!EQ (start, end))
3598 insert (" .. ", 4);
3600 ASET (kludge, 0, end);
3601 /* Insert the string to describe the character END. */
3602 insert1 (Fkey_description (kludge, prefix));
3605 /* Print a description of the definition of this character.
3606 elt_describer will take care of spacing out far enough
3607 for alignment purposes. */
3608 (*elt_describer) (vect[i].definition, Qnil);
3610 if (vect[i].shadowed)
3612 SET_PT (PT - 1);
3613 insert_string ("\n (that binding is currently shadowed by another mode)");
3614 SET_PT (PT + 1);
3618 UNGCPRO;
3621 static void
3622 describe_vector_princ (elt, fun)
3623 Lisp_Object elt, fun;
3625 Findent_to (make_number (16), make_number (1));
3626 call1 (fun, elt);
3627 Fterpri (Qnil);
3630 DEFUN ("describe-vector", Fdescribe_vector, Sdescribe_vector, 1, 2, 0,
3631 doc: /* Insert a description of contents of VECTOR.
3632 This is text showing the elements of vector matched against indices.
3633 DESCRIBER is the output function used; nil means use `princ'. */)
3634 (vector, describer)
3635 Lisp_Object vector, describer;
3637 int count = SPECPDL_INDEX ();
3638 if (NILP (describer))
3639 describer = intern ("princ");
3640 specbind (Qstandard_output, Fcurrent_buffer ());
3641 CHECK_VECTOR_OR_CHAR_TABLE (vector);
3642 describe_vector (vector, Qnil, describer, describe_vector_princ, 0,
3643 Qnil, Qnil, (int *)0, 0, 0, 0);
3645 return unbind_to (count, Qnil);
3648 /* Insert in the current buffer a description of the contents of VECTOR.
3649 We call ELT_DESCRIBER to insert the description of one value found
3650 in VECTOR.
3652 ELT_PREFIX describes what "comes before" the keys or indices defined
3653 by this vector. This is a human-readable string whose size
3654 is not necessarily related to the situation.
3656 If the vector is in a keymap, ELT_PREFIX is a prefix key which
3657 leads to this keymap.
3659 If the vector is a chartable, ELT_PREFIX is the vector
3660 of bytes that lead to the character set or portion of a character
3661 set described by this chartable.
3663 If PARTIAL is nonzero, it means do not mention suppressed commands
3664 (that assumes the vector is in a keymap).
3666 SHADOW is a list of keymaps that shadow this map.
3667 If it is non-nil, then we look up the key in those maps
3668 and we don't mention it now if it is defined by any of them.
3670 ENTIRE_MAP is the keymap in which this vector appears.
3671 If the definition in effect in the whole map does not match
3672 the one in this vector, we ignore this one.
3674 ARGS is simply passed as the second argument to ELT_DESCRIBER.
3676 INDICES and CHAR_TABLE_DEPTH are ignored. They will be removed in
3677 the near future.
3679 KEYMAP_P is 1 if vector is known to be a keymap, so map ESC to M-.
3681 ARGS is simply passed as the second argument to ELT_DESCRIBER. */
3683 static void
3684 describe_vector (vector, prefix, args, elt_describer,
3685 partial, shadow, entire_map,
3686 indices, char_table_depth, keymap_p,
3687 mention_shadow)
3688 register Lisp_Object vector;
3689 Lisp_Object prefix, args;
3690 void (*elt_describer) P_ ((Lisp_Object, Lisp_Object));
3691 int partial;
3692 Lisp_Object shadow;
3693 Lisp_Object entire_map;
3694 int *indices;
3695 int char_table_depth;
3696 int keymap_p;
3697 int mention_shadow;
3699 Lisp_Object definition;
3700 Lisp_Object tem2;
3701 Lisp_Object elt_prefix = Qnil;
3702 int i;
3703 Lisp_Object suppress;
3704 Lisp_Object kludge;
3705 int first = 1;
3706 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
3707 /* Range of elements to be handled. */
3708 int from, to, stop;
3709 Lisp_Object character;
3710 int starting_i;
3712 suppress = Qnil;
3714 definition = Qnil;
3716 if (!keymap_p)
3718 /* Call Fkey_description first, to avoid GC bug for the other string. */
3719 if (!NILP (prefix) && XFASTINT (Flength (prefix)) > 0)
3721 Lisp_Object tem;
3722 tem = Fkey_description (prefix, Qnil);
3723 elt_prefix = concat2 (tem, build_string (" "));
3725 prefix = Qnil;
3728 /* This vector gets used to present single keys to Flookup_key. Since
3729 that is done once per vector element, we don't want to cons up a
3730 fresh vector every time. */
3731 kludge = Fmake_vector (make_number (1), Qnil);
3732 GCPRO4 (elt_prefix, prefix, definition, kludge);
3734 if (partial)
3735 suppress = intern ("suppress-keymap");
3737 from = 0;
3738 if (CHAR_TABLE_P (vector))
3739 stop = MAX_5_BYTE_CHAR + 1, to = MAX_CHAR + 1;
3740 else
3741 stop = to = XVECTOR (vector)->size;
3743 for (i = from; ; i++)
3745 int this_shadowed = 0;
3746 int range_beg, range_end;
3747 Lisp_Object val;
3749 QUIT;
3751 if (i == stop)
3753 if (i == to)
3754 break;
3755 stop = to;
3758 starting_i = i;
3760 if (CHAR_TABLE_P (vector))
3762 range_beg = i;
3763 i = stop - 1;
3764 val = char_table_ref_and_range (vector, range_beg, &range_beg, &i);
3766 else
3767 val = AREF (vector, i);
3768 definition = get_keyelt (val, 0);
3770 if (NILP (definition)) continue;
3772 /* Don't mention suppressed commands. */
3773 if (SYMBOLP (definition) && partial)
3775 Lisp_Object tem;
3777 tem = Fget (definition, suppress);
3779 if (!NILP (tem)) continue;
3782 character = make_number (starting_i);
3783 ASET (kludge, 0, character);
3785 /* If this binding is shadowed by some other map, ignore it. */
3786 if (!NILP (shadow))
3788 Lisp_Object tem;
3790 tem = shadow_lookup (shadow, kludge, Qt, 0);
3792 if (!NILP (tem))
3794 if (mention_shadow)
3795 this_shadowed = 1;
3796 else
3797 continue;
3801 /* Ignore this definition if it is shadowed by an earlier
3802 one in the same keymap. */
3803 if (!NILP (entire_map))
3805 Lisp_Object tem;
3807 tem = Flookup_key (entire_map, kludge, Qt);
3809 if (!EQ (tem, definition))
3810 continue;
3813 if (first)
3815 insert ("\n", 1);
3816 first = 0;
3819 /* Output the prefix that applies to every entry in this map. */
3820 if (!NILP (elt_prefix))
3821 insert1 (elt_prefix);
3823 insert1 (Fkey_description (kludge, prefix));
3825 /* Find all consecutive characters or rows that have the same
3826 definition. But, VECTOR is a char-table, we had better put a
3827 boundary between normal characters (-#x3FFF7F) and 8-bit
3828 characters (#x3FFF80-). */
3829 if (CHAR_TABLE_P (vector))
3831 while (i + 1 < stop
3832 && (range_beg = i + 1, range_end = stop - 1,
3833 val = char_table_ref_and_range (vector, range_beg,
3834 &range_beg, &range_end),
3835 tem2 = get_keyelt (val, 0),
3836 !NILP (tem2))
3837 && !NILP (Fequal (tem2, definition)))
3838 i = range_end;
3840 else
3841 while (i + 1 < stop
3842 && (tem2 = get_keyelt (AREF (vector, i + 1), 0),
3843 !NILP (tem2))
3844 && !NILP (Fequal (tem2, definition)))
3845 i++;
3847 /* If we have a range of more than one character,
3848 print where the range reaches to. */
3850 if (i != starting_i)
3852 insert (" .. ", 4);
3854 ASET (kludge, 0, make_number (i));
3856 if (!NILP (elt_prefix))
3857 insert1 (elt_prefix);
3859 insert1 (Fkey_description (kludge, prefix));
3862 /* Print a description of the definition of this character.
3863 elt_describer will take care of spacing out far enough
3864 for alignment purposes. */
3865 (*elt_describer) (definition, args);
3867 if (this_shadowed)
3869 SET_PT (PT - 1);
3870 insert_string (" (binding currently shadowed)");
3871 SET_PT (PT + 1);
3875 if (CHAR_TABLE_P (vector) && ! NILP (XCHAR_TABLE (vector)->defalt))
3877 if (!NILP (elt_prefix))
3878 insert1 (elt_prefix);
3879 insert ("default", 7);
3880 (*elt_describer) (XCHAR_TABLE (vector)->defalt, args);
3883 UNGCPRO;
3886 /* Apropos - finding all symbols whose names match a regexp. */
3887 static Lisp_Object apropos_predicate;
3888 static Lisp_Object apropos_accumulate;
3890 static void
3891 apropos_accum (symbol, string)
3892 Lisp_Object symbol, string;
3894 register Lisp_Object tem;
3896 tem = Fstring_match (string, Fsymbol_name (symbol), Qnil);
3897 if (!NILP (tem) && !NILP (apropos_predicate))
3898 tem = call1 (apropos_predicate, symbol);
3899 if (!NILP (tem))
3900 apropos_accumulate = Fcons (symbol, apropos_accumulate);
3903 DEFUN ("apropos-internal", Fapropos_internal, Sapropos_internal, 1, 2, 0,
3904 doc: /* Show all symbols whose names contain match for REGEXP.
3905 If optional 2nd arg PREDICATE is non-nil, (funcall PREDICATE SYMBOL) is done
3906 for each symbol and a symbol is mentioned only if that returns non-nil.
3907 Return list of symbols found. */)
3908 (regexp, predicate)
3909 Lisp_Object regexp, predicate;
3911 Lisp_Object tem;
3912 CHECK_STRING (regexp);
3913 apropos_predicate = predicate;
3914 apropos_accumulate = Qnil;
3915 map_obarray (Vobarray, apropos_accum, regexp);
3916 tem = Fsort (apropos_accumulate, Qstring_lessp);
3917 apropos_accumulate = Qnil;
3918 apropos_predicate = Qnil;
3919 return tem;
3922 void
3923 syms_of_keymap ()
3925 Qkeymap = intern_c_string ("keymap");
3926 staticpro (&Qkeymap);
3927 staticpro (&apropos_predicate);
3928 staticpro (&apropos_accumulate);
3929 apropos_predicate = Qnil;
3930 apropos_accumulate = Qnil;
3932 Qkeymap_canonicalize = intern_c_string ("keymap-canonicalize");
3933 staticpro (&Qkeymap_canonicalize);
3935 /* Now we are ready to set up this property, so we can
3936 create char tables. */
3937 Fput (Qkeymap, Qchar_table_extra_slots, make_number (0));
3939 /* Initialize the keymaps standardly used.
3940 Each one is the value of a Lisp variable, and is also
3941 pointed to by a C variable */
3943 global_map = Fmake_keymap (Qnil);
3944 Fset (intern_c_string ("global-map"), global_map);
3946 current_global_map = global_map;
3947 staticpro (&global_map);
3948 staticpro (&current_global_map);
3950 meta_map = Fmake_keymap (Qnil);
3951 Fset (intern_c_string ("esc-map"), meta_map);
3952 Ffset (intern_c_string ("ESC-prefix"), meta_map);
3954 control_x_map = Fmake_keymap (Qnil);
3955 Fset (intern_c_string ("ctl-x-map"), control_x_map);
3956 Ffset (intern_c_string ("Control-X-prefix"), control_x_map);
3958 exclude_keys
3959 = pure_cons (pure_cons (make_pure_c_string ("DEL"), make_pure_c_string ("\\d")),
3960 pure_cons (pure_cons (make_pure_c_string ("TAB"), make_pure_c_string ("\\t")),
3961 pure_cons (pure_cons (make_pure_c_string ("RET"), make_pure_c_string ("\\r")),
3962 pure_cons (pure_cons (make_pure_c_string ("ESC"), make_pure_c_string ("\\e")),
3963 pure_cons (pure_cons (make_pure_c_string ("SPC"), make_pure_c_string (" ")),
3964 Qnil)))));
3965 staticpro (&exclude_keys);
3967 DEFVAR_LISP ("define-key-rebound-commands", &Vdefine_key_rebound_commands,
3968 doc: /* List of commands given new key bindings recently.
3969 This is used for internal purposes during Emacs startup;
3970 don't alter it yourself. */);
3971 Vdefine_key_rebound_commands = Qt;
3973 DEFVAR_LISP ("minibuffer-local-map", &Vminibuffer_local_map,
3974 doc: /* Default keymap to use when reading from the minibuffer. */);
3975 Vminibuffer_local_map = Fmake_sparse_keymap (Qnil);
3977 DEFVAR_LISP ("minibuffer-local-ns-map", &Vminibuffer_local_ns_map,
3978 doc: /* Local keymap for the minibuffer when spaces are not allowed. */);
3979 Vminibuffer_local_ns_map = Fmake_sparse_keymap (Qnil);
3980 Fset_keymap_parent (Vminibuffer_local_ns_map, Vminibuffer_local_map);
3982 DEFVAR_LISP ("minibuffer-local-completion-map", &Vminibuffer_local_completion_map,
3983 doc: /* Local keymap for minibuffer input with completion. */);
3984 Vminibuffer_local_completion_map = Fmake_sparse_keymap (Qnil);
3985 Fset_keymap_parent (Vminibuffer_local_completion_map, Vminibuffer_local_map);
3987 DEFVAR_LISP ("minibuffer-local-filename-completion-map",
3988 &Vminibuffer_local_filename_completion_map,
3989 doc: /* Local keymap for minibuffer input with completion for filenames. */);
3990 Vminibuffer_local_filename_completion_map = Fmake_sparse_keymap (Qnil);
3991 Fset_keymap_parent (Vminibuffer_local_filename_completion_map,
3992 Vminibuffer_local_completion_map);
3995 DEFVAR_LISP ("minibuffer-local-must-match-map", &Vminibuffer_local_must_match_map,
3996 doc: /* Local keymap for minibuffer input with completion, for exact match. */);
3997 Vminibuffer_local_must_match_map = Fmake_sparse_keymap (Qnil);
3998 Fset_keymap_parent (Vminibuffer_local_must_match_map,
3999 Vminibuffer_local_completion_map);
4001 DEFVAR_LISP ("minibuffer-local-filename-must-match-map",
4002 &Vminibuffer_local_filename_must_match_map,
4003 doc: /* Local keymap for minibuffer input with completion for filenames with exact match. */);
4004 Vminibuffer_local_filename_must_match_map = Fmake_sparse_keymap (Qnil);
4005 Fset_keymap_parent (Vminibuffer_local_filename_must_match_map,
4006 Vminibuffer_local_must_match_map);
4008 DEFVAR_LISP ("minor-mode-map-alist", &Vminor_mode_map_alist,
4009 doc: /* Alist of keymaps to use for minor modes.
4010 Each element looks like (VARIABLE . KEYMAP); KEYMAP is used to read
4011 key sequences and look up bindings if VARIABLE's value is non-nil.
4012 If two active keymaps bind the same key, the keymap appearing earlier
4013 in the list takes precedence. */);
4014 Vminor_mode_map_alist = Qnil;
4016 DEFVAR_LISP ("minor-mode-overriding-map-alist", &Vminor_mode_overriding_map_alist,
4017 doc: /* Alist of keymaps to use for minor modes, in current major mode.
4018 This variable is an alist just like `minor-mode-map-alist', and it is
4019 used the same way (and before `minor-mode-map-alist'); however,
4020 it is provided for major modes to bind locally. */);
4021 Vminor_mode_overriding_map_alist = Qnil;
4023 DEFVAR_LISP ("emulation-mode-map-alists", &Vemulation_mode_map_alists,
4024 doc: /* List of keymap alists to use for emulations modes.
4025 It is intended for modes or packages using multiple minor-mode keymaps.
4026 Each element is a keymap alist just like `minor-mode-map-alist', or a
4027 symbol with a variable binding which is a keymap alist, and it is used
4028 the same way. The "active" keymaps in each alist are used before
4029 `minor-mode-map-alist' and `minor-mode-overriding-map-alist'. */);
4030 Vemulation_mode_map_alists = Qnil;
4032 DEFVAR_LISP ("where-is-preferred-modifier", &Vwhere_is_preferred_modifier,
4033 doc: /* Preferred modifier to use for `where-is'.
4034 When a single binding is requested, `where-is' will return one that
4035 uses this modifier if possible. If nil, or if no such binding exists,
4036 bindings using keys without modifiers (or only with meta) will be
4037 preferred. */);
4038 Vwhere_is_preferred_modifier = Qnil;
4039 where_is_preferred_modifier = 0;
4041 staticpro (&Vmouse_events);
4042 Vmouse_events = pure_cons (intern_c_string ("menu-bar"),
4043 pure_cons (intern_c_string ("tool-bar"),
4044 pure_cons (intern_c_string ("header-line"),
4045 pure_cons (intern_c_string ("mode-line"),
4046 pure_cons (intern_c_string ("mouse-1"),
4047 pure_cons (intern_c_string ("mouse-2"),
4048 pure_cons (intern_c_string ("mouse-3"),
4049 pure_cons (intern_c_string ("mouse-4"),
4050 pure_cons (intern_c_string ("mouse-5"),
4051 Qnil)))))))));
4054 Qsingle_key_description = intern_c_string ("single-key-description");
4055 staticpro (&Qsingle_key_description);
4057 Qkey_description = intern_c_string ("key-description");
4058 staticpro (&Qkey_description);
4060 Qkeymapp = intern_c_string ("keymapp");
4061 staticpro (&Qkeymapp);
4063 Qnon_ascii = intern_c_string ("non-ascii");
4064 staticpro (&Qnon_ascii);
4066 Qmenu_item = intern_c_string ("menu-item");
4067 staticpro (&Qmenu_item);
4069 Qremap = intern_c_string ("remap");
4070 staticpro (&Qremap);
4072 QCadvertised_binding = intern_c_string (":advertised-binding");
4073 staticpro (&QCadvertised_binding);
4075 command_remapping_vector = Fmake_vector (make_number (2), Qremap);
4076 staticpro (&command_remapping_vector);
4078 where_is_cache_keymaps = Qt;
4079 where_is_cache = Qnil;
4080 staticpro (&where_is_cache);
4081 staticpro (&where_is_cache_keymaps);
4083 defsubr (&Skeymapp);
4084 defsubr (&Skeymap_parent);
4085 defsubr (&Skeymap_prompt);
4086 defsubr (&Sset_keymap_parent);
4087 defsubr (&Smake_keymap);
4088 defsubr (&Smake_sparse_keymap);
4089 defsubr (&Smap_keymap_internal);
4090 defsubr (&Smap_keymap);
4091 defsubr (&Scopy_keymap);
4092 defsubr (&Scommand_remapping);
4093 defsubr (&Skey_binding);
4094 defsubr (&Slocal_key_binding);
4095 defsubr (&Sglobal_key_binding);
4096 defsubr (&Sminor_mode_key_binding);
4097 defsubr (&Sdefine_key);
4098 defsubr (&Slookup_key);
4099 defsubr (&Sdefine_prefix_command);
4100 defsubr (&Suse_global_map);
4101 defsubr (&Suse_local_map);
4102 defsubr (&Scurrent_local_map);
4103 defsubr (&Scurrent_global_map);
4104 defsubr (&Scurrent_minor_mode_maps);
4105 defsubr (&Scurrent_active_maps);
4106 defsubr (&Saccessible_keymaps);
4107 defsubr (&Skey_description);
4108 defsubr (&Sdescribe_vector);
4109 defsubr (&Ssingle_key_description);
4110 defsubr (&Stext_char_description);
4111 defsubr (&Swhere_is_internal);
4112 defsubr (&Sdescribe_buffer_bindings);
4113 defsubr (&Sapropos_internal);
4116 void
4117 keys_of_keymap ()
4119 initial_define_key (global_map, 033, "ESC-prefix");
4120 initial_define_key (global_map, Ctl ('X'), "Control-X-prefix");
4123 /* arch-tag: 6dd15c26-7cf1-41c4-b904-f42f7ddda463
4124 (do not change this comment) */