Fix bug #9221 with memory leak in bidi display.
[bpt/emacs.git] / src / keymap.c
1 /* Manipulation of keymaps
2 Copyright (C) 1985-1988, 1993-1995, 1998-2011 Free Software Foundation, Inc.
3
4 This file is part of GNU Emacs.
5
6 GNU Emacs is free software: you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation, either version 3 of the License, or
9 (at your option) any later version.
10
11 GNU Emacs is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
18
19 /* Old BUGS:
20 - [M-C-a] != [?\M-\C-a]
21 - [M-f2] != [?\e f2].
22 - (define-key map [menu-bar foo] <bla>) does not always place <bla>
23 at the head of the menu (if `foo' was already bound earlier and
24 then unbound, for example).
25 TODO:
26 - allow many more Meta -> ESC mappings (like Hyper -> C-e for Emacspeak)
27 - Think about the various defaulting that's currently hard-coded in
28 keyboard.c (uppercase->lowercase, char->charset, button-events, ...)
29 and make it more generic. Maybe we should allow mappings of the
30 form (PREDICATE . BINDING) as generalization of the default binding,
31 tho probably a cleaner way to attack this is to allow functional
32 keymaps (i.e. keymaps that are implemented as functions that implement
33 a few different methods like `lookup', `map', ...).
34 - Make [a] equivalent to [?a].
35 BEWARE:
36 - map-keymap should work meaningfully even if entries are added/removed
37 to the keymap while iterating through it:
38 start - removed <= visited <= start + added
39 */
40
41 #include <config.h>
42 #include <stdio.h>
43 #include <setjmp.h>
44 #include "lisp.h"
45 #include "commands.h"
46 #include "buffer.h"
47 #include "character.h"
48 #include "charset.h"
49 #include "keyboard.h"
50 #include "frame.h"
51 #include "termhooks.h"
52 #include "blockinput.h"
53 #include "puresize.h"
54 #include "intervals.h"
55 #include "keymap.h"
56 #include "window.h"
57
58 /* Actually allocate storage for these variables */
59
60 Lisp_Object current_global_map; /* Current global keymap */
61
62 Lisp_Object global_map; /* default global key bindings */
63
64 Lisp_Object meta_map; /* The keymap used for globally bound
65 ESC-prefixed default commands */
66
67 Lisp_Object control_x_map; /* The keymap used for globally bound
68 C-x-prefixed default commands */
69
70 /* The keymap used by the minibuf for local
71 bindings when spaces are allowed in the
72 minibuf */
73
74 /* The keymap used by the minibuf for local
75 bindings when spaces are not encouraged
76 in the minibuf */
77
78 /* keymap used for minibuffers when doing completion */
79 /* keymap used for minibuffers when doing completion and require a match */
80 static Lisp_Object Qkeymapp, Qnon_ascii;
81 Lisp_Object Qkeymap, Qmenu_item, Qremap;
82 static Lisp_Object QCadvertised_binding;
83
84 /* Alist of elements like (DEL . "\d"). */
85 static Lisp_Object exclude_keys;
86
87 /* Pre-allocated 2-element vector for Fcommand_remapping to use. */
88 static Lisp_Object command_remapping_vector;
89
90 /* Hash table used to cache a reverse-map to speed up calls to where-is. */
91 static Lisp_Object where_is_cache;
92 /* Which keymaps are reverse-stored in the cache. */
93 static Lisp_Object where_is_cache_keymaps;
94
95 static Lisp_Object Flookup_key (Lisp_Object, Lisp_Object, Lisp_Object);
96 static Lisp_Object store_in_keymap (Lisp_Object, Lisp_Object, Lisp_Object);
97
98 static Lisp_Object define_as_prefix (Lisp_Object, Lisp_Object);
99 static void describe_command (Lisp_Object, Lisp_Object);
100 static void describe_translation (Lisp_Object, Lisp_Object);
101 static void describe_map (Lisp_Object, Lisp_Object,
102 void (*) (Lisp_Object, Lisp_Object),
103 int, Lisp_Object, Lisp_Object*, int, int);
104 static void describe_vector (Lisp_Object, Lisp_Object, Lisp_Object,
105 void (*) (Lisp_Object, Lisp_Object), int,
106 Lisp_Object, Lisp_Object, int, int);
107 static void silly_event_symbol_error (Lisp_Object);
108 static Lisp_Object get_keyelt (Lisp_Object, int);
109 \f
110 /* Keymap object support - constructors and predicates. */
111
112 DEFUN ("make-keymap", Fmake_keymap, Smake_keymap, 0, 1, 0,
113 doc: /* Construct and return a new keymap, of the form (keymap CHARTABLE . ALIST).
114 CHARTABLE is a char-table that holds the bindings for all characters
115 without modifiers. All entries in it are initially nil, meaning
116 "command undefined". ALIST is an assoc-list which holds bindings for
117 function keys, mouse events, and any other things that appear in the
118 input stream. Initially, ALIST is nil.
119
120 The optional arg STRING supplies a menu name for the keymap
121 in case you use it as a menu with `x-popup-menu'. */)
122 (Lisp_Object string)
123 {
124 Lisp_Object tail;
125 if (!NILP (string))
126 tail = Fcons (string, Qnil);
127 else
128 tail = Qnil;
129 return Fcons (Qkeymap,
130 Fcons (Fmake_char_table (Qkeymap, Qnil), tail));
131 }
132
133 DEFUN ("make-sparse-keymap", Fmake_sparse_keymap, Smake_sparse_keymap, 0, 1, 0,
134 doc: /* Construct and return a new sparse keymap.
135 Its car is `keymap' and its cdr is an alist of (CHAR . DEFINITION),
136 which binds the character CHAR to DEFINITION, or (SYMBOL . DEFINITION),
137 which binds the function key or mouse event SYMBOL to DEFINITION.
138 Initially the alist is nil.
139
140 The optional arg STRING supplies a menu name for the keymap
141 in case you use it as a menu with `x-popup-menu'. */)
142 (Lisp_Object string)
143 {
144 if (!NILP (string))
145 {
146 if (!NILP (Vpurify_flag))
147 string = Fpurecopy (string);
148 return Fcons (Qkeymap, Fcons (string, Qnil));
149 }
150 return Fcons (Qkeymap, Qnil);
151 }
152
153 /* This function is used for installing the standard key bindings
154 at initialization time.
155
156 For example:
157
158 initial_define_key (control_x_map, Ctl('X'), "exchange-point-and-mark"); */
159
160 void
161 initial_define_key (Lisp_Object keymap, int key, const char *defname)
162 {
163 store_in_keymap (keymap, make_number (key), intern_c_string (defname));
164 }
165
166 void
167 initial_define_lispy_key (Lisp_Object keymap, const char *keyname, const char *defname)
168 {
169 store_in_keymap (keymap, intern_c_string (keyname), intern_c_string (defname));
170 }
171
172 DEFUN ("keymapp", Fkeymapp, Skeymapp, 1, 1, 0,
173 doc: /* Return t if OBJECT is a keymap.
174
175 A keymap is a list (keymap . ALIST),
176 or a symbol whose function definition is itself a keymap.
177 ALIST elements look like (CHAR . DEFN) or (SYMBOL . DEFN);
178 a vector of densely packed bindings for small character codes
179 is also allowed as an element. */)
180 (Lisp_Object object)
181 {
182 return (KEYMAPP (object) ? Qt : Qnil);
183 }
184
185 DEFUN ("keymap-prompt", Fkeymap_prompt, Skeymap_prompt, 1, 1, 0,
186 doc: /* Return the prompt-string of a keymap MAP.
187 If non-nil, the prompt is shown in the echo-area
188 when reading a key-sequence to be looked-up in this keymap. */)
189 (Lisp_Object map)
190 {
191 map = get_keymap (map, 0, 0);
192 while (CONSP (map))
193 {
194 Lisp_Object tem = XCAR (map);
195 if (STRINGP (tem))
196 return tem;
197 else if (KEYMAPP (tem))
198 {
199 tem = Fkeymap_prompt (tem);
200 if (!NILP (tem))
201 return tem;
202 }
203 map = XCDR (map);
204 }
205 return Qnil;
206 }
207
208 /* Check that OBJECT is a keymap (after dereferencing through any
209 symbols). If it is, return it.
210
211 If AUTOLOAD is non-zero and OBJECT is a symbol whose function value
212 is an autoload form, do the autoload and try again.
213 If AUTOLOAD is nonzero, callers must assume GC is possible.
214
215 If the map needs to be autoloaded, but AUTOLOAD is zero (and ERROR
216 is zero as well), return Qt.
217
218 ERROR_IF_NOT_KEYMAP controls how we respond if OBJECT isn't a keymap.
219 If ERROR_IF_NOT_KEYMAP is non-zero, signal an error; otherwise,
220 just return Qnil.
221
222 Note that most of the time, we don't want to pursue autoloads.
223 Functions like Faccessible_keymaps which scan entire keymap trees
224 shouldn't load every autoloaded keymap. I'm not sure about this,
225 but it seems to me that only read_key_sequence, Flookup_key, and
226 Fdefine_key should cause keymaps to be autoloaded.
227
228 This function can GC when AUTOLOAD is non-zero, because it calls
229 do_autoload which can GC. */
230
231 Lisp_Object
232 get_keymap (Lisp_Object object, int error_if_not_keymap, int autoload)
233 {
234 Lisp_Object tem;
235
236 autoload_retry:
237 if (NILP (object))
238 goto end;
239 if (CONSP (object) && EQ (XCAR (object), Qkeymap))
240 return object;
241
242 tem = indirect_function (object);
243 if (CONSP (tem))
244 {
245 if (EQ (XCAR (tem), Qkeymap))
246 return tem;
247
248 /* Should we do an autoload? Autoload forms for keymaps have
249 Qkeymap as their fifth element. */
250 if ((autoload || !error_if_not_keymap) && EQ (XCAR (tem), Qautoload)
251 && SYMBOLP (object))
252 {
253 Lisp_Object tail;
254
255 tail = Fnth (make_number (4), tem);
256 if (EQ (tail, Qkeymap))
257 {
258 if (autoload)
259 {
260 struct gcpro gcpro1, gcpro2;
261
262 GCPRO2 (tem, object);
263 do_autoload (tem, object);
264 UNGCPRO;
265
266 goto autoload_retry;
267 }
268 else
269 return object;
270 }
271 }
272 }
273
274 end:
275 if (error_if_not_keymap)
276 wrong_type_argument (Qkeymapp, object);
277 return Qnil;
278 }
279 \f
280 /* Return the parent map of KEYMAP, or nil if it has none.
281 We assume that KEYMAP is a valid keymap. */
282
283 static Lisp_Object
284 keymap_parent (Lisp_Object keymap, int autoload)
285 {
286 Lisp_Object list;
287
288 keymap = get_keymap (keymap, 1, autoload);
289
290 /* Skip past the initial element `keymap'. */
291 list = XCDR (keymap);
292 for (; CONSP (list); list = XCDR (list))
293 {
294 /* See if there is another `keymap'. */
295 if (KEYMAPP (list))
296 return list;
297 }
298
299 return get_keymap (list, 0, autoload);
300 }
301
302 DEFUN ("keymap-parent", Fkeymap_parent, Skeymap_parent, 1, 1, 0,
303 doc: /* Return the parent keymap of KEYMAP.
304 If KEYMAP has no parent, return nil. */)
305 (Lisp_Object keymap)
306 {
307 return keymap_parent (keymap, 1);
308 }
309
310 /* Check whether MAP is one of MAPS parents. */
311 static int
312 keymap_memberp (Lisp_Object map, Lisp_Object maps)
313 {
314 if (NILP (map)) return 0;
315 while (KEYMAPP (maps) && !EQ (map, maps))
316 maps = keymap_parent (maps, 0);
317 return (EQ (map, maps));
318 }
319
320 /* Set the parent keymap of MAP to PARENT. */
321
322 DEFUN ("set-keymap-parent", Fset_keymap_parent, Sset_keymap_parent, 2, 2, 0,
323 doc: /* Modify KEYMAP to set its parent map to PARENT.
324 Return PARENT. PARENT should be nil or another keymap. */)
325 (Lisp_Object keymap, Lisp_Object parent)
326 {
327 Lisp_Object list, prev;
328 struct gcpro gcpro1, gcpro2;
329
330 /* Flush any reverse-map cache. */
331 where_is_cache = Qnil; where_is_cache_keymaps = Qt;
332
333 GCPRO2 (keymap, parent);
334 keymap = get_keymap (keymap, 1, 1);
335
336 if (!NILP (parent))
337 {
338 parent = get_keymap (parent, 1, 0);
339
340 /* Check for cycles. */
341 if (keymap_memberp (keymap, parent))
342 error ("Cyclic keymap inheritance");
343 }
344
345 /* Skip past the initial element `keymap'. */
346 prev = keymap;
347 while (1)
348 {
349 list = XCDR (prev);
350 /* If there is a parent keymap here, replace it.
351 If we came to the end, add the parent in PREV. */
352 if (!CONSP (list) || KEYMAPP (list))
353 {
354 CHECK_IMPURE (prev);
355 XSETCDR (prev, parent);
356 RETURN_UNGCPRO (parent);
357 }
358 prev = list;
359 }
360 }
361 \f
362
363 /* Look up IDX in MAP. IDX may be any sort of event.
364 Note that this does only one level of lookup; IDX must be a single
365 event, not a sequence.
366
367 MAP must be a keymap or a list of keymaps.
368
369 If T_OK is non-zero, bindings for Qt are treated as default
370 bindings; any key left unmentioned by other tables and bindings is
371 given the binding of Qt.
372
373 If T_OK is zero, bindings for Qt are not treated specially.
374
375 If NOINHERIT, don't accept a subkeymap found in an inherited keymap.
376
377 Returns Qunbound if no binding was found (and returns Qnil if a nil
378 binding was found). */
379
380 static Lisp_Object
381 access_keymap_1 (Lisp_Object map, Lisp_Object idx, int t_ok, int noinherit, int autoload)
382 {
383 /* If idx is a list (some sort of mouse click, perhaps?),
384 the index we want to use is the car of the list, which
385 ought to be a symbol. */
386 idx = EVENT_HEAD (idx);
387
388 /* If idx is a symbol, it might have modifiers, which need to
389 be put in the canonical order. */
390 if (SYMBOLP (idx))
391 idx = reorder_modifiers (idx);
392 else if (INTEGERP (idx))
393 /* Clobber the high bits that can be present on a machine
394 with more than 24 bits of integer. */
395 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
396
397 /* Handle the special meta -> esc mapping. */
398 if (INTEGERP (idx) && XFASTINT (idx) & meta_modifier)
399 {
400 /* See if there is a meta-map. If there's none, there is
401 no binding for IDX, unless a default binding exists in MAP. */
402 struct gcpro gcpro1;
403 Lisp_Object event_meta_binding, event_meta_map;
404 GCPRO1 (map);
405 /* A strange value in which Meta is set would cause
406 infinite recursion. Protect against that. */
407 if (XINT (meta_prefix_char) & CHAR_META)
408 meta_prefix_char = make_number (27);
409 event_meta_binding = access_keymap_1 (map, meta_prefix_char, t_ok,
410 noinherit, autoload);
411 event_meta_map = get_keymap (event_meta_binding, 0, autoload);
412 UNGCPRO;
413 if (CONSP (event_meta_map))
414 {
415 map = event_meta_map;
416 idx = make_number (XFASTINT (idx) & ~meta_modifier);
417 }
418 else if (t_ok)
419 /* Set IDX to t, so that we only find a default binding. */
420 idx = Qt;
421 else
422 /* An explicit nil binding, or no binding at all. */
423 return NILP (event_meta_binding) ? Qnil : Qunbound;
424 }
425
426 /* t_binding is where we put a default binding that applies,
427 to use in case we do not find a binding specifically
428 for this key sequence. */
429 {
430 Lisp_Object tail;
431 Lisp_Object t_binding = Qunbound;
432 Lisp_Object retval = Qunbound;
433 Lisp_Object retval_tail = Qnil;
434 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
435
436 GCPRO4 (tail, idx, t_binding, retval);
437
438 for (tail = (CONSP (map) && EQ (Qkeymap, XCAR (map))) ? XCDR (map) : map;
439 (CONSP (tail)
440 || (tail = get_keymap (tail, 0, autoload), CONSP (tail)));
441 tail = XCDR (tail))
442 {
443 /* Qunbound in VAL means we have found no binding. */
444 Lisp_Object val = Qunbound;
445 Lisp_Object binding = XCAR (tail);
446 Lisp_Object submap = get_keymap (binding, 0, autoload);
447
448 if (EQ (binding, Qkeymap))
449 {
450 if (noinherit || NILP (retval))
451 /* If NOINHERIT, stop here, the rest is inherited. */
452 break;
453 else if (!EQ (retval, Qunbound))
454 {
455 Lisp_Object parent_entry;
456 eassert (KEYMAPP (retval));
457 parent_entry
458 = get_keymap (access_keymap_1 (tail, idx,
459 t_ok, 0, autoload),
460 0, autoload);
461 if (KEYMAPP (parent_entry))
462 {
463 if (CONSP (retval_tail))
464 XSETCDR (retval_tail, parent_entry);
465 else
466 {
467 retval_tail = Fcons (retval, parent_entry);
468 retval = Fcons (Qkeymap, retval_tail);
469 }
470 }
471 break;
472 }
473 }
474 else if (CONSP (submap))
475 {
476 val = access_keymap_1 (submap, idx, t_ok, noinherit, autoload);
477 }
478 else if (CONSP (binding))
479 {
480 Lisp_Object key = XCAR (binding);
481
482 if (EQ (key, idx))
483 val = XCDR (binding);
484 else if (t_ok && EQ (key, Qt))
485 {
486 t_binding = XCDR (binding);
487 t_ok = 0;
488 }
489 }
490 else if (VECTORP (binding))
491 {
492 if (INTEGERP (idx) && XFASTINT (idx) < ASIZE (binding))
493 val = AREF (binding, XFASTINT (idx));
494 }
495 else if (CHAR_TABLE_P (binding))
496 {
497 /* Character codes with modifiers
498 are not included in a char-table.
499 All character codes without modifiers are included. */
500 if (INTEGERP (idx) && (XFASTINT (idx) & CHAR_MODIFIER_MASK) == 0)
501 {
502 val = Faref (binding, idx);
503 /* `nil' has a special meaning for char-tables, so
504 we use something else to record an explicitly
505 unbound entry. */
506 if (NILP (val))
507 val = Qunbound;
508 }
509 }
510
511 /* If we found a binding, clean it up and return it. */
512 if (!EQ (val, Qunbound))
513 {
514 if (EQ (val, Qt))
515 /* A Qt binding is just like an explicit nil binding
516 (i.e. it shadows any parent binding but not bindings in
517 keymaps of lower precedence). */
518 val = Qnil;
519
520 val = get_keyelt (val, autoload);
521
522 if (!KEYMAPP (val))
523 {
524 if (NILP (retval) || EQ (retval, Qunbound))
525 retval = val;
526 if (!NILP (val))
527 break; /* Shadows everything that follows. */
528 }
529 else if (NILP (retval) || EQ (retval, Qunbound))
530 retval = val;
531 else if (CONSP (retval_tail))
532 {
533 XSETCDR (retval_tail, Fcons (val, Qnil));
534 retval_tail = XCDR (retval_tail);
535 }
536 else
537 {
538 retval_tail = Fcons (val, Qnil);
539 retval = Fcons (Qkeymap, Fcons (retval, retval_tail));
540 }
541 }
542 QUIT;
543 }
544 UNGCPRO;
545 return EQ (Qunbound, retval) ? get_keyelt (t_binding, autoload) : retval;
546 }
547 }
548
549 Lisp_Object
550 access_keymap (Lisp_Object map, Lisp_Object idx,
551 int t_ok, int noinherit, int autoload)
552 {
553 Lisp_Object val = access_keymap_1 (map, idx, t_ok, noinherit, autoload);
554 return EQ (val, Qunbound) ? Qnil : val;
555 }
556
557 static void
558 map_keymap_item (map_keymap_function_t fun, Lisp_Object args, Lisp_Object key, Lisp_Object val, void *data)
559 {
560 if (EQ (val, Qt))
561 val = Qnil;
562 (*fun) (key, val, args, data);
563 }
564
565 static void
566 map_keymap_char_table_item (Lisp_Object args, Lisp_Object key, Lisp_Object val)
567 {
568 if (!NILP (val))
569 {
570 map_keymap_function_t fun
571 = (map_keymap_function_t) XSAVE_VALUE (XCAR (args))->pointer;
572 args = XCDR (args);
573 /* If the key is a range, make a copy since map_char_table modifies
574 it in place. */
575 if (CONSP (key))
576 key = Fcons (XCAR (key), XCDR (key));
577 map_keymap_item (fun, XCDR (args), key, val,
578 XSAVE_VALUE (XCAR (args))->pointer);
579 }
580 }
581
582 /* Call FUN for every binding in MAP and stop at (and return) the parent.
583 FUN is called with 4 arguments: FUN (KEY, BINDING, ARGS, DATA). */
584 static Lisp_Object
585 map_keymap_internal (Lisp_Object map,
586 map_keymap_function_t fun,
587 Lisp_Object args,
588 void *data)
589 {
590 struct gcpro gcpro1, gcpro2, gcpro3;
591 Lisp_Object tail
592 = (CONSP (map) && EQ (Qkeymap, XCAR (map))) ? XCDR (map) : map;
593
594 GCPRO3 (map, args, tail);
595 for (; CONSP (tail) && !EQ (Qkeymap, XCAR (tail)); tail = XCDR (tail))
596 {
597 Lisp_Object binding = XCAR (tail);
598
599 if (KEYMAPP (binding)) /* An embedded parent. */
600 break;
601 else if (CONSP (binding))
602 map_keymap_item (fun, args, XCAR (binding), XCDR (binding), data);
603 else if (VECTORP (binding))
604 {
605 /* Loop over the char values represented in the vector. */
606 int len = ASIZE (binding);
607 int c;
608 for (c = 0; c < len; c++)
609 {
610 Lisp_Object character;
611 XSETFASTINT (character, c);
612 map_keymap_item (fun, args, character, AREF (binding, c), data);
613 }
614 }
615 else if (CHAR_TABLE_P (binding))
616 {
617 map_char_table (map_keymap_char_table_item, Qnil, binding,
618 Fcons (make_save_value ((void *) fun, 0),
619 Fcons (make_save_value (data, 0),
620 args)));
621 }
622 }
623 UNGCPRO;
624 return tail;
625 }
626
627 static void
628 map_keymap_call (Lisp_Object key, Lisp_Object val, Lisp_Object fun, void *dummy)
629 {
630 call2 (fun, key, val);
631 }
632
633 /* Same as map_keymap_internal, but traverses parent keymaps as well.
634 A non-zero AUTOLOAD indicates that autoloaded keymaps should be loaded. */
635 void
636 map_keymap (Lisp_Object map, map_keymap_function_t fun, Lisp_Object args, void *data, int autoload)
637 {
638 struct gcpro gcpro1;
639 GCPRO1 (args);
640 map = get_keymap (map, 1, autoload);
641 while (CONSP (map))
642 {
643 if (KEYMAPP (XCAR (map)))
644 {
645 map_keymap (XCAR (map), fun, args, data, autoload);
646 map = XCDR (map);
647 }
648 else
649 map = map_keymap_internal (map, fun, args, data);
650 if (!CONSP (map))
651 map = get_keymap (map, 0, autoload);
652 }
653 UNGCPRO;
654 }
655
656 static Lisp_Object Qkeymap_canonicalize;
657
658 /* Same as map_keymap, but does it right, properly eliminating duplicate
659 bindings due to inheritance. */
660 void
661 map_keymap_canonical (Lisp_Object map, map_keymap_function_t fun, Lisp_Object args, void *data)
662 {
663 struct gcpro gcpro1;
664 GCPRO1 (args);
665 /* map_keymap_canonical may be used from redisplay (e.g. when building menus)
666 so be careful to ignore errors and to inhibit redisplay. */
667 map = safe_call1 (Qkeymap_canonicalize, map);
668 /* No need to use `map_keymap' here because canonical map has no parent. */
669 map_keymap_internal (map, fun, args, data);
670 UNGCPRO;
671 }
672
673 DEFUN ("map-keymap-internal", Fmap_keymap_internal, Smap_keymap_internal, 2, 2, 0,
674 doc: /* Call FUNCTION once for each event binding in KEYMAP.
675 FUNCTION is called with two arguments: the event that is bound, and
676 the definition it is bound to. The event may be a character range.
677 If KEYMAP has a parent, this function returns it without processing it. */)
678 (Lisp_Object function, Lisp_Object keymap)
679 {
680 struct gcpro gcpro1;
681 GCPRO1 (function);
682 keymap = get_keymap (keymap, 1, 1);
683 keymap = map_keymap_internal (keymap, map_keymap_call, function, NULL);
684 UNGCPRO;
685 return keymap;
686 }
687
688 DEFUN ("map-keymap", Fmap_keymap, Smap_keymap, 2, 3, 0,
689 doc: /* Call FUNCTION once for each event binding in KEYMAP.
690 FUNCTION is called with two arguments: the event that is bound, and
691 the definition it is bound to. The event may be a character range.
692
693 If KEYMAP has a parent, the parent's bindings are included as well.
694 This works recursively: if the parent has itself a parent, then the
695 grandparent's bindings are also included and so on.
696 usage: (map-keymap FUNCTION KEYMAP) */)
697 (Lisp_Object function, Lisp_Object keymap, Lisp_Object sort_first)
698 {
699 if (! NILP (sort_first))
700 return call2 (intern ("map-keymap-sorted"), function, keymap);
701
702 map_keymap (keymap, map_keymap_call, function, NULL, 1);
703 return Qnil;
704 }
705
706 /* Given OBJECT which was found in a slot in a keymap,
707 trace indirect definitions to get the actual definition of that slot.
708 An indirect definition is a list of the form
709 (KEYMAP . INDEX), where KEYMAP is a keymap or a symbol defined as one
710 and INDEX is the object to look up in KEYMAP to yield the definition.
711
712 Also if OBJECT has a menu string as the first element,
713 remove that. Also remove a menu help string as second element.
714
715 If AUTOLOAD is nonzero, load autoloadable keymaps
716 that are referred to with indirection.
717
718 This can GC because menu_item_eval_property calls Feval. */
719
720 static Lisp_Object
721 get_keyelt (Lisp_Object object, int autoload)
722 {
723 while (1)
724 {
725 if (!(CONSP (object)))
726 /* This is really the value. */
727 return object;
728
729 /* If the keymap contents looks like (keymap ...) or (lambda ...)
730 then use itself. */
731 else if (EQ (XCAR (object), Qkeymap) || EQ (XCAR (object), Qlambda))
732 return object;
733
734 /* If the keymap contents looks like (menu-item name . DEFN)
735 or (menu-item name DEFN ...) then use DEFN.
736 This is a new format menu item. */
737 else if (EQ (XCAR (object), Qmenu_item))
738 {
739 if (CONSP (XCDR (object)))
740 {
741 Lisp_Object tem;
742
743 object = XCDR (XCDR (object));
744 tem = object;
745 if (CONSP (object))
746 object = XCAR (object);
747
748 /* If there's a `:filter FILTER', apply FILTER to the
749 menu-item's definition to get the real definition to
750 use. */
751 for (; CONSP (tem) && CONSP (XCDR (tem)); tem = XCDR (tem))
752 if (EQ (XCAR (tem), QCfilter) && autoload)
753 {
754 Lisp_Object filter;
755 filter = XCAR (XCDR (tem));
756 filter = list2 (filter, list2 (Qquote, object));
757 object = menu_item_eval_property (filter);
758 break;
759 }
760 }
761 else
762 /* Invalid keymap. */
763 return object;
764 }
765
766 /* If the keymap contents looks like (STRING . DEFN), use DEFN.
767 Keymap alist elements like (CHAR MENUSTRING . DEFN)
768 will be used by HierarKey menus. */
769 else if (STRINGP (XCAR (object)))
770 {
771 object = XCDR (object);
772 /* Also remove a menu help string, if any,
773 following the menu item name. */
774 if (CONSP (object) && STRINGP (XCAR (object)))
775 object = XCDR (object);
776 /* Also remove the sublist that caches key equivalences, if any. */
777 if (CONSP (object) && CONSP (XCAR (object)))
778 {
779 Lisp_Object carcar;
780 carcar = XCAR (XCAR (object));
781 if (NILP (carcar) || VECTORP (carcar))
782 object = XCDR (object);
783 }
784 }
785
786 /* If the contents are (KEYMAP . ELEMENT), go indirect. */
787 else if (KEYMAPP (XCAR (object)))
788 error ("Wow, indirect keymap entry!!");
789 else
790 return object;
791 }
792 }
793
794 static Lisp_Object
795 store_in_keymap (Lisp_Object keymap, register Lisp_Object idx, Lisp_Object def)
796 {
797 /* Flush any reverse-map cache. */
798 where_is_cache = Qnil;
799 where_is_cache_keymaps = Qt;
800
801 if (EQ (idx, Qkeymap))
802 error ("`keymap' is reserved for embedded parent maps");
803
804 /* If we are preparing to dump, and DEF is a menu element
805 with a menu item indicator, copy it to ensure it is not pure. */
806 if (CONSP (def) && PURE_P (def)
807 && (EQ (XCAR (def), Qmenu_item) || STRINGP (XCAR (def))))
808 def = Fcons (XCAR (def), XCDR (def));
809
810 if (!CONSP (keymap) || !EQ (XCAR (keymap), Qkeymap))
811 error ("attempt to define a key in a non-keymap");
812
813 /* If idx is a cons, and the car part is a character, idx must be of
814 the form (FROM-CHAR . TO-CHAR). */
815 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
816 CHECK_CHARACTER_CDR (idx);
817 else
818 /* If idx is a list (some sort of mouse click, perhaps?),
819 the index we want to use is the car of the list, which
820 ought to be a symbol. */
821 idx = EVENT_HEAD (idx);
822
823 /* If idx is a symbol, it might have modifiers, which need to
824 be put in the canonical order. */
825 if (SYMBOLP (idx))
826 idx = reorder_modifiers (idx);
827 else if (INTEGERP (idx))
828 /* Clobber the high bits that can be present on a machine
829 with more than 24 bits of integer. */
830 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
831
832 /* Scan the keymap for a binding of idx. */
833 {
834 Lisp_Object tail;
835
836 /* The cons after which we should insert new bindings. If the
837 keymap has a table element, we record its position here, so new
838 bindings will go after it; this way, the table will stay
839 towards the front of the alist and character lookups in dense
840 keymaps will remain fast. Otherwise, this just points at the
841 front of the keymap. */
842 Lisp_Object insertion_point;
843
844 insertion_point = keymap;
845 for (tail = XCDR (keymap); CONSP (tail); tail = XCDR (tail))
846 {
847 Lisp_Object elt;
848
849 elt = XCAR (tail);
850 if (VECTORP (elt))
851 {
852 if (NATNUMP (idx) && XFASTINT (idx) < ASIZE (elt))
853 {
854 CHECK_IMPURE (elt);
855 ASET (elt, XFASTINT (idx), def);
856 return def;
857 }
858 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
859 {
860 int from = XFASTINT (XCAR (idx));
861 int to = XFASTINT (XCDR (idx));
862
863 if (to >= ASIZE (elt))
864 to = ASIZE (elt) - 1;
865 for (; from <= to; from++)
866 ASET (elt, from, def);
867 if (to == XFASTINT (XCDR (idx)))
868 /* We have defined all keys in IDX. */
869 return def;
870 }
871 insertion_point = tail;
872 }
873 else if (CHAR_TABLE_P (elt))
874 {
875 /* Character codes with modifiers
876 are not included in a char-table.
877 All character codes without modifiers are included. */
878 if (NATNUMP (idx) && !(XFASTINT (idx) & CHAR_MODIFIER_MASK))
879 {
880 Faset (elt, idx,
881 /* `nil' has a special meaning for char-tables, so
882 we use something else to record an explicitly
883 unbound entry. */
884 NILP (def) ? Qt : def);
885 return def;
886 }
887 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
888 {
889 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
890 return def;
891 }
892 insertion_point = tail;
893 }
894 else if (CONSP (elt))
895 {
896 if (EQ (Qkeymap, XCAR (elt)))
897 { /* A sub keymap. This might be due to a lookup that found
898 two matching bindings (maybe because of a sub keymap).
899 It almost never happens (since the second binding normally
900 only happens in the inherited part of the keymap), but
901 if it does, we want to update the sub-keymap since the
902 main one might be temporary (built by access_keymap). */
903 tail = insertion_point = elt;
904 }
905 else if (EQ (idx, XCAR (elt)))
906 {
907 CHECK_IMPURE (elt);
908 XSETCDR (elt, def);
909 return def;
910 }
911 else if (CONSP (idx) && CHARACTERP (XCAR (idx)))
912 {
913 int from = XFASTINT (XCAR (idx));
914 int to = XFASTINT (XCDR (idx));
915
916 if (from <= XFASTINT (XCAR (elt))
917 && to >= XFASTINT (XCAR (elt)))
918 {
919 XSETCDR (elt, def);
920 if (from == to)
921 return def;
922 }
923 }
924 }
925 else if (EQ (elt, Qkeymap))
926 /* If we find a 'keymap' symbol in the spine of KEYMAP,
927 then we must have found the start of a second keymap
928 being used as the tail of KEYMAP, and a binding for IDX
929 should be inserted before it. */
930 goto keymap_end;
931
932 QUIT;
933 }
934
935 keymap_end:
936 /* We have scanned the entire keymap, and not found a binding for
937 IDX. Let's add one. */
938 {
939 Lisp_Object elt;
940
941 if (CONSP (idx) && CHARACTERP (XCAR (idx)))
942 {
943 /* IDX specifies a range of characters, and not all of them
944 were handled yet, which means this keymap doesn't have a
945 char-table. So, we insert a char-table now. */
946 elt = Fmake_char_table (Qkeymap, Qnil);
947 Fset_char_table_range (elt, idx, NILP (def) ? Qt : def);
948 }
949 else
950 elt = Fcons (idx, def);
951 CHECK_IMPURE (insertion_point);
952 XSETCDR (insertion_point, Fcons (elt, XCDR (insertion_point)));
953 }
954 }
955
956 return def;
957 }
958
959 static Lisp_Object Fcopy_keymap (Lisp_Object);
960
961 static Lisp_Object
962 copy_keymap_item (Lisp_Object elt)
963 {
964 Lisp_Object res, tem;
965
966 if (!CONSP (elt))
967 return elt;
968
969 res = tem = elt;
970
971 /* Is this a new format menu item. */
972 if (EQ (XCAR (tem), Qmenu_item))
973 {
974 /* Copy cell with menu-item marker. */
975 res = elt = Fcons (XCAR (tem), XCDR (tem));
976 tem = XCDR (elt);
977 if (CONSP (tem))
978 {
979 /* Copy cell with menu-item name. */
980 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
981 elt = XCDR (elt);
982 tem = XCDR (elt);
983 }
984 if (CONSP (tem))
985 {
986 /* Copy cell with binding and if the binding is a keymap,
987 copy that. */
988 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
989 elt = XCDR (elt);
990 tem = XCAR (elt);
991 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
992 XSETCAR (elt, Fcopy_keymap (tem));
993 tem = XCDR (elt);
994 if (CONSP (tem) && CONSP (XCAR (tem)))
995 /* Delete cache for key equivalences. */
996 XSETCDR (elt, XCDR (tem));
997 }
998 }
999 else
1000 {
1001 /* It may be an old fomat menu item.
1002 Skip the optional menu string. */
1003 if (STRINGP (XCAR (tem)))
1004 {
1005 /* Copy the cell, since copy-alist didn't go this deep. */
1006 res = elt = Fcons (XCAR (tem), XCDR (tem));
1007 tem = XCDR (elt);
1008 /* Also skip the optional menu help string. */
1009 if (CONSP (tem) && STRINGP (XCAR (tem)))
1010 {
1011 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
1012 elt = XCDR (elt);
1013 tem = XCDR (elt);
1014 }
1015 /* There may also be a list that caches key equivalences.
1016 Just delete it for the new keymap. */
1017 if (CONSP (tem)
1018 && CONSP (XCAR (tem))
1019 && (NILP (XCAR (XCAR (tem)))
1020 || VECTORP (XCAR (XCAR (tem)))))
1021 {
1022 XSETCDR (elt, XCDR (tem));
1023 tem = XCDR (tem);
1024 }
1025 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
1026 XSETCDR (elt, Fcopy_keymap (tem));
1027 }
1028 else if (EQ (XCAR (tem), Qkeymap))
1029 res = Fcopy_keymap (elt);
1030 }
1031 return res;
1032 }
1033
1034 static void
1035 copy_keymap_1 (Lisp_Object chartable, Lisp_Object idx, Lisp_Object elt)
1036 {
1037 Fset_char_table_range (chartable, idx, copy_keymap_item (elt));
1038 }
1039
1040 DEFUN ("copy-keymap", Fcopy_keymap, Scopy_keymap, 1, 1, 0,
1041 doc: /* Return a copy of the keymap KEYMAP.
1042 The copy starts out with the same definitions of KEYMAP,
1043 but changing either the copy or KEYMAP does not affect the other.
1044 Any key definitions that are subkeymaps are recursively copied.
1045 However, a key definition which is a symbol whose definition is a keymap
1046 is not copied. */)
1047 (Lisp_Object keymap)
1048 {
1049 register Lisp_Object copy, tail;
1050 keymap = get_keymap (keymap, 1, 0);
1051 copy = tail = Fcons (Qkeymap, Qnil);
1052 keymap = XCDR (keymap); /* Skip the `keymap' symbol. */
1053
1054 while (CONSP (keymap) && !EQ (XCAR (keymap), Qkeymap))
1055 {
1056 Lisp_Object elt = XCAR (keymap);
1057 if (CHAR_TABLE_P (elt))
1058 {
1059 elt = Fcopy_sequence (elt);
1060 map_char_table (copy_keymap_1, Qnil, elt, elt);
1061 }
1062 else if (VECTORP (elt))
1063 {
1064 int i;
1065 elt = Fcopy_sequence (elt);
1066 for (i = 0; i < ASIZE (elt); i++)
1067 ASET (elt, i, copy_keymap_item (AREF (elt, i)));
1068 }
1069 else if (CONSP (elt))
1070 {
1071 if (EQ (XCAR (elt), Qkeymap))
1072 /* This is a sub keymap. */
1073 elt = Fcopy_keymap (elt);
1074 else
1075 elt = Fcons (XCAR (elt), copy_keymap_item (XCDR (elt)));
1076 }
1077 XSETCDR (tail, Fcons (elt, Qnil));
1078 tail = XCDR (tail);
1079 keymap = XCDR (keymap);
1080 }
1081 XSETCDR (tail, keymap);
1082 return copy;
1083 }
1084 \f
1085 /* Simple Keymap mutators and accessors. */
1086
1087 /* GC is possible in this function if it autoloads a keymap. */
1088
1089 DEFUN ("define-key", Fdefine_key, Sdefine_key, 3, 3, 0,
1090 doc: /* In KEYMAP, define key sequence KEY as DEF.
1091 KEYMAP is a keymap.
1092
1093 KEY is a string or a vector of symbols and characters, representing a
1094 sequence of keystrokes and events. Non-ASCII characters with codes
1095 above 127 (such as ISO Latin-1) can be represented by vectors.
1096 Two types of vector have special meanings:
1097 [remap COMMAND] remaps any key binding for COMMAND.
1098 [t] creates a default definition, which applies to any event with no
1099 other definition in KEYMAP.
1100
1101 DEF is anything that can be a key's definition:
1102 nil (means key is undefined in this keymap),
1103 a command (a Lisp function suitable for interactive calling),
1104 a string (treated as a keyboard macro),
1105 a keymap (to define a prefix key),
1106 a symbol (when the key is looked up, the symbol will stand for its
1107 function definition, which should at that time be one of the above,
1108 or another symbol whose function definition is used, etc.),
1109 a cons (STRING . DEFN), meaning that DEFN is the definition
1110 (DEFN should be a valid definition in its own right),
1111 or a cons (MAP . CHAR), meaning use definition of CHAR in keymap MAP,
1112 or an extended menu item definition.
1113 (See info node `(elisp)Extended Menu Items'.)
1114
1115 If KEYMAP is a sparse keymap with a binding for KEY, the existing
1116 binding is altered. If there is no binding for KEY, the new pair
1117 binding KEY to DEF is added at the front of KEYMAP. */)
1118 (Lisp_Object keymap, Lisp_Object key, Lisp_Object def)
1119 {
1120 register int idx;
1121 register Lisp_Object c;
1122 register Lisp_Object cmd;
1123 int metized = 0;
1124 int meta_bit;
1125 int length;
1126 struct gcpro gcpro1, gcpro2, gcpro3;
1127
1128 GCPRO3 (keymap, key, def);
1129 keymap = get_keymap (keymap, 1, 1);
1130
1131 CHECK_VECTOR_OR_STRING (key);
1132
1133 length = XFASTINT (Flength (key));
1134 if (length == 0)
1135 RETURN_UNGCPRO (Qnil);
1136
1137 if (SYMBOLP (def) && !EQ (Vdefine_key_rebound_commands, Qt))
1138 Vdefine_key_rebound_commands = Fcons (def, Vdefine_key_rebound_commands);
1139
1140 meta_bit = (VECTORP (key) || (STRINGP (key) && STRING_MULTIBYTE (key))
1141 ? meta_modifier : 0x80);
1142
1143 if (VECTORP (def) && ASIZE (def) > 0 && CONSP (AREF (def, 0)))
1144 { /* DEF is apparently an XEmacs-style keyboard macro. */
1145 Lisp_Object tmp = Fmake_vector (make_number (ASIZE (def)), Qnil);
1146 int i = ASIZE (def);
1147 while (--i >= 0)
1148 {
1149 Lisp_Object defi = AREF (def, i);
1150 if (CONSP (defi) && lucid_event_type_list_p (defi))
1151 defi = Fevent_convert_list (defi);
1152 ASET (tmp, i, defi);
1153 }
1154 def = tmp;
1155 }
1156
1157 idx = 0;
1158 while (1)
1159 {
1160 c = Faref (key, make_number (idx));
1161
1162 if (CONSP (c))
1163 {
1164 /* C may be a Lucid style event type list or a cons (FROM .
1165 TO) specifying a range of characters. */
1166 if (lucid_event_type_list_p (c))
1167 c = Fevent_convert_list (c);
1168 else if (CHARACTERP (XCAR (c)))
1169 CHECK_CHARACTER_CDR (c);
1170 }
1171
1172 if (SYMBOLP (c))
1173 silly_event_symbol_error (c);
1174
1175 if (INTEGERP (c)
1176 && (XINT (c) & meta_bit)
1177 && !metized)
1178 {
1179 c = meta_prefix_char;
1180 metized = 1;
1181 }
1182 else
1183 {
1184 if (INTEGERP (c))
1185 XSETINT (c, XINT (c) & ~meta_bit);
1186
1187 metized = 0;
1188 idx++;
1189 }
1190
1191 if (!INTEGERP (c) && !SYMBOLP (c)
1192 && (!CONSP (c)
1193 /* If C is a range, it must be a leaf. */
1194 || (INTEGERP (XCAR (c)) && idx != length)))
1195 message_with_string ("Key sequence contains invalid event %s", c, 1);
1196
1197 if (idx == length)
1198 RETURN_UNGCPRO (store_in_keymap (keymap, c, def));
1199
1200 cmd = access_keymap (keymap, c, 0, 1, 1);
1201
1202 /* If this key is undefined, make it a prefix. */
1203 if (NILP (cmd))
1204 cmd = define_as_prefix (keymap, c);
1205
1206 keymap = get_keymap (cmd, 0, 1);
1207 if (!CONSP (keymap))
1208 {
1209 const char *trailing_esc = ((EQ (c, meta_prefix_char) && metized)
1210 ? (idx == 0 ? "ESC" : " ESC")
1211 : "");
1212
1213 /* We must use Fkey_description rather than just passing key to
1214 error; key might be a vector, not a string. */
1215 error ("Key sequence %s starts with non-prefix key %s%s",
1216 SDATA (Fkey_description (key, Qnil)),
1217 SDATA (Fkey_description (Fsubstring (key, make_number (0),
1218 make_number (idx)),
1219 Qnil)),
1220 trailing_esc);
1221 }
1222 }
1223 }
1224
1225 /* This function may GC (it calls Fkey_binding). */
1226
1227 DEFUN ("command-remapping", Fcommand_remapping, Scommand_remapping, 1, 3, 0,
1228 doc: /* Return the remapping for command COMMAND.
1229 Returns nil if COMMAND is not remapped (or not a symbol).
1230
1231 If the optional argument POSITION is non-nil, it specifies a mouse
1232 position as returned by `event-start' and `event-end', and the
1233 remapping occurs in the keymaps associated with it. It can also be a
1234 number or marker, in which case the keymap properties at the specified
1235 buffer position instead of point are used. The KEYMAPS argument is
1236 ignored if POSITION is non-nil.
1237
1238 If the optional argument KEYMAPS is non-nil, it should be a list of
1239 keymaps to search for command remapping. Otherwise, search for the
1240 remapping in all currently active keymaps. */)
1241 (Lisp_Object command, Lisp_Object position, Lisp_Object keymaps)
1242 {
1243 if (!SYMBOLP (command))
1244 return Qnil;
1245
1246 ASET (command_remapping_vector, 1, command);
1247
1248 if (NILP (keymaps))
1249 command = Fkey_binding (command_remapping_vector, Qnil, Qt, position);
1250 else
1251 command = Flookup_key (Fcons (Qkeymap, keymaps),
1252 command_remapping_vector, Qnil);
1253 return INTEGERP (command) ? Qnil : command;
1254 }
1255
1256 /* Value is number if KEY is too long; nil if valid but has no definition. */
1257 /* GC is possible in this function. */
1258
1259 DEFUN ("lookup-key", Flookup_key, Slookup_key, 2, 3, 0,
1260 doc: /* In keymap KEYMAP, look up key sequence KEY. Return the definition.
1261 A value of nil means undefined. See doc of `define-key'
1262 for kinds of definitions.
1263
1264 A number as value means KEY is "too long";
1265 that is, characters or symbols in it except for the last one
1266 fail to be a valid sequence of prefix characters in KEYMAP.
1267 The number is how many characters at the front of KEY
1268 it takes to reach a non-prefix key.
1269
1270 Normally, `lookup-key' ignores bindings for t, which act as default
1271 bindings, used when nothing else in the keymap applies; this makes it
1272 usable as a general function for probing keymaps. However, if the
1273 third optional argument ACCEPT-DEFAULT is non-nil, `lookup-key' will
1274 recognize the default bindings, just as `read-key-sequence' does. */)
1275 (Lisp_Object keymap, Lisp_Object key, Lisp_Object accept_default)
1276 {
1277 register int idx;
1278 register Lisp_Object cmd;
1279 register Lisp_Object c;
1280 int length;
1281 int t_ok = !NILP (accept_default);
1282 struct gcpro gcpro1, gcpro2;
1283
1284 GCPRO2 (keymap, key);
1285 keymap = get_keymap (keymap, 1, 1);
1286
1287 CHECK_VECTOR_OR_STRING (key);
1288
1289 length = XFASTINT (Flength (key));
1290 if (length == 0)
1291 RETURN_UNGCPRO (keymap);
1292
1293 idx = 0;
1294 while (1)
1295 {
1296 c = Faref (key, make_number (idx++));
1297
1298 if (CONSP (c) && lucid_event_type_list_p (c))
1299 c = Fevent_convert_list (c);
1300
1301 /* Turn the 8th bit of string chars into a meta modifier. */
1302 if (STRINGP (key) && XINT (c) & 0x80 && !STRING_MULTIBYTE (key))
1303 XSETINT (c, (XINT (c) | meta_modifier) & ~0x80);
1304
1305 /* Allow string since binding for `menu-bar-select-buffer'
1306 includes the buffer name in the key sequence. */
1307 if (!INTEGERP (c) && !SYMBOLP (c) && !CONSP (c) && !STRINGP (c))
1308 message_with_string ("Key sequence contains invalid event %s", c, 1);
1309
1310 cmd = access_keymap (keymap, c, t_ok, 0, 1);
1311 if (idx == length)
1312 RETURN_UNGCPRO (cmd);
1313
1314 keymap = get_keymap (cmd, 0, 1);
1315 if (!CONSP (keymap))
1316 RETURN_UNGCPRO (make_number (idx));
1317
1318 QUIT;
1319 }
1320 }
1321
1322 /* Make KEYMAP define event C as a keymap (i.e., as a prefix).
1323 Assume that currently it does not define C at all.
1324 Return the keymap. */
1325
1326 static Lisp_Object
1327 define_as_prefix (Lisp_Object keymap, Lisp_Object c)
1328 {
1329 Lisp_Object cmd;
1330
1331 cmd = Fmake_sparse_keymap (Qnil);
1332 store_in_keymap (keymap, c, cmd);
1333
1334 return cmd;
1335 }
1336
1337 /* Append a key to the end of a key sequence. We always make a vector. */
1338
1339 static Lisp_Object
1340 append_key (Lisp_Object key_sequence, Lisp_Object key)
1341 {
1342 Lisp_Object args[2];
1343
1344 args[0] = key_sequence;
1345
1346 args[1] = Fcons (key, Qnil);
1347 return Fvconcat (2, args);
1348 }
1349
1350 /* Given a event type C which is a symbol,
1351 signal an error if is a mistake such as RET or M-RET or C-DEL, etc. */
1352
1353 static void
1354 silly_event_symbol_error (Lisp_Object c)
1355 {
1356 Lisp_Object parsed, base, name, assoc;
1357 int modifiers;
1358
1359 parsed = parse_modifiers (c);
1360 modifiers = XFASTINT (XCAR (XCDR (parsed)));
1361 base = XCAR (parsed);
1362 name = Fsymbol_name (base);
1363 /* This alist includes elements such as ("RET" . "\\r"). */
1364 assoc = Fassoc (name, exclude_keys);
1365
1366 if (! NILP (assoc))
1367 {
1368 char new_mods[sizeof ("\\A-\\C-\\H-\\M-\\S-\\s-")];
1369 char *p = new_mods;
1370 Lisp_Object keystring;
1371 if (modifiers & alt_modifier)
1372 { *p++ = '\\'; *p++ = 'A'; *p++ = '-'; }
1373 if (modifiers & ctrl_modifier)
1374 { *p++ = '\\'; *p++ = 'C'; *p++ = '-'; }
1375 if (modifiers & hyper_modifier)
1376 { *p++ = '\\'; *p++ = 'H'; *p++ = '-'; }
1377 if (modifiers & meta_modifier)
1378 { *p++ = '\\'; *p++ = 'M'; *p++ = '-'; }
1379 if (modifiers & shift_modifier)
1380 { *p++ = '\\'; *p++ = 'S'; *p++ = '-'; }
1381 if (modifiers & super_modifier)
1382 { *p++ = '\\'; *p++ = 's'; *p++ = '-'; }
1383 *p = 0;
1384
1385 c = reorder_modifiers (c);
1386 keystring = concat2 (build_string (new_mods), XCDR (assoc));
1387
1388 error ((modifiers & ~meta_modifier
1389 ? "To bind the key %s, use [?%s], not [%s]"
1390 : "To bind the key %s, use \"%s\", not [%s]"),
1391 SDATA (SYMBOL_NAME (c)), SDATA (keystring),
1392 SDATA (SYMBOL_NAME (c)));
1393 }
1394 }
1395 \f
1396 /* Global, local, and minor mode keymap stuff. */
1397
1398 /* We can't put these variables inside current_minor_maps, since under
1399 some systems, static gets macro-defined to be the empty string.
1400 Ickypoo. */
1401 static Lisp_Object *cmm_modes = NULL, *cmm_maps = NULL;
1402 static int cmm_size = 0;
1403
1404 /* Store a pointer to an array of the currently active minor modes in
1405 *modeptr, a pointer to an array of the keymaps of the currently
1406 active minor modes in *mapptr, and return the number of maps
1407 *mapptr contains.
1408
1409 This function always returns a pointer to the same buffer, and may
1410 free or reallocate it, so if you want to keep it for a long time or
1411 hand it out to lisp code, copy it. This procedure will be called
1412 for every key sequence read, so the nice lispy approach (return a
1413 new assoclist, list, what have you) for each invocation would
1414 result in a lot of consing over time.
1415
1416 If we used xrealloc/xmalloc and ran out of memory, they would throw
1417 back to the command loop, which would try to read a key sequence,
1418 which would call this function again, resulting in an infinite
1419 loop. Instead, we'll use realloc/malloc and silently truncate the
1420 list, let the key sequence be read, and hope some other piece of
1421 code signals the error. */
1422 int
1423 current_minor_maps (Lisp_Object **modeptr, Lisp_Object **mapptr)
1424 {
1425 int i = 0;
1426 int list_number = 0;
1427 Lisp_Object alist, assoc, var, val;
1428 Lisp_Object emulation_alists;
1429 Lisp_Object lists[2];
1430
1431 emulation_alists = Vemulation_mode_map_alists;
1432 lists[0] = Vminor_mode_overriding_map_alist;
1433 lists[1] = Vminor_mode_map_alist;
1434
1435 for (list_number = 0; list_number < 2; list_number++)
1436 {
1437 if (CONSP (emulation_alists))
1438 {
1439 alist = XCAR (emulation_alists);
1440 emulation_alists = XCDR (emulation_alists);
1441 if (SYMBOLP (alist))
1442 alist = find_symbol_value (alist);
1443 list_number = -1;
1444 }
1445 else
1446 alist = lists[list_number];
1447
1448 for ( ; CONSP (alist); alist = XCDR (alist))
1449 if ((assoc = XCAR (alist), CONSP (assoc))
1450 && (var = XCAR (assoc), SYMBOLP (var))
1451 && (val = find_symbol_value (var), !EQ (val, Qunbound))
1452 && !NILP (val))
1453 {
1454 Lisp_Object temp;
1455
1456 /* If a variable has an entry in Vminor_mode_overriding_map_alist,
1457 and also an entry in Vminor_mode_map_alist,
1458 ignore the latter. */
1459 if (list_number == 1)
1460 {
1461 val = assq_no_quit (var, lists[0]);
1462 if (!NILP (val))
1463 continue;
1464 }
1465
1466 if (i >= cmm_size)
1467 {
1468 int newsize, allocsize;
1469 Lisp_Object *newmodes, *newmaps;
1470
1471 newsize = cmm_size == 0 ? 30 : cmm_size * 2;
1472 allocsize = newsize * sizeof *newmodes;
1473
1474 /* Use malloc here. See the comment above this function.
1475 Avoid realloc here; it causes spurious traps on GNU/Linux [KFS] */
1476 BLOCK_INPUT;
1477 newmodes = (Lisp_Object *) malloc (allocsize);
1478 if (newmodes)
1479 {
1480 if (cmm_modes)
1481 {
1482 memcpy (newmodes, cmm_modes,
1483 cmm_size * sizeof cmm_modes[0]);
1484 free (cmm_modes);
1485 }
1486 cmm_modes = newmodes;
1487 }
1488
1489 newmaps = (Lisp_Object *) malloc (allocsize);
1490 if (newmaps)
1491 {
1492 if (cmm_maps)
1493 {
1494 memcpy (newmaps, cmm_maps,
1495 cmm_size * sizeof cmm_maps[0]);
1496 free (cmm_maps);
1497 }
1498 cmm_maps = newmaps;
1499 }
1500 UNBLOCK_INPUT;
1501
1502 if (newmodes == NULL || newmaps == NULL)
1503 break;
1504 cmm_size = newsize;
1505 }
1506
1507 /* Get the keymap definition--or nil if it is not defined. */
1508 temp = Findirect_function (XCDR (assoc), Qt);
1509 if (!NILP (temp))
1510 {
1511 cmm_modes[i] = var;
1512 cmm_maps [i] = temp;
1513 i++;
1514 }
1515 }
1516 }
1517
1518 if (modeptr) *modeptr = cmm_modes;
1519 if (mapptr) *mapptr = cmm_maps;
1520 return i;
1521 }
1522
1523 DEFUN ("current-active-maps", Fcurrent_active_maps, Scurrent_active_maps,
1524 0, 2, 0,
1525 doc: /* Return a list of the currently active keymaps.
1526 OLP if non-nil indicates that we should obey `overriding-local-map' and
1527 `overriding-terminal-local-map'. POSITION can specify a click position
1528 like in the respective argument of `key-binding'. */)
1529 (Lisp_Object olp, Lisp_Object position)
1530 {
1531 int count = SPECPDL_INDEX ();
1532
1533 Lisp_Object keymaps = Fcons (current_global_map, Qnil);
1534
1535 /* If a mouse click position is given, our variables are based on
1536 the buffer clicked on, not the current buffer. So we may have to
1537 switch the buffer here. */
1538
1539 if (CONSP (position))
1540 {
1541 Lisp_Object window;
1542
1543 window = POSN_WINDOW (position);
1544
1545 if (WINDOWP (window)
1546 && BUFFERP (XWINDOW (window)->buffer)
1547 && XBUFFER (XWINDOW (window)->buffer) != current_buffer)
1548 {
1549 /* Arrange to go back to the original buffer once we're done
1550 processing the key sequence. We don't use
1551 save_excursion_{save,restore} here, in analogy to
1552 `read-key-sequence' to avoid saving point. Maybe this
1553 would not be a problem here, but it is easier to keep
1554 things the same.
1555 */
1556
1557 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
1558
1559 set_buffer_internal (XBUFFER (XWINDOW (window)->buffer));
1560 }
1561 }
1562
1563 if (!NILP (olp))
1564 {
1565 if (!NILP (KVAR (current_kboard, Voverriding_terminal_local_map)))
1566 keymaps = Fcons (KVAR (current_kboard, Voverriding_terminal_local_map),
1567 keymaps);
1568 /* The doc said that overriding-terminal-local-map should
1569 override overriding-local-map. The code used them both,
1570 but it seems clearer to use just one. rms, jan 2005. */
1571 else if (!NILP (Voverriding_local_map))
1572 keymaps = Fcons (Voverriding_local_map, keymaps);
1573 }
1574 if (NILP (XCDR (keymaps)))
1575 {
1576 Lisp_Object *maps;
1577 int nmaps, i;
1578 EMACS_INT pt
1579 = INTEGERP (position) ? XINT (position)
1580 : MARKERP (position) ? marker_position (position)
1581 : PT;
1582 /* This usually returns the buffer's local map,
1583 but that can be overridden by a `local-map' property. */
1584 Lisp_Object local_map = get_local_map (pt, current_buffer, Qlocal_map);
1585 /* This returns nil unless there is a `keymap' property. */
1586 Lisp_Object keymap = get_local_map (pt, current_buffer, Qkeymap);
1587
1588 if (CONSP (position))
1589 {
1590 Lisp_Object string = POSN_STRING (position);
1591
1592 /* For a mouse click, get the local text-property keymap
1593 of the place clicked on, rather than point. */
1594
1595 if (POSN_INBUFFER_P (position))
1596 {
1597 Lisp_Object pos;
1598
1599 pos = POSN_BUFFER_POSN (position);
1600 if (INTEGERP (pos)
1601 && XINT (pos) >= BEG && XINT (pos) <= Z)
1602 {
1603 local_map = get_local_map (XINT (pos),
1604 current_buffer, Qlocal_map);
1605
1606 keymap = get_local_map (XINT (pos),
1607 current_buffer, Qkeymap);
1608 }
1609 }
1610
1611 /* If on a mode line string with a local keymap,
1612 or for a click on a string, i.e. overlay string or a
1613 string displayed via the `display' property,
1614 consider `local-map' and `keymap' properties of
1615 that string. */
1616
1617 if (CONSP (string) && STRINGP (XCAR (string)))
1618 {
1619 Lisp_Object pos, map;
1620
1621 pos = XCDR (string);
1622 string = XCAR (string);
1623 if (INTEGERP (pos)
1624 && XINT (pos) >= 0
1625 && XINT (pos) < SCHARS (string))
1626 {
1627 map = Fget_text_property (pos, Qlocal_map, string);
1628 if (!NILP (map))
1629 local_map = map;
1630
1631 map = Fget_text_property (pos, Qkeymap, string);
1632 if (!NILP (map))
1633 keymap = map;
1634 }
1635 }
1636
1637 }
1638
1639 if (!NILP (local_map))
1640 keymaps = Fcons (local_map, keymaps);
1641
1642 /* Now put all the minor mode keymaps on the list. */
1643 nmaps = current_minor_maps (0, &maps);
1644
1645 for (i = --nmaps; i >= 0; i--)
1646 if (!NILP (maps[i]))
1647 keymaps = Fcons (maps[i], keymaps);
1648
1649 if (!NILP (keymap))
1650 keymaps = Fcons (keymap, keymaps);
1651 }
1652
1653 unbind_to (count, Qnil);
1654
1655 return keymaps;
1656 }
1657
1658 /* GC is possible in this function if it autoloads a keymap. */
1659
1660 DEFUN ("key-binding", Fkey_binding, Skey_binding, 1, 4, 0,
1661 doc: /* Return the binding for command KEY in current keymaps.
1662 KEY is a string or vector, a sequence of keystrokes.
1663 The binding is probably a symbol with a function definition.
1664
1665 Normally, `key-binding' ignores bindings for t, which act as default
1666 bindings, used when nothing else in the keymap applies; this makes it
1667 usable as a general function for probing keymaps. However, if the
1668 optional second argument ACCEPT-DEFAULT is non-nil, `key-binding' does
1669 recognize the default bindings, just as `read-key-sequence' does.
1670
1671 Like the normal command loop, `key-binding' will remap the command
1672 resulting from looking up KEY by looking up the command in the
1673 current keymaps. However, if the optional third argument NO-REMAP
1674 is non-nil, `key-binding' returns the unmapped command.
1675
1676 If KEY is a key sequence initiated with the mouse, the used keymaps
1677 will depend on the clicked mouse position with regard to the buffer
1678 and possible local keymaps on strings.
1679
1680 If the optional argument POSITION is non-nil, it specifies a mouse
1681 position as returned by `event-start' and `event-end', and the lookup
1682 occurs in the keymaps associated with it instead of KEY. It can also
1683 be a number or marker, in which case the keymap properties at the
1684 specified buffer position instead of point are used.
1685 */)
1686 (Lisp_Object key, Lisp_Object accept_default, Lisp_Object no_remap, Lisp_Object position)
1687 {
1688 Lisp_Object value;
1689
1690 if (NILP (position) && VECTORP (key))
1691 {
1692 Lisp_Object event
1693 /* mouse events may have a symbolic prefix indicating the
1694 scrollbar or mode line */
1695 = AREF (key, SYMBOLP (AREF (key, 0)) && ASIZE (key) > 1 ? 1 : 0);
1696
1697 /* We are not interested in locations without event data */
1698
1699 if (EVENT_HAS_PARAMETERS (event) && CONSP (XCDR (event)))
1700 {
1701 Lisp_Object kind = EVENT_HEAD_KIND (EVENT_HEAD (event));
1702 if (EQ (kind, Qmouse_click))
1703 position = EVENT_START (event);
1704 }
1705 }
1706
1707 value = Flookup_key (Fcons (Qkeymap, Fcurrent_active_maps (Qt, position)),
1708 key, accept_default);
1709
1710 if (NILP (value) || INTEGERP (value))
1711 return Qnil;
1712
1713 /* If the result of the ordinary keymap lookup is an interactive
1714 command, look for a key binding (ie. remapping) for that command. */
1715
1716 if (NILP (no_remap) && SYMBOLP (value))
1717 {
1718 Lisp_Object value1;
1719 if (value1 = Fcommand_remapping (value, position, Qnil), !NILP (value1))
1720 value = value1;
1721 }
1722
1723 return value;
1724 }
1725
1726 /* GC is possible in this function if it autoloads a keymap. */
1727
1728 DEFUN ("local-key-binding", Flocal_key_binding, Slocal_key_binding, 1, 2, 0,
1729 doc: /* Return the binding for command KEYS in current local keymap only.
1730 KEYS is a string or vector, a sequence of keystrokes.
1731 The binding is probably a symbol with a function definition.
1732
1733 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1734 bindings; see the description of `lookup-key' for more details about this. */)
1735 (Lisp_Object keys, Lisp_Object accept_default)
1736 {
1737 register Lisp_Object map;
1738 map = BVAR (current_buffer, keymap);
1739 if (NILP (map))
1740 return Qnil;
1741 return Flookup_key (map, keys, accept_default);
1742 }
1743
1744 /* GC is possible in this function if it autoloads a keymap. */
1745
1746 DEFUN ("global-key-binding", Fglobal_key_binding, Sglobal_key_binding, 1, 2, 0,
1747 doc: /* Return the binding for command KEYS in current global keymap only.
1748 KEYS is a string or vector, a sequence of keystrokes.
1749 The binding is probably a symbol with a function definition.
1750 This function's return values are the same as those of `lookup-key'
1751 \(which see).
1752
1753 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1754 bindings; see the description of `lookup-key' for more details about this. */)
1755 (Lisp_Object keys, Lisp_Object accept_default)
1756 {
1757 return Flookup_key (current_global_map, keys, accept_default);
1758 }
1759
1760 /* GC is possible in this function if it autoloads a keymap. */
1761
1762 DEFUN ("minor-mode-key-binding", Fminor_mode_key_binding, Sminor_mode_key_binding, 1, 2, 0,
1763 doc: /* Find the visible minor mode bindings of KEY.
1764 Return an alist of pairs (MODENAME . BINDING), where MODENAME is
1765 the symbol which names the minor mode binding KEY, and BINDING is
1766 KEY's definition in that mode. In particular, if KEY has no
1767 minor-mode bindings, return nil. If the first binding is a
1768 non-prefix, all subsequent bindings will be omitted, since they would
1769 be ignored. Similarly, the list doesn't include non-prefix bindings
1770 that come after prefix bindings.
1771
1772 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1773 bindings; see the description of `lookup-key' for more details about this. */)
1774 (Lisp_Object key, Lisp_Object accept_default)
1775 {
1776 Lisp_Object *modes, *maps;
1777 int nmaps;
1778 Lisp_Object binding;
1779 int i, j;
1780 struct gcpro gcpro1, gcpro2;
1781
1782 nmaps = current_minor_maps (&modes, &maps);
1783 /* Note that all these maps are GCPRO'd
1784 in the places where we found them. */
1785
1786 binding = Qnil;
1787 GCPRO2 (key, binding);
1788
1789 for (i = j = 0; i < nmaps; i++)
1790 if (!NILP (maps[i])
1791 && !NILP (binding = Flookup_key (maps[i], key, accept_default))
1792 && !INTEGERP (binding))
1793 {
1794 if (KEYMAPP (binding))
1795 maps[j++] = Fcons (modes[i], binding);
1796 else if (j == 0)
1797 RETURN_UNGCPRO (Fcons (Fcons (modes[i], binding), Qnil));
1798 }
1799
1800 UNGCPRO;
1801 return Flist (j, maps);
1802 }
1803
1804 DEFUN ("define-prefix-command", Fdefine_prefix_command, Sdefine_prefix_command, 1, 3, 0,
1805 doc: /* Define COMMAND as a prefix command. COMMAND should be a symbol.
1806 A new sparse keymap is stored as COMMAND's function definition and its value.
1807 If a second optional argument MAPVAR is given, the map is stored as
1808 its value instead of as COMMAND's value; but COMMAND is still defined
1809 as a function.
1810 The third optional argument NAME, if given, supplies a menu name
1811 string for the map. This is required to use the keymap as a menu.
1812 This function returns COMMAND. */)
1813 (Lisp_Object command, Lisp_Object mapvar, Lisp_Object name)
1814 {
1815 Lisp_Object map;
1816 map = Fmake_sparse_keymap (name);
1817 Ffset (command, map);
1818 if (!NILP (mapvar))
1819 Fset (mapvar, map);
1820 else
1821 Fset (command, map);
1822 return command;
1823 }
1824
1825 DEFUN ("use-global-map", Fuse_global_map, Suse_global_map, 1, 1, 0,
1826 doc: /* Select KEYMAP as the global keymap. */)
1827 (Lisp_Object keymap)
1828 {
1829 keymap = get_keymap (keymap, 1, 1);
1830 current_global_map = keymap;
1831
1832 return Qnil;
1833 }
1834
1835 DEFUN ("use-local-map", Fuse_local_map, Suse_local_map, 1, 1, 0,
1836 doc: /* Select KEYMAP as the local keymap.
1837 If KEYMAP is nil, that means no local keymap. */)
1838 (Lisp_Object keymap)
1839 {
1840 if (!NILP (keymap))
1841 keymap = get_keymap (keymap, 1, 1);
1842
1843 BVAR (current_buffer, keymap) = keymap;
1844
1845 return Qnil;
1846 }
1847
1848 DEFUN ("current-local-map", Fcurrent_local_map, Scurrent_local_map, 0, 0, 0,
1849 doc: /* Return current buffer's local keymap, or nil if it has none.
1850 Normally the local keymap is set by the major mode with `use-local-map'. */)
1851 (void)
1852 {
1853 return BVAR (current_buffer, keymap);
1854 }
1855
1856 DEFUN ("current-global-map", Fcurrent_global_map, Scurrent_global_map, 0, 0, 0,
1857 doc: /* Return the current global keymap. */)
1858 (void)
1859 {
1860 return current_global_map;
1861 }
1862
1863 DEFUN ("current-minor-mode-maps", Fcurrent_minor_mode_maps, Scurrent_minor_mode_maps, 0, 0, 0,
1864 doc: /* Return a list of keymaps for the minor modes of the current buffer. */)
1865 (void)
1866 {
1867 Lisp_Object *maps;
1868 int nmaps = current_minor_maps (0, &maps);
1869
1870 return Flist (nmaps, maps);
1871 }
1872 \f
1873 /* Help functions for describing and documenting keymaps. */
1874
1875 struct accessible_keymaps_data {
1876 Lisp_Object maps, tail, thisseq;
1877 /* Does the current sequence end in the meta-prefix-char? */
1878 int is_metized;
1879 };
1880
1881 static void
1882 accessible_keymaps_1 (Lisp_Object key, Lisp_Object cmd, Lisp_Object args, void *data)
1883 /* Use void* data to be compatible with map_keymap_function_t. */
1884 {
1885 struct accessible_keymaps_data *d = data; /* Cast! */
1886 Lisp_Object maps = d->maps;
1887 Lisp_Object tail = d->tail;
1888 Lisp_Object thisseq = d->thisseq;
1889 int is_metized = d->is_metized && INTEGERP (key);
1890 Lisp_Object tem;
1891
1892 cmd = get_keymap (get_keyelt (cmd, 0), 0, 0);
1893 if (NILP (cmd))
1894 return;
1895
1896 /* Look for and break cycles. */
1897 while (!NILP (tem = Frassq (cmd, maps)))
1898 {
1899 Lisp_Object prefix = XCAR (tem);
1900 int lim = XINT (Flength (XCAR (tem)));
1901 if (lim <= XINT (Flength (thisseq)))
1902 { /* This keymap was already seen with a smaller prefix. */
1903 int i = 0;
1904 while (i < lim && EQ (Faref (prefix, make_number (i)),
1905 Faref (thisseq, make_number (i))))
1906 i++;
1907 if (i >= lim)
1908 /* `prefix' is a prefix of `thisseq' => there's a cycle. */
1909 return;
1910 }
1911 /* This occurrence of `cmd' in `maps' does not correspond to a cycle,
1912 but maybe `cmd' occurs again further down in `maps', so keep
1913 looking. */
1914 maps = XCDR (Fmemq (tem, maps));
1915 }
1916
1917 /* If the last key in thisseq is meta-prefix-char,
1918 turn it into a meta-ized keystroke. We know
1919 that the event we're about to append is an
1920 ascii keystroke since we're processing a
1921 keymap table. */
1922 if (is_metized)
1923 {
1924 int meta_bit = meta_modifier;
1925 Lisp_Object last = make_number (XINT (Flength (thisseq)) - 1);
1926 tem = Fcopy_sequence (thisseq);
1927
1928 Faset (tem, last, make_number (XINT (key) | meta_bit));
1929
1930 /* This new sequence is the same length as
1931 thisseq, so stick it in the list right
1932 after this one. */
1933 XSETCDR (tail,
1934 Fcons (Fcons (tem, cmd), XCDR (tail)));
1935 }
1936 else
1937 {
1938 tem = append_key (thisseq, key);
1939 nconc2 (tail, Fcons (Fcons (tem, cmd), Qnil));
1940 }
1941 }
1942
1943 /* This function cannot GC. */
1944
1945 DEFUN ("accessible-keymaps", Faccessible_keymaps, Saccessible_keymaps,
1946 1, 2, 0,
1947 doc: /* Find all keymaps accessible via prefix characters from KEYMAP.
1948 Returns a list of elements of the form (KEYS . MAP), where the sequence
1949 KEYS starting from KEYMAP gets you to MAP. These elements are ordered
1950 so that the KEYS increase in length. The first element is ([] . KEYMAP).
1951 An optional argument PREFIX, if non-nil, should be a key sequence;
1952 then the value includes only maps for prefixes that start with PREFIX. */)
1953 (Lisp_Object keymap, Lisp_Object prefix)
1954 {
1955 Lisp_Object maps, tail;
1956 int prefixlen = XINT (Flength (prefix));
1957
1958 /* no need for gcpro because we don't autoload any keymaps. */
1959
1960 if (!NILP (prefix))
1961 {
1962 /* If a prefix was specified, start with the keymap (if any) for
1963 that prefix, so we don't waste time considering other prefixes. */
1964 Lisp_Object tem;
1965 tem = Flookup_key (keymap, prefix, Qt);
1966 /* Flookup_key may give us nil, or a number,
1967 if the prefix is not defined in this particular map.
1968 It might even give us a list that isn't a keymap. */
1969 tem = get_keymap (tem, 0, 0);
1970 /* If the keymap is autoloaded `tem' is not a cons-cell, but we still
1971 want to return it. */
1972 if (!NILP (tem))
1973 {
1974 /* Convert PREFIX to a vector now, so that later on
1975 we don't have to deal with the possibility of a string. */
1976 if (STRINGP (prefix))
1977 {
1978 int i, i_byte, c;
1979 Lisp_Object copy;
1980
1981 copy = Fmake_vector (make_number (SCHARS (prefix)), Qnil);
1982 for (i = 0, i_byte = 0; i < SCHARS (prefix);)
1983 {
1984 int i_before = i;
1985
1986 FETCH_STRING_CHAR_ADVANCE (c, prefix, i, i_byte);
1987 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
1988 c ^= 0200 | meta_modifier;
1989 ASET (copy, i_before, make_number (c));
1990 }
1991 prefix = copy;
1992 }
1993 maps = Fcons (Fcons (prefix, tem), Qnil);
1994 }
1995 else
1996 return Qnil;
1997 }
1998 else
1999 maps = Fcons (Fcons (Fmake_vector (make_number (0), Qnil),
2000 get_keymap (keymap, 1, 0)),
2001 Qnil);
2002
2003 /* For each map in the list maps,
2004 look at any other maps it points to,
2005 and stick them at the end if they are not already in the list.
2006
2007 This is a breadth-first traversal, where tail is the queue of
2008 nodes, and maps accumulates a list of all nodes visited. */
2009
2010 for (tail = maps; CONSP (tail); tail = XCDR (tail))
2011 {
2012 struct accessible_keymaps_data data;
2013 register Lisp_Object thismap = Fcdr (XCAR (tail));
2014 Lisp_Object last;
2015
2016 data.thisseq = Fcar (XCAR (tail));
2017 data.maps = maps;
2018 data.tail = tail;
2019 last = make_number (XINT (Flength (data.thisseq)) - 1);
2020 /* Does the current sequence end in the meta-prefix-char? */
2021 data.is_metized = (XINT (last) >= 0
2022 /* Don't metize the last char of PREFIX. */
2023 && XINT (last) >= prefixlen
2024 && EQ (Faref (data.thisseq, last), meta_prefix_char));
2025
2026 /* Since we can't run lisp code, we can't scan autoloaded maps. */
2027 if (CONSP (thismap))
2028 map_keymap (thismap, accessible_keymaps_1, Qnil, &data, 0);
2029 }
2030 return maps;
2031 }
2032 static Lisp_Object Qsingle_key_description, Qkey_description;
2033
2034 /* This function cannot GC. */
2035
2036 DEFUN ("key-description", Fkey_description, Skey_description, 1, 2, 0,
2037 doc: /* Return a pretty description of key-sequence KEYS.
2038 Optional arg PREFIX is the sequence of keys leading up to KEYS.
2039 Control characters turn into "C-foo" sequences, meta into "M-foo",
2040 spaces are put between sequence elements, etc. */)
2041 (Lisp_Object keys, Lisp_Object prefix)
2042 {
2043 int len = 0;
2044 int i, i_byte;
2045 Lisp_Object *args;
2046 int size = XINT (Flength (keys));
2047 Lisp_Object list;
2048 Lisp_Object sep = build_string (" ");
2049 Lisp_Object key;
2050 int add_meta = 0;
2051
2052 if (!NILP (prefix))
2053 size += XINT (Flength (prefix));
2054
2055 /* This has one extra element at the end that we don't pass to Fconcat. */
2056 args = (Lisp_Object *) alloca (size * 4 * sizeof (Lisp_Object));
2057
2058 /* In effect, this computes
2059 (mapconcat 'single-key-description keys " ")
2060 but we shouldn't use mapconcat because it can do GC. */
2061
2062 next_list:
2063 if (!NILP (prefix))
2064 list = prefix, prefix = Qnil;
2065 else if (!NILP (keys))
2066 list = keys, keys = Qnil;
2067 else
2068 {
2069 if (add_meta)
2070 {
2071 args[len] = Fsingle_key_description (meta_prefix_char, Qnil);
2072 len += 2;
2073 }
2074 else if (len == 0)
2075 return empty_unibyte_string;
2076 return Fconcat (len - 1, args);
2077 }
2078
2079 if (STRINGP (list))
2080 size = SCHARS (list);
2081 else if (VECTORP (list))
2082 size = ASIZE (list);
2083 else if (CONSP (list))
2084 size = XINT (Flength (list));
2085 else
2086 wrong_type_argument (Qarrayp, list);
2087
2088 i = i_byte = 0;
2089
2090 while (i < size)
2091 {
2092 if (STRINGP (list))
2093 {
2094 int c;
2095 FETCH_STRING_CHAR_ADVANCE (c, list, i, i_byte);
2096 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2097 c ^= 0200 | meta_modifier;
2098 XSETFASTINT (key, c);
2099 }
2100 else if (VECTORP (list))
2101 {
2102 key = AREF (list, i); i++;
2103 }
2104 else
2105 {
2106 key = XCAR (list);
2107 list = XCDR (list);
2108 i++;
2109 }
2110
2111 if (add_meta)
2112 {
2113 if (!INTEGERP (key)
2114 || EQ (key, meta_prefix_char)
2115 || (XINT (key) & meta_modifier))
2116 {
2117 args[len++] = Fsingle_key_description (meta_prefix_char, Qnil);
2118 args[len++] = sep;
2119 if (EQ (key, meta_prefix_char))
2120 continue;
2121 }
2122 else
2123 XSETINT (key, (XINT (key) | meta_modifier) & ~0x80);
2124 add_meta = 0;
2125 }
2126 else if (EQ (key, meta_prefix_char))
2127 {
2128 add_meta = 1;
2129 continue;
2130 }
2131 args[len++] = Fsingle_key_description (key, Qnil);
2132 args[len++] = sep;
2133 }
2134 goto next_list;
2135 }
2136
2137
2138 char *
2139 push_key_description (register unsigned int c, register char *p, int force_multibyte)
2140 {
2141 unsigned c2;
2142
2143 /* Clear all the meaningless bits above the meta bit. */
2144 c &= meta_modifier | ~ - meta_modifier;
2145 c2 = c & ~(alt_modifier | ctrl_modifier | hyper_modifier
2146 | meta_modifier | shift_modifier | super_modifier);
2147
2148 if (! CHARACTERP (make_number (c2)))
2149 {
2150 /* KEY_DESCRIPTION_SIZE is large enough for this. */
2151 p += sprintf (p, "[%d]", c);
2152 return p;
2153 }
2154
2155 if (c & alt_modifier)
2156 {
2157 *p++ = 'A';
2158 *p++ = '-';
2159 c -= alt_modifier;
2160 }
2161 if ((c & ctrl_modifier) != 0
2162 || (c2 < ' ' && c2 != 27 && c2 != '\t' && c2 != Ctl ('M')))
2163 {
2164 *p++ = 'C';
2165 *p++ = '-';
2166 c &= ~ctrl_modifier;
2167 }
2168 if (c & hyper_modifier)
2169 {
2170 *p++ = 'H';
2171 *p++ = '-';
2172 c -= hyper_modifier;
2173 }
2174 if (c & meta_modifier)
2175 {
2176 *p++ = 'M';
2177 *p++ = '-';
2178 c -= meta_modifier;
2179 }
2180 if (c & shift_modifier)
2181 {
2182 *p++ = 'S';
2183 *p++ = '-';
2184 c -= shift_modifier;
2185 }
2186 if (c & super_modifier)
2187 {
2188 *p++ = 's';
2189 *p++ = '-';
2190 c -= super_modifier;
2191 }
2192 if (c < 040)
2193 {
2194 if (c == 033)
2195 {
2196 *p++ = 'E';
2197 *p++ = 'S';
2198 *p++ = 'C';
2199 }
2200 else if (c == '\t')
2201 {
2202 *p++ = 'T';
2203 *p++ = 'A';
2204 *p++ = 'B';
2205 }
2206 else if (c == Ctl ('M'))
2207 {
2208 *p++ = 'R';
2209 *p++ = 'E';
2210 *p++ = 'T';
2211 }
2212 else
2213 {
2214 /* `C-' already added above. */
2215 if (c > 0 && c <= Ctl ('Z'))
2216 *p++ = c + 0140;
2217 else
2218 *p++ = c + 0100;
2219 }
2220 }
2221 else if (c == 0177)
2222 {
2223 *p++ = 'D';
2224 *p++ = 'E';
2225 *p++ = 'L';
2226 }
2227 else if (c == ' ')
2228 {
2229 *p++ = 'S';
2230 *p++ = 'P';
2231 *p++ = 'C';
2232 }
2233 else if (c < 128
2234 || (NILP (BVAR (current_buffer, enable_multibyte_characters))
2235 && SINGLE_BYTE_CHAR_P (c)
2236 && !force_multibyte))
2237 {
2238 *p++ = c;
2239 }
2240 else
2241 {
2242 /* Now we are sure that C is a valid character code. */
2243 if (NILP (BVAR (current_buffer, enable_multibyte_characters))
2244 && ! force_multibyte)
2245 *p++ = multibyte_char_to_unibyte (c);
2246 else
2247 p += CHAR_STRING (c, (unsigned char *) p);
2248 }
2249
2250 return p;
2251 }
2252
2253 /* This function cannot GC. */
2254
2255 DEFUN ("single-key-description", Fsingle_key_description,
2256 Ssingle_key_description, 1, 2, 0,
2257 doc: /* Return a pretty description of command character KEY.
2258 Control characters turn into C-whatever, etc.
2259 Optional argument NO-ANGLES non-nil means don't put angle brackets
2260 around function keys and event symbols. */)
2261 (Lisp_Object key, Lisp_Object no_angles)
2262 {
2263 if (CONSP (key) && lucid_event_type_list_p (key))
2264 key = Fevent_convert_list (key);
2265
2266 key = EVENT_HEAD (key);
2267
2268 if (INTEGERP (key)) /* Normal character */
2269 {
2270 char tem[KEY_DESCRIPTION_SIZE];
2271
2272 *push_key_description (XINT (key), tem, 1) = 0;
2273 return build_string (tem);
2274 }
2275 else if (SYMBOLP (key)) /* Function key or event-symbol */
2276 {
2277 if (NILP (no_angles))
2278 {
2279 char *buffer
2280 = (char *) alloca (SBYTES (SYMBOL_NAME (key)) + 5);
2281 sprintf (buffer, "<%s>", SDATA (SYMBOL_NAME (key)));
2282 return build_string (buffer);
2283 }
2284 else
2285 return Fsymbol_name (key);
2286 }
2287 else if (STRINGP (key)) /* Buffer names in the menubar. */
2288 return Fcopy_sequence (key);
2289 else
2290 error ("KEY must be an integer, cons, symbol, or string");
2291 return Qnil;
2292 }
2293
2294 static char *
2295 push_text_char_description (register unsigned int c, register char *p)
2296 {
2297 if (c >= 0200)
2298 {
2299 *p++ = 'M';
2300 *p++ = '-';
2301 c -= 0200;
2302 }
2303 if (c < 040)
2304 {
2305 *p++ = '^';
2306 *p++ = c + 64; /* 'A' - 1 */
2307 }
2308 else if (c == 0177)
2309 {
2310 *p++ = '^';
2311 *p++ = '?';
2312 }
2313 else
2314 *p++ = c;
2315 return p;
2316 }
2317
2318 /* This function cannot GC. */
2319
2320 DEFUN ("text-char-description", Ftext_char_description, Stext_char_description, 1, 1, 0,
2321 doc: /* Return a pretty description of file-character CHARACTER.
2322 Control characters turn into "^char", etc. This differs from
2323 `single-key-description' which turns them into "C-char".
2324 Also, this function recognizes the 2**7 bit as the Meta character,
2325 whereas `single-key-description' uses the 2**27 bit for Meta.
2326 See Info node `(elisp)Describing Characters' for examples. */)
2327 (Lisp_Object character)
2328 {
2329 /* Currently MAX_MULTIBYTE_LENGTH is 4 (< 6). */
2330 char str[6];
2331 int c;
2332
2333 CHECK_NUMBER (character);
2334
2335 c = XINT (character);
2336 if (!ASCII_CHAR_P (c))
2337 {
2338 int len = CHAR_STRING (c, (unsigned char *) str);
2339
2340 return make_multibyte_string (str, 1, len);
2341 }
2342
2343 *push_text_char_description (c & 0377, str) = 0;
2344
2345 return build_string (str);
2346 }
2347
2348 static int where_is_preferred_modifier;
2349
2350 /* Return 0 if SEQ uses non-preferred modifiers or non-char events.
2351 Else, return 2 if SEQ uses the where_is_preferred_modifier,
2352 and 1 otherwise. */
2353 static int
2354 preferred_sequence_p (Lisp_Object seq)
2355 {
2356 int i;
2357 int len = XINT (Flength (seq));
2358 int result = 1;
2359
2360 for (i = 0; i < len; i++)
2361 {
2362 Lisp_Object ii, elt;
2363
2364 XSETFASTINT (ii, i);
2365 elt = Faref (seq, ii);
2366
2367 if (!INTEGERP (elt))
2368 return 0;
2369 else
2370 {
2371 int modifiers = XINT (elt) & (CHAR_MODIFIER_MASK & ~CHAR_META);
2372 if (modifiers == where_is_preferred_modifier)
2373 result = 2;
2374 else if (modifiers)
2375 return 0;
2376 }
2377 }
2378
2379 return result;
2380 }
2381
2382 \f
2383 /* where-is - finding a command in a set of keymaps. */
2384
2385 static void where_is_internal_1 (Lisp_Object key, Lisp_Object binding,
2386 Lisp_Object args, void *data);
2387
2388 /* Like Flookup_key, but uses a list of keymaps SHADOW instead of a single map.
2389 Returns the first non-nil binding found in any of those maps.
2390 If REMAP is true, pass the result of the lookup through command
2391 remapping before returning it. */
2392
2393 static Lisp_Object
2394 shadow_lookup (Lisp_Object shadow, Lisp_Object key, Lisp_Object flag,
2395 int remap)
2396 {
2397 Lisp_Object tail, value;
2398
2399 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2400 {
2401 value = Flookup_key (XCAR (tail), key, flag);
2402 if (NATNUMP (value))
2403 {
2404 value = Flookup_key (XCAR (tail),
2405 Fsubstring (key, make_number (0), value), flag);
2406 if (!NILP (value))
2407 return Qnil;
2408 }
2409 else if (!NILP (value))
2410 {
2411 Lisp_Object remapping;
2412 if (remap && SYMBOLP (value)
2413 && (remapping = Fcommand_remapping (value, Qnil, shadow),
2414 !NILP (remapping)))
2415 return remapping;
2416 else
2417 return value;
2418 }
2419 }
2420 return Qnil;
2421 }
2422
2423 static Lisp_Object Vmouse_events;
2424
2425 struct where_is_internal_data {
2426 Lisp_Object definition, this, last;
2427 int last_is_meta, noindirect;
2428 Lisp_Object sequences;
2429 };
2430
2431 /* This function can't GC, AFAIK. */
2432 /* Return the list of bindings found. This list is ordered "longest
2433 to shortest". It may include bindings that are actually shadowed
2434 by others, as well as duplicate bindings and remapping bindings.
2435 The list returned is potentially shared with where_is_cache, so
2436 be careful not to modify it via side-effects. */
2437
2438 static Lisp_Object
2439 where_is_internal (Lisp_Object definition, Lisp_Object keymaps,
2440 int noindirect, int nomenus)
2441 {
2442 Lisp_Object maps = Qnil;
2443 Lisp_Object found;
2444 struct where_is_internal_data data;
2445
2446 /* Only important use of caching is for the menubar
2447 (i.e. where-is-internal called with (def nil t nil nil)). */
2448 if (nomenus && !noindirect)
2449 {
2450 /* Check heuristic-consistency of the cache. */
2451 if (NILP (Fequal (keymaps, where_is_cache_keymaps)))
2452 where_is_cache = Qnil;
2453
2454 if (NILP (where_is_cache))
2455 {
2456 /* We need to create the cache. */
2457 Lisp_Object args[2];
2458 where_is_cache = Fmake_hash_table (0, args);
2459 where_is_cache_keymaps = Qt;
2460 }
2461 else
2462 /* We can reuse the cache. */
2463 return Fgethash (definition, where_is_cache, Qnil);
2464 }
2465 else
2466 /* Kill the cache so that where_is_internal_1 doesn't think
2467 we're filling it up. */
2468 where_is_cache = Qnil;
2469
2470 found = keymaps;
2471 while (CONSP (found))
2472 {
2473 maps =
2474 nconc2 (maps,
2475 Faccessible_keymaps (get_keymap (XCAR (found), 1, 0), Qnil));
2476 found = XCDR (found);
2477 }
2478
2479 data.sequences = Qnil;
2480 for (; CONSP (maps); maps = XCDR (maps))
2481 {
2482 /* Key sequence to reach map, and the map that it reaches */
2483 register Lisp_Object this, map, tem;
2484
2485 /* In order to fold [META-PREFIX-CHAR CHAR] sequences into
2486 [M-CHAR] sequences, check if last character of the sequence
2487 is the meta-prefix char. */
2488 Lisp_Object last;
2489 int last_is_meta;
2490
2491 this = Fcar (XCAR (maps));
2492 map = Fcdr (XCAR (maps));
2493 last = make_number (XINT (Flength (this)) - 1);
2494 last_is_meta = (XINT (last) >= 0
2495 && EQ (Faref (this, last), meta_prefix_char));
2496
2497 /* if (nomenus && !preferred_sequence_p (this)) */
2498 if (nomenus && XINT (last) >= 0
2499 && SYMBOLP (tem = Faref (this, make_number (0)))
2500 && !NILP (Fmemq (XCAR (parse_modifiers (tem)), Vmouse_events)))
2501 /* If no menu entries should be returned, skip over the
2502 keymaps bound to `menu-bar' and `tool-bar' and other
2503 non-ascii prefixes like `C-down-mouse-2'. */
2504 continue;
2505
2506 QUIT;
2507
2508 data.definition = definition;
2509 data.noindirect = noindirect;
2510 data.this = this;
2511 data.last = last;
2512 data.last_is_meta = last_is_meta;
2513
2514 if (CONSP (map))
2515 map_keymap (map, where_is_internal_1, Qnil, &data, 0);
2516 }
2517
2518 if (nomenus && !noindirect)
2519 { /* Remember for which keymaps this cache was built.
2520 We do it here (late) because we want to keep where_is_cache_keymaps
2521 set to t while the cache isn't fully filled. */
2522 where_is_cache_keymaps = keymaps;
2523 /* During cache-filling, data.sequences is not filled by
2524 where_is_internal_1. */
2525 return Fgethash (definition, where_is_cache, Qnil);
2526 }
2527 else
2528 return data.sequences;
2529 }
2530
2531 /* This function can GC if Flookup_key autoloads any keymaps. */
2532
2533 DEFUN ("where-is-internal", Fwhere_is_internal, Swhere_is_internal, 1, 5, 0,
2534 doc: /* Return list of keys that invoke DEFINITION.
2535 If KEYMAP is a keymap, search only KEYMAP and the global keymap.
2536 If KEYMAP is nil, search all the currently active keymaps.
2537 If KEYMAP is a list of keymaps, search only those keymaps.
2538
2539 If optional 3rd arg FIRSTONLY is non-nil, return the first key sequence found,
2540 rather than a list of all possible key sequences.
2541 If FIRSTONLY is the symbol `non-ascii', return the first binding found,
2542 no matter what it is.
2543 If FIRSTONLY has another non-nil value, prefer bindings
2544 that use the modifier key specified in `where-is-preferred-modifier'
2545 \(or their meta variants) and entirely reject menu bindings.
2546
2547 If optional 4th arg NOINDIRECT is non-nil, don't follow indirections
2548 to other keymaps or slots. This makes it possible to search for an
2549 indirect definition itself.
2550
2551 If optional 5th arg NO-REMAP is non-nil, don't search for key sequences
2552 that invoke a command which is remapped to DEFINITION, but include the
2553 remapped command in the returned list. */)
2554 (Lisp_Object definition, Lisp_Object keymap, Lisp_Object firstonly, Lisp_Object noindirect, Lisp_Object no_remap)
2555 {
2556 /* The keymaps in which to search. */
2557 Lisp_Object keymaps;
2558 /* Potentially relevant bindings in "shortest to longest" order. */
2559 Lisp_Object sequences = Qnil;
2560 /* Actually relevant bindings. */
2561 Lisp_Object found = Qnil;
2562 /* 1 means ignore all menu bindings entirely. */
2563 int nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2564 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5, gcpro6;
2565 /* List of sequences found via remapping. Keep them in a separate
2566 variable, so as to push them later, since we prefer
2567 non-remapped binding. */
2568 Lisp_Object remapped_sequences = Qnil;
2569 /* Whether or not we're handling remapped sequences. This is needed
2570 because remapping is not done recursively by Fcommand_remapping: you
2571 can't remap a remapped command. */
2572 int remapped = 0;
2573 Lisp_Object tem = Qnil;
2574
2575 /* Refresh the C version of the modifier preference. */
2576 where_is_preferred_modifier
2577 = parse_solitary_modifier (Vwhere_is_preferred_modifier);
2578
2579 /* Find the relevant keymaps. */
2580 if (CONSP (keymap) && KEYMAPP (XCAR (keymap)))
2581 keymaps = keymap;
2582 else if (!NILP (keymap))
2583 keymaps = Fcons (keymap, Fcons (current_global_map, Qnil));
2584 else
2585 keymaps = Fcurrent_active_maps (Qnil, Qnil);
2586
2587 GCPRO6 (definition, keymaps, found, sequences, remapped_sequences, tem);
2588
2589 tem = Fcommand_remapping (definition, Qnil, keymaps);
2590 /* If `definition' is remapped to tem', then OT1H no key will run
2591 that command (since they will run `tem' instead), so we should
2592 return nil; but OTOH all keys bound to `definition' (or to `tem')
2593 will run the same command.
2594 So for menu-shortcut purposes, we want to find all the keys bound (maybe
2595 via remapping) to `tem'. But for the purpose of finding the keys that
2596 run `definition', then we'd want to just return nil.
2597 We choose to make it work right for menu-shortcuts, since it's the most
2598 common use.
2599 Known bugs: if you remap switch-to-buffer to toto, C-h f switch-to-buffer
2600 will tell you that switch-to-buffer is bound to C-x b even though C-x b
2601 will run toto instead. And if `toto' is itself remapped to forward-char,
2602 then C-h f toto will tell you that it's bound to C-f even though C-f does
2603 not run toto and it won't tell you that C-x b does run toto. */
2604 if (NILP (no_remap) && !NILP (tem))
2605 definition = tem;
2606
2607 if (SYMBOLP (definition)
2608 && !NILP (firstonly)
2609 && !NILP (tem = Fget (definition, QCadvertised_binding)))
2610 {
2611 /* We have a list of advertised bindings. */
2612 while (CONSP (tem))
2613 if (EQ (shadow_lookup (keymaps, XCAR (tem), Qnil, 0), definition))
2614 return XCAR (tem);
2615 else
2616 tem = XCDR (tem);
2617 if (EQ (shadow_lookup (keymaps, tem, Qnil, 0), definition))
2618 return tem;
2619 }
2620
2621 sequences = Freverse (where_is_internal (definition, keymaps,
2622 !NILP (noindirect), nomenus));
2623
2624 while (CONSP (sequences)
2625 /* If we're at the end of the `sequences' list and we haven't
2626 considered remapped sequences yet, copy them over and
2627 process them. */
2628 || (!remapped && (sequences = remapped_sequences,
2629 remapped = 1,
2630 CONSP (sequences))))
2631 {
2632 Lisp_Object sequence, function;
2633
2634 sequence = XCAR (sequences);
2635 sequences = XCDR (sequences);
2636
2637 /* Verify that this key binding is not shadowed by another
2638 binding for the same key, before we say it exists.
2639
2640 Mechanism: look for local definition of this key and if
2641 it is defined and does not match what we found then
2642 ignore this key.
2643
2644 Either nil or number as value from Flookup_key
2645 means undefined. */
2646 if (NILP (Fequal (shadow_lookup (keymaps, sequence, Qnil, remapped),
2647 definition)))
2648 continue;
2649
2650 /* If the current sequence is a command remapping with
2651 format [remap COMMAND], find the key sequences
2652 which run COMMAND, and use those sequences instead. */
2653 if (NILP (no_remap) && !remapped
2654 && VECTORP (sequence) && ASIZE (sequence) == 2
2655 && EQ (AREF (sequence, 0), Qremap)
2656 && (function = AREF (sequence, 1), SYMBOLP (function)))
2657 {
2658 Lisp_Object seqs = where_is_internal (function, keymaps,
2659 !NILP (noindirect), nomenus);
2660 remapped_sequences = nconc2 (Freverse (seqs), remapped_sequences);
2661 continue;
2662 }
2663
2664 /* Don't annoy user with strings from a menu such as the
2665 entries from the "Edit => Paste from Kill Menu".
2666 Change them all to "(any string)", so that there
2667 seems to be only one menu item to report. */
2668 if (! NILP (sequence))
2669 {
2670 Lisp_Object tem1;
2671 tem1 = Faref (sequence, make_number (ASIZE (sequence) - 1));
2672 if (STRINGP (tem1))
2673 Faset (sequence, make_number (ASIZE (sequence) - 1),
2674 build_string ("(any string)"));
2675 }
2676
2677 /* It is a true unshadowed match. Record it, unless it's already
2678 been seen (as could happen when inheriting keymaps). */
2679 if (NILP (Fmember (sequence, found)))
2680 found = Fcons (sequence, found);
2681
2682 /* If firstonly is Qnon_ascii, then we can return the first
2683 binding we find. If firstonly is not Qnon_ascii but not
2684 nil, then we should return the first ascii-only binding
2685 we find. */
2686 if (EQ (firstonly, Qnon_ascii))
2687 RETURN_UNGCPRO (sequence);
2688 else if (!NILP (firstonly)
2689 && 2 == preferred_sequence_p (sequence))
2690 RETURN_UNGCPRO (sequence);
2691 }
2692
2693 UNGCPRO;
2694
2695 found = Fnreverse (found);
2696
2697 /* firstonly may have been t, but we may have gone all the way through
2698 the keymaps without finding an all-ASCII key sequence. So just
2699 return the best we could find. */
2700 if (NILP (firstonly))
2701 return found;
2702 else if (where_is_preferred_modifier == 0)
2703 return Fcar (found);
2704 else
2705 { /* Maybe we did not find a preferred_modifier binding, but we did find
2706 some ASCII binding. */
2707 Lisp_Object bindings = found;
2708 while (CONSP (bindings))
2709 if (preferred_sequence_p (XCAR (bindings)))
2710 return XCAR (bindings);
2711 else
2712 bindings = XCDR (bindings);
2713 return Fcar (found);
2714 }
2715 }
2716
2717 /* This function can GC because get_keyelt can. */
2718
2719 static void
2720 where_is_internal_1 (Lisp_Object key, Lisp_Object binding, Lisp_Object args, void *data)
2721 {
2722 struct where_is_internal_data *d = data; /* Cast! */
2723 Lisp_Object definition = d->definition;
2724 int noindirect = d->noindirect;
2725 Lisp_Object this = d->this;
2726 Lisp_Object last = d->last;
2727 int last_is_meta = d->last_is_meta;
2728 Lisp_Object sequence;
2729
2730 /* Search through indirections unless that's not wanted. */
2731 if (!noindirect)
2732 binding = get_keyelt (binding, 0);
2733
2734 /* End this iteration if this element does not match
2735 the target. */
2736
2737 if (!(!NILP (where_is_cache) /* everything "matches" during cache-fill. */
2738 || EQ (binding, definition)
2739 || (CONSP (definition) && !NILP (Fequal (binding, definition)))))
2740 /* Doesn't match. */
2741 return;
2742
2743 /* We have found a match. Construct the key sequence where we found it. */
2744 if (INTEGERP (key) && last_is_meta)
2745 {
2746 sequence = Fcopy_sequence (this);
2747 Faset (sequence, last, make_number (XINT (key) | meta_modifier));
2748 }
2749 else
2750 {
2751 if (CONSP (key))
2752 key = Fcons (XCAR (key), XCDR (key));
2753 sequence = append_key (this, key);
2754 }
2755
2756 if (!NILP (where_is_cache))
2757 {
2758 Lisp_Object sequences = Fgethash (binding, where_is_cache, Qnil);
2759 Fputhash (binding, Fcons (sequence, sequences), where_is_cache);
2760 }
2761 else
2762 d->sequences = Fcons (sequence, d->sequences);
2763 }
2764 \f
2765 /* describe-bindings - summarizing all the bindings in a set of keymaps. */
2766
2767 DEFUN ("describe-buffer-bindings", Fdescribe_buffer_bindings, Sdescribe_buffer_bindings, 1, 3, 0,
2768 doc: /* Insert the list of all defined keys and their definitions.
2769 The list is inserted in the current buffer, while the bindings are
2770 looked up in BUFFER.
2771 The optional argument PREFIX, if non-nil, should be a key sequence;
2772 then we display only bindings that start with that prefix.
2773 The optional argument MENUS, if non-nil, says to mention menu bindings.
2774 \(Ordinarily these are omitted from the output.) */)
2775 (Lisp_Object buffer, Lisp_Object prefix, Lisp_Object menus)
2776 {
2777 Lisp_Object outbuf, shadow;
2778 int nomenu = NILP (menus);
2779 register Lisp_Object start1;
2780 struct gcpro gcpro1;
2781
2782 const char *alternate_heading
2783 = "\
2784 Keyboard translations:\n\n\
2785 You type Translation\n\
2786 -------- -----------\n";
2787
2788 CHECK_BUFFER (buffer);
2789
2790 shadow = Qnil;
2791 GCPRO1 (shadow);
2792
2793 outbuf = Fcurrent_buffer ();
2794
2795 /* Report on alternates for keys. */
2796 if (STRINGP (KVAR (current_kboard, Vkeyboard_translate_table)) && !NILP (prefix))
2797 {
2798 int c;
2799 const unsigned char *translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2800 int translate_len = SCHARS (KVAR (current_kboard, Vkeyboard_translate_table));
2801
2802 for (c = 0; c < translate_len; c++)
2803 if (translate[c] != c)
2804 {
2805 char buf[KEY_DESCRIPTION_SIZE];
2806 char *bufend;
2807
2808 if (alternate_heading)
2809 {
2810 insert_string (alternate_heading);
2811 alternate_heading = 0;
2812 }
2813
2814 bufend = push_key_description (translate[c], buf, 1);
2815 insert (buf, bufend - buf);
2816 Findent_to (make_number (16), make_number (1));
2817 bufend = push_key_description (c, buf, 1);
2818 insert (buf, bufend - buf);
2819
2820 insert ("\n", 1);
2821
2822 /* Insert calls signal_after_change which may GC. */
2823 translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2824 }
2825
2826 insert ("\n", 1);
2827 }
2828
2829 if (!NILP (Vkey_translation_map))
2830 describe_map_tree (Vkey_translation_map, 0, Qnil, prefix,
2831 "Key translations", nomenu, 1, 0, 0);
2832
2833
2834 /* Print the (major mode) local map. */
2835 start1 = Qnil;
2836 if (!NILP (KVAR (current_kboard, Voverriding_terminal_local_map)))
2837 start1 = KVAR (current_kboard, Voverriding_terminal_local_map);
2838 else if (!NILP (Voverriding_local_map))
2839 start1 = Voverriding_local_map;
2840
2841 if (!NILP (start1))
2842 {
2843 describe_map_tree (start1, 1, shadow, prefix,
2844 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2845 shadow = Fcons (start1, shadow);
2846 }
2847 else
2848 {
2849 /* Print the minor mode and major mode keymaps. */
2850 int i, nmaps;
2851 Lisp_Object *modes, *maps;
2852
2853 /* Temporarily switch to `buffer', so that we can get that buffer's
2854 minor modes correctly. */
2855 Fset_buffer (buffer);
2856
2857 nmaps = current_minor_maps (&modes, &maps);
2858 Fset_buffer (outbuf);
2859
2860 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2861 XBUFFER (buffer), Qkeymap);
2862 if (!NILP (start1))
2863 {
2864 describe_map_tree (start1, 1, shadow, prefix,
2865 "\f\n`keymap' Property Bindings", nomenu,
2866 0, 0, 0);
2867 shadow = Fcons (start1, shadow);
2868 }
2869
2870 /* Print the minor mode maps. */
2871 for (i = 0; i < nmaps; i++)
2872 {
2873 /* The title for a minor mode keymap
2874 is constructed at run time.
2875 We let describe_map_tree do the actual insertion
2876 because it takes care of other features when doing so. */
2877 char *title, *p;
2878
2879 if (!SYMBOLP (modes[i]))
2880 abort ();
2881
2882 p = title = (char *) alloca (42 + SCHARS (SYMBOL_NAME (modes[i])));
2883 *p++ = '\f';
2884 *p++ = '\n';
2885 *p++ = '`';
2886 memcpy (p, SDATA (SYMBOL_NAME (modes[i])),
2887 SCHARS (SYMBOL_NAME (modes[i])));
2888 p += SCHARS (SYMBOL_NAME (modes[i]));
2889 *p++ = '\'';
2890 memcpy (p, " Minor Mode Bindings", strlen (" Minor Mode Bindings"));
2891 p += strlen (" Minor Mode Bindings");
2892 *p = 0;
2893
2894 describe_map_tree (maps[i], 1, shadow, prefix,
2895 title, nomenu, 0, 0, 0);
2896 shadow = Fcons (maps[i], shadow);
2897 }
2898
2899 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2900 XBUFFER (buffer), Qlocal_map);
2901 if (!NILP (start1))
2902 {
2903 if (EQ (start1, BVAR (XBUFFER (buffer), keymap)))
2904 describe_map_tree (start1, 1, shadow, prefix,
2905 "\f\nMajor Mode Bindings", nomenu, 0, 0, 0);
2906 else
2907 describe_map_tree (start1, 1, shadow, prefix,
2908 "\f\n`local-map' Property Bindings",
2909 nomenu, 0, 0, 0);
2910
2911 shadow = Fcons (start1, shadow);
2912 }
2913 }
2914
2915 describe_map_tree (current_global_map, 1, shadow, prefix,
2916 "\f\nGlobal Bindings", nomenu, 0, 1, 0);
2917
2918 /* Print the function-key-map translations under this prefix. */
2919 if (!NILP (KVAR (current_kboard, Vlocal_function_key_map)))
2920 describe_map_tree (KVAR (current_kboard, Vlocal_function_key_map), 0, Qnil, prefix,
2921 "\f\nFunction key map translations", nomenu, 1, 0, 0);
2922
2923 /* Print the input-decode-map translations under this prefix. */
2924 if (!NILP (KVAR (current_kboard, Vinput_decode_map)))
2925 describe_map_tree (KVAR (current_kboard, Vinput_decode_map), 0, Qnil, prefix,
2926 "\f\nInput decoding map translations", nomenu, 1, 0, 0);
2927
2928 UNGCPRO;
2929 return Qnil;
2930 }
2931
2932 /* Insert a description of the key bindings in STARTMAP,
2933 followed by those of all maps reachable through STARTMAP.
2934 If PARTIAL is nonzero, omit certain "uninteresting" commands
2935 (such as `undefined').
2936 If SHADOW is non-nil, it is a list of maps;
2937 don't mention keys which would be shadowed by any of them.
2938 PREFIX, if non-nil, says mention only keys that start with PREFIX.
2939 TITLE, if not 0, is a string to insert at the beginning.
2940 TITLE should not end with a colon or a newline; we supply that.
2941 If NOMENU is not 0, then omit menu-bar commands.
2942
2943 If TRANSL is nonzero, the definitions are actually key translations
2944 so print strings and vectors differently.
2945
2946 If ALWAYS_TITLE is nonzero, print the title even if there are no maps
2947 to look through.
2948
2949 If MENTION_SHADOW is nonzero, then when something is shadowed by SHADOW,
2950 don't omit it; instead, mention it but say it is shadowed.
2951
2952 Return whether something was inserted or not. */
2953
2954 int
2955 describe_map_tree (Lisp_Object startmap, int partial, Lisp_Object shadow,
2956 Lisp_Object prefix, const char *title, int nomenu, int transl,
2957 int always_title, int mention_shadow)
2958 {
2959 Lisp_Object maps, orig_maps, seen, sub_shadows;
2960 struct gcpro gcpro1, gcpro2, gcpro3;
2961 int something = 0;
2962 const char *key_heading
2963 = "\
2964 key binding\n\
2965 --- -------\n";
2966
2967 orig_maps = maps = Faccessible_keymaps (startmap, prefix);
2968 seen = Qnil;
2969 sub_shadows = Qnil;
2970 GCPRO3 (maps, seen, sub_shadows);
2971
2972 if (nomenu)
2973 {
2974 Lisp_Object list;
2975
2976 /* Delete from MAPS each element that is for the menu bar. */
2977 for (list = maps; CONSP (list); list = XCDR (list))
2978 {
2979 Lisp_Object elt, elt_prefix, tem;
2980
2981 elt = XCAR (list);
2982 elt_prefix = Fcar (elt);
2983 if (ASIZE (elt_prefix) >= 1)
2984 {
2985 tem = Faref (elt_prefix, make_number (0));
2986 if (EQ (tem, Qmenu_bar))
2987 maps = Fdelq (elt, maps);
2988 }
2989 }
2990 }
2991
2992 if (!NILP (maps) || always_title)
2993 {
2994 if (title)
2995 {
2996 insert_string (title);
2997 if (!NILP (prefix))
2998 {
2999 insert_string (" Starting With ");
3000 insert1 (Fkey_description (prefix, Qnil));
3001 }
3002 insert_string (":\n");
3003 }
3004 insert_string (key_heading);
3005 something = 1;
3006 }
3007
3008 for (; CONSP (maps); maps = XCDR (maps))
3009 {
3010 register Lisp_Object elt, elt_prefix, tail;
3011
3012 elt = XCAR (maps);
3013 elt_prefix = Fcar (elt);
3014
3015 sub_shadows = Qnil;
3016
3017 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
3018 {
3019 Lisp_Object shmap;
3020
3021 shmap = XCAR (tail);
3022
3023 /* If the sequence by which we reach this keymap is zero-length,
3024 then the shadow map for this keymap is just SHADOW. */
3025 if ((STRINGP (elt_prefix) && SCHARS (elt_prefix) == 0)
3026 || (VECTORP (elt_prefix) && ASIZE (elt_prefix) == 0))
3027 ;
3028 /* If the sequence by which we reach this keymap actually has
3029 some elements, then the sequence's definition in SHADOW is
3030 what we should use. */
3031 else
3032 {
3033 shmap = Flookup_key (shmap, Fcar (elt), Qt);
3034 if (INTEGERP (shmap))
3035 shmap = Qnil;
3036 }
3037
3038 /* If shmap is not nil and not a keymap,
3039 it completely shadows this map, so don't
3040 describe this map at all. */
3041 if (!NILP (shmap) && !KEYMAPP (shmap))
3042 goto skip;
3043
3044 if (!NILP (shmap))
3045 sub_shadows = Fcons (shmap, sub_shadows);
3046 }
3047
3048 /* Maps we have already listed in this loop shadow this map. */
3049 for (tail = orig_maps; !EQ (tail, maps); tail = XCDR (tail))
3050 {
3051 Lisp_Object tem;
3052 tem = Fequal (Fcar (XCAR (tail)), elt_prefix);
3053 if (!NILP (tem))
3054 sub_shadows = Fcons (XCDR (XCAR (tail)), sub_shadows);
3055 }
3056
3057 describe_map (Fcdr (elt), elt_prefix,
3058 transl ? describe_translation : describe_command,
3059 partial, sub_shadows, &seen, nomenu, mention_shadow);
3060
3061 skip: ;
3062 }
3063
3064 UNGCPRO;
3065 return something;
3066 }
3067
3068 static int previous_description_column;
3069
3070 static void
3071 describe_command (Lisp_Object definition, Lisp_Object args)
3072 {
3073 register Lisp_Object tem1;
3074 EMACS_INT column = current_column ();
3075 int description_column;
3076
3077 /* If column 16 is no good, go to col 32;
3078 but don't push beyond that--go to next line instead. */
3079 if (column > 30)
3080 {
3081 insert_char ('\n');
3082 description_column = 32;
3083 }
3084 else if (column > 14 || (column > 10 && previous_description_column == 32))
3085 description_column = 32;
3086 else
3087 description_column = 16;
3088
3089 Findent_to (make_number (description_column), make_number (1));
3090 previous_description_column = description_column;
3091
3092 if (SYMBOLP (definition))
3093 {
3094 tem1 = SYMBOL_NAME (definition);
3095 insert1 (tem1);
3096 insert_string ("\n");
3097 }
3098 else if (STRINGP (definition) || VECTORP (definition))
3099 insert_string ("Keyboard Macro\n");
3100 else if (KEYMAPP (definition))
3101 insert_string ("Prefix Command\n");
3102 else
3103 insert_string ("??\n");
3104 }
3105
3106 static void
3107 describe_translation (Lisp_Object definition, Lisp_Object args)
3108 {
3109 register Lisp_Object tem1;
3110
3111 Findent_to (make_number (16), make_number (1));
3112
3113 if (SYMBOLP (definition))
3114 {
3115 tem1 = SYMBOL_NAME (definition);
3116 insert1 (tem1);
3117 insert_string ("\n");
3118 }
3119 else if (STRINGP (definition) || VECTORP (definition))
3120 {
3121 insert1 (Fkey_description (definition, Qnil));
3122 insert_string ("\n");
3123 }
3124 else if (KEYMAPP (definition))
3125 insert_string ("Prefix Command\n");
3126 else
3127 insert_string ("??\n");
3128 }
3129
3130 /* describe_map puts all the usable elements of a sparse keymap
3131 into an array of `struct describe_map_elt',
3132 then sorts them by the events. */
3133
3134 struct describe_map_elt { Lisp_Object event; Lisp_Object definition; int shadowed; };
3135
3136 /* qsort comparison function for sorting `struct describe_map_elt' by
3137 the event field. */
3138
3139 static int
3140 describe_map_compare (const void *aa, const void *bb)
3141 {
3142 const struct describe_map_elt *a = aa, *b = bb;
3143 if (INTEGERP (a->event) && INTEGERP (b->event))
3144 return ((XINT (a->event) > XINT (b->event))
3145 - (XINT (a->event) < XINT (b->event)));
3146 if (!INTEGERP (a->event) && INTEGERP (b->event))
3147 return 1;
3148 if (INTEGERP (a->event) && !INTEGERP (b->event))
3149 return -1;
3150 if (SYMBOLP (a->event) && SYMBOLP (b->event))
3151 return (!NILP (Fstring_lessp (a->event, b->event)) ? -1
3152 : !NILP (Fstring_lessp (b->event, a->event)) ? 1
3153 : 0);
3154 return 0;
3155 }
3156
3157 /* Describe the contents of map MAP, assuming that this map itself is
3158 reached by the sequence of prefix keys PREFIX (a string or vector).
3159 PARTIAL, SHADOW, NOMENU are as in `describe_map_tree' above. */
3160
3161 static void
3162 describe_map (Lisp_Object map, Lisp_Object prefix,
3163 void (*elt_describer) (Lisp_Object, Lisp_Object),
3164 int partial, Lisp_Object shadow,
3165 Lisp_Object *seen, int nomenu, int mention_shadow)
3166 {
3167 Lisp_Object tail, definition, event;
3168 Lisp_Object tem;
3169 Lisp_Object suppress;
3170 Lisp_Object kludge;
3171 int first = 1;
3172 struct gcpro gcpro1, gcpro2, gcpro3;
3173
3174 /* These accumulate the values from sparse keymap bindings,
3175 so we can sort them and handle them in order. */
3176 int length_needed = 0;
3177 struct describe_map_elt *vect;
3178 int slots_used = 0;
3179 int i;
3180
3181 suppress = Qnil;
3182
3183 if (partial)
3184 suppress = intern ("suppress-keymap");
3185
3186 /* This vector gets used to present single keys to Flookup_key. Since
3187 that is done once per keymap element, we don't want to cons up a
3188 fresh vector every time. */
3189 kludge = Fmake_vector (make_number (1), Qnil);
3190 definition = Qnil;
3191
3192 GCPRO3 (prefix, definition, kludge);
3193
3194 map = call1 (Qkeymap_canonicalize, map);
3195
3196 for (tail = map; CONSP (tail); tail = XCDR (tail))
3197 length_needed++;
3198
3199 vect = ((struct describe_map_elt *)
3200 alloca (sizeof (struct describe_map_elt) * length_needed));
3201
3202 for (tail = map; CONSP (tail); tail = XCDR (tail))
3203 {
3204 QUIT;
3205
3206 if (VECTORP (XCAR (tail))
3207 || CHAR_TABLE_P (XCAR (tail)))
3208 describe_vector (XCAR (tail),
3209 prefix, Qnil, elt_describer, partial, shadow, map,
3210 1, mention_shadow);
3211 else if (CONSP (XCAR (tail)))
3212 {
3213 int this_shadowed = 0;
3214
3215 event = XCAR (XCAR (tail));
3216
3217 /* Ignore bindings whose "prefix" are not really valid events.
3218 (We get these in the frames and buffers menu.) */
3219 if (!(SYMBOLP (event) || INTEGERP (event)))
3220 continue;
3221
3222 if (nomenu && EQ (event, Qmenu_bar))
3223 continue;
3224
3225 definition = get_keyelt (XCDR (XCAR (tail)), 0);
3226
3227 /* Don't show undefined commands or suppressed commands. */
3228 if (NILP (definition)) continue;
3229 if (SYMBOLP (definition) && partial)
3230 {
3231 tem = Fget (definition, suppress);
3232 if (!NILP (tem))
3233 continue;
3234 }
3235
3236 /* Don't show a command that isn't really visible
3237 because a local definition of the same key shadows it. */
3238
3239 ASET (kludge, 0, event);
3240 if (!NILP (shadow))
3241 {
3242 tem = shadow_lookup (shadow, kludge, Qt, 0);
3243 if (!NILP (tem))
3244 {
3245 /* If both bindings are keymaps, this key is a prefix key,
3246 so don't say it is shadowed. */
3247 if (KEYMAPP (definition) && KEYMAPP (tem))
3248 ;
3249 /* Avoid generating duplicate entries if the
3250 shadowed binding has the same definition. */
3251 else if (mention_shadow && !EQ (tem, definition))
3252 this_shadowed = 1;
3253 else
3254 continue;
3255 }
3256 }
3257
3258 tem = Flookup_key (map, kludge, Qt);
3259 if (!EQ (tem, definition)) continue;
3260
3261 vect[slots_used].event = event;
3262 vect[slots_used].definition = definition;
3263 vect[slots_used].shadowed = this_shadowed;
3264 slots_used++;
3265 }
3266 else if (EQ (XCAR (tail), Qkeymap))
3267 {
3268 /* The same keymap might be in the structure twice, if we're
3269 using an inherited keymap. So skip anything we've already
3270 encountered. */
3271 tem = Fassq (tail, *seen);
3272 if (CONSP (tem) && !NILP (Fequal (XCAR (tem), prefix)))
3273 break;
3274 *seen = Fcons (Fcons (tail, prefix), *seen);
3275 }
3276 }
3277
3278 /* If we found some sparse map events, sort them. */
3279
3280 qsort (vect, slots_used, sizeof (struct describe_map_elt),
3281 describe_map_compare);
3282
3283 /* Now output them in sorted order. */
3284
3285 for (i = 0; i < slots_used; i++)
3286 {
3287 Lisp_Object start, end;
3288
3289 if (first)
3290 {
3291 previous_description_column = 0;
3292 insert ("\n", 1);
3293 first = 0;
3294 }
3295
3296 ASET (kludge, 0, vect[i].event);
3297 start = vect[i].event;
3298 end = start;
3299
3300 definition = vect[i].definition;
3301
3302 /* Find consecutive chars that are identically defined. */
3303 if (INTEGERP (vect[i].event))
3304 {
3305 while (i + 1 < slots_used
3306 && EQ (vect[i+1].event, make_number (XINT (vect[i].event) + 1))
3307 && !NILP (Fequal (vect[i + 1].definition, definition))
3308 && vect[i].shadowed == vect[i + 1].shadowed)
3309 i++;
3310 end = vect[i].event;
3311 }
3312
3313 /* Now START .. END is the range to describe next. */
3314
3315 /* Insert the string to describe the event START. */
3316 insert1 (Fkey_description (kludge, prefix));
3317
3318 if (!EQ (start, end))
3319 {
3320 insert (" .. ", 4);
3321
3322 ASET (kludge, 0, end);
3323 /* Insert the string to describe the character END. */
3324 insert1 (Fkey_description (kludge, prefix));
3325 }
3326
3327 /* Print a description of the definition of this character.
3328 elt_describer will take care of spacing out far enough
3329 for alignment purposes. */
3330 (*elt_describer) (vect[i].definition, Qnil);
3331
3332 if (vect[i].shadowed)
3333 {
3334 SET_PT (PT - 1);
3335 insert_string ("\n (that binding is currently shadowed by another mode)");
3336 SET_PT (PT + 1);
3337 }
3338 }
3339
3340 UNGCPRO;
3341 }
3342
3343 static void
3344 describe_vector_princ (Lisp_Object elt, Lisp_Object fun)
3345 {
3346 Findent_to (make_number (16), make_number (1));
3347 call1 (fun, elt);
3348 Fterpri (Qnil);
3349 }
3350
3351 DEFUN ("describe-vector", Fdescribe_vector, Sdescribe_vector, 1, 2, 0,
3352 doc: /* Insert a description of contents of VECTOR.
3353 This is text showing the elements of vector matched against indices.
3354 DESCRIBER is the output function used; nil means use `princ'. */)
3355 (Lisp_Object vector, Lisp_Object describer)
3356 {
3357 int count = SPECPDL_INDEX ();
3358 if (NILP (describer))
3359 describer = intern ("princ");
3360 specbind (Qstandard_output, Fcurrent_buffer ());
3361 CHECK_VECTOR_OR_CHAR_TABLE (vector);
3362 describe_vector (vector, Qnil, describer, describe_vector_princ, 0,
3363 Qnil, Qnil, 0, 0);
3364
3365 return unbind_to (count, Qnil);
3366 }
3367
3368 /* Insert in the current buffer a description of the contents of VECTOR.
3369 We call ELT_DESCRIBER to insert the description of one value found
3370 in VECTOR.
3371
3372 ELT_PREFIX describes what "comes before" the keys or indices defined
3373 by this vector. This is a human-readable string whose size
3374 is not necessarily related to the situation.
3375
3376 If the vector is in a keymap, ELT_PREFIX is a prefix key which
3377 leads to this keymap.
3378
3379 If the vector is a chartable, ELT_PREFIX is the vector
3380 of bytes that lead to the character set or portion of a character
3381 set described by this chartable.
3382
3383 If PARTIAL is nonzero, it means do not mention suppressed commands
3384 (that assumes the vector is in a keymap).
3385
3386 SHADOW is a list of keymaps that shadow this map.
3387 If it is non-nil, then we look up the key in those maps
3388 and we don't mention it now if it is defined by any of them.
3389
3390 ENTIRE_MAP is the keymap in which this vector appears.
3391 If the definition in effect in the whole map does not match
3392 the one in this vector, we ignore this one.
3393
3394 ARGS is simply passed as the second argument to ELT_DESCRIBER.
3395
3396 KEYMAP_P is 1 if vector is known to be a keymap, so map ESC to M-.
3397
3398 ARGS is simply passed as the second argument to ELT_DESCRIBER. */
3399
3400 static void
3401 describe_vector (Lisp_Object vector, Lisp_Object prefix, Lisp_Object args,
3402 void (*elt_describer) (Lisp_Object, Lisp_Object),
3403 int partial, Lisp_Object shadow, Lisp_Object entire_map,
3404 int keymap_p, int mention_shadow)
3405 {
3406 Lisp_Object definition;
3407 Lisp_Object tem2;
3408 Lisp_Object elt_prefix = Qnil;
3409 int i;
3410 Lisp_Object suppress;
3411 Lisp_Object kludge;
3412 int first = 1;
3413 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
3414 /* Range of elements to be handled. */
3415 int from, to, stop;
3416 Lisp_Object character;
3417 int starting_i;
3418
3419 suppress = Qnil;
3420
3421 definition = Qnil;
3422
3423 if (!keymap_p)
3424 {
3425 /* Call Fkey_description first, to avoid GC bug for the other string. */
3426 if (!NILP (prefix) && XFASTINT (Flength (prefix)) > 0)
3427 {
3428 Lisp_Object tem;
3429 tem = Fkey_description (prefix, Qnil);
3430 elt_prefix = concat2 (tem, build_string (" "));
3431 }
3432 prefix = Qnil;
3433 }
3434
3435 /* This vector gets used to present single keys to Flookup_key. Since
3436 that is done once per vector element, we don't want to cons up a
3437 fresh vector every time. */
3438 kludge = Fmake_vector (make_number (1), Qnil);
3439 GCPRO4 (elt_prefix, prefix, definition, kludge);
3440
3441 if (partial)
3442 suppress = intern ("suppress-keymap");
3443
3444 from = 0;
3445 if (CHAR_TABLE_P (vector))
3446 stop = MAX_5_BYTE_CHAR + 1, to = MAX_CHAR + 1;
3447 else
3448 stop = to = ASIZE (vector);
3449
3450 for (i = from; ; i++)
3451 {
3452 int this_shadowed = 0;
3453 int range_beg, range_end;
3454 Lisp_Object val;
3455
3456 QUIT;
3457
3458 if (i == stop)
3459 {
3460 if (i == to)
3461 break;
3462 stop = to;
3463 }
3464
3465 starting_i = i;
3466
3467 if (CHAR_TABLE_P (vector))
3468 {
3469 range_beg = i;
3470 i = stop - 1;
3471 val = char_table_ref_and_range (vector, range_beg, &range_beg, &i);
3472 }
3473 else
3474 val = AREF (vector, i);
3475 definition = get_keyelt (val, 0);
3476
3477 if (NILP (definition)) continue;
3478
3479 /* Don't mention suppressed commands. */
3480 if (SYMBOLP (definition) && partial)
3481 {
3482 Lisp_Object tem;
3483
3484 tem = Fget (definition, suppress);
3485
3486 if (!NILP (tem)) continue;
3487 }
3488
3489 character = make_number (starting_i);
3490 ASET (kludge, 0, character);
3491
3492 /* If this binding is shadowed by some other map, ignore it. */
3493 if (!NILP (shadow))
3494 {
3495 Lisp_Object tem;
3496
3497 tem = shadow_lookup (shadow, kludge, Qt, 0);
3498
3499 if (!NILP (tem))
3500 {
3501 if (mention_shadow)
3502 this_shadowed = 1;
3503 else
3504 continue;
3505 }
3506 }
3507
3508 /* Ignore this definition if it is shadowed by an earlier
3509 one in the same keymap. */
3510 if (!NILP (entire_map))
3511 {
3512 Lisp_Object tem;
3513
3514 tem = Flookup_key (entire_map, kludge, Qt);
3515
3516 if (!EQ (tem, definition))
3517 continue;
3518 }
3519
3520 if (first)
3521 {
3522 insert ("\n", 1);
3523 first = 0;
3524 }
3525
3526 /* Output the prefix that applies to every entry in this map. */
3527 if (!NILP (elt_prefix))
3528 insert1 (elt_prefix);
3529
3530 insert1 (Fkey_description (kludge, prefix));
3531
3532 /* Find all consecutive characters or rows that have the same
3533 definition. But, VECTOR is a char-table, we had better put a
3534 boundary between normal characters (-#x3FFF7F) and 8-bit
3535 characters (#x3FFF80-). */
3536 if (CHAR_TABLE_P (vector))
3537 {
3538 while (i + 1 < stop
3539 && (range_beg = i + 1, range_end = stop - 1,
3540 val = char_table_ref_and_range (vector, range_beg,
3541 &range_beg, &range_end),
3542 tem2 = get_keyelt (val, 0),
3543 !NILP (tem2))
3544 && !NILP (Fequal (tem2, definition)))
3545 i = range_end;
3546 }
3547 else
3548 while (i + 1 < stop
3549 && (tem2 = get_keyelt (AREF (vector, i + 1), 0),
3550 !NILP (tem2))
3551 && !NILP (Fequal (tem2, definition)))
3552 i++;
3553
3554 /* If we have a range of more than one character,
3555 print where the range reaches to. */
3556
3557 if (i != starting_i)
3558 {
3559 insert (" .. ", 4);
3560
3561 ASET (kludge, 0, make_number (i));
3562
3563 if (!NILP (elt_prefix))
3564 insert1 (elt_prefix);
3565
3566 insert1 (Fkey_description (kludge, prefix));
3567 }
3568
3569 /* Print a description of the definition of this character.
3570 elt_describer will take care of spacing out far enough
3571 for alignment purposes. */
3572 (*elt_describer) (definition, args);
3573
3574 if (this_shadowed)
3575 {
3576 SET_PT (PT - 1);
3577 insert_string (" (binding currently shadowed)");
3578 SET_PT (PT + 1);
3579 }
3580 }
3581
3582 if (CHAR_TABLE_P (vector) && ! NILP (XCHAR_TABLE (vector)->defalt))
3583 {
3584 if (!NILP (elt_prefix))
3585 insert1 (elt_prefix);
3586 insert ("default", 7);
3587 (*elt_describer) (XCHAR_TABLE (vector)->defalt, args);
3588 }
3589
3590 UNGCPRO;
3591 }
3592 \f
3593 /* Apropos - finding all symbols whose names match a regexp. */
3594 static Lisp_Object apropos_predicate;
3595 static Lisp_Object apropos_accumulate;
3596
3597 static void
3598 apropos_accum (Lisp_Object symbol, Lisp_Object string)
3599 {
3600 register Lisp_Object tem;
3601
3602 tem = Fstring_match (string, Fsymbol_name (symbol), Qnil);
3603 if (!NILP (tem) && !NILP (apropos_predicate))
3604 tem = call1 (apropos_predicate, symbol);
3605 if (!NILP (tem))
3606 apropos_accumulate = Fcons (symbol, apropos_accumulate);
3607 }
3608
3609 DEFUN ("apropos-internal", Fapropos_internal, Sapropos_internal, 1, 2, 0,
3610 doc: /* Show all symbols whose names contain match for REGEXP.
3611 If optional 2nd arg PREDICATE is non-nil, (funcall PREDICATE SYMBOL) is done
3612 for each symbol and a symbol is mentioned only if that returns non-nil.
3613 Return list of symbols found. */)
3614 (Lisp_Object regexp, Lisp_Object predicate)
3615 {
3616 Lisp_Object tem;
3617 CHECK_STRING (regexp);
3618 apropos_predicate = predicate;
3619 apropos_accumulate = Qnil;
3620 map_obarray (Vobarray, apropos_accum, regexp);
3621 tem = Fsort (apropos_accumulate, Qstring_lessp);
3622 apropos_accumulate = Qnil;
3623 apropos_predicate = Qnil;
3624 return tem;
3625 }
3626 \f
3627 void
3628 syms_of_keymap (void)
3629 {
3630 DEFSYM (Qkeymap, "keymap");
3631 staticpro (&apropos_predicate);
3632 staticpro (&apropos_accumulate);
3633 apropos_predicate = Qnil;
3634 apropos_accumulate = Qnil;
3635
3636 DEFSYM (Qkeymap_canonicalize, "keymap-canonicalize");
3637
3638 /* Now we are ready to set up this property, so we can
3639 create char tables. */
3640 Fput (Qkeymap, Qchar_table_extra_slots, make_number (0));
3641
3642 /* Initialize the keymaps standardly used.
3643 Each one is the value of a Lisp variable, and is also
3644 pointed to by a C variable */
3645
3646 global_map = Fmake_keymap (Qnil);
3647 Fset (intern_c_string ("global-map"), global_map);
3648
3649 current_global_map = global_map;
3650 staticpro (&global_map);
3651 staticpro (&current_global_map);
3652
3653 meta_map = Fmake_keymap (Qnil);
3654 Fset (intern_c_string ("esc-map"), meta_map);
3655 Ffset (intern_c_string ("ESC-prefix"), meta_map);
3656
3657 control_x_map = Fmake_keymap (Qnil);
3658 Fset (intern_c_string ("ctl-x-map"), control_x_map);
3659 Ffset (intern_c_string ("Control-X-prefix"), control_x_map);
3660
3661 exclude_keys
3662 = pure_cons (pure_cons (make_pure_c_string ("DEL"), make_pure_c_string ("\\d")),
3663 pure_cons (pure_cons (make_pure_c_string ("TAB"), make_pure_c_string ("\\t")),
3664 pure_cons (pure_cons (make_pure_c_string ("RET"), make_pure_c_string ("\\r")),
3665 pure_cons (pure_cons (make_pure_c_string ("ESC"), make_pure_c_string ("\\e")),
3666 pure_cons (pure_cons (make_pure_c_string ("SPC"), make_pure_c_string (" ")),
3667 Qnil)))));
3668 staticpro (&exclude_keys);
3669
3670 DEFVAR_LISP ("define-key-rebound-commands", Vdefine_key_rebound_commands,
3671 doc: /* List of commands given new key bindings recently.
3672 This is used for internal purposes during Emacs startup;
3673 don't alter it yourself. */);
3674 Vdefine_key_rebound_commands = Qt;
3675
3676 DEFVAR_LISP ("minibuffer-local-map", Vminibuffer_local_map,
3677 doc: /* Default keymap to use when reading from the minibuffer. */);
3678 Vminibuffer_local_map = Fmake_sparse_keymap (Qnil);
3679
3680 DEFVAR_LISP ("minibuffer-local-ns-map", Vminibuffer_local_ns_map,
3681 doc: /* Local keymap for the minibuffer when spaces are not allowed. */);
3682 Vminibuffer_local_ns_map = Fmake_sparse_keymap (Qnil);
3683 Fset_keymap_parent (Vminibuffer_local_ns_map, Vminibuffer_local_map);
3684
3685
3686 DEFVAR_LISP ("minor-mode-map-alist", Vminor_mode_map_alist,
3687 doc: /* Alist of keymaps to use for minor modes.
3688 Each element looks like (VARIABLE . KEYMAP); KEYMAP is used to read
3689 key sequences and look up bindings if VARIABLE's value is non-nil.
3690 If two active keymaps bind the same key, the keymap appearing earlier
3691 in the list takes precedence. */);
3692 Vminor_mode_map_alist = Qnil;
3693
3694 DEFVAR_LISP ("minor-mode-overriding-map-alist", Vminor_mode_overriding_map_alist,
3695 doc: /* Alist of keymaps to use for minor modes, in current major mode.
3696 This variable is an alist just like `minor-mode-map-alist', and it is
3697 used the same way (and before `minor-mode-map-alist'); however,
3698 it is provided for major modes to bind locally. */);
3699 Vminor_mode_overriding_map_alist = Qnil;
3700
3701 DEFVAR_LISP ("emulation-mode-map-alists", Vemulation_mode_map_alists,
3702 doc: /* List of keymap alists to use for emulations modes.
3703 It is intended for modes or packages using multiple minor-mode keymaps.
3704 Each element is a keymap alist just like `minor-mode-map-alist', or a
3705 symbol with a variable binding which is a keymap alist, and it is used
3706 the same way. The "active" keymaps in each alist are used before
3707 `minor-mode-map-alist' and `minor-mode-overriding-map-alist'. */);
3708 Vemulation_mode_map_alists = Qnil;
3709
3710 DEFVAR_LISP ("where-is-preferred-modifier", Vwhere_is_preferred_modifier,
3711 doc: /* Preferred modifier key to use for `where-is'.
3712 When a single binding is requested, `where-is' will return one that
3713 uses this modifier key if possible. If nil, or if no such binding
3714 exists, bindings using keys without modifiers (or only with meta) will
3715 be preferred. */);
3716 Vwhere_is_preferred_modifier = Qnil;
3717 where_is_preferred_modifier = 0;
3718
3719 staticpro (&Vmouse_events);
3720 Vmouse_events = pure_cons (intern_c_string ("menu-bar"),
3721 pure_cons (intern_c_string ("tool-bar"),
3722 pure_cons (intern_c_string ("header-line"),
3723 pure_cons (intern_c_string ("mode-line"),
3724 pure_cons (intern_c_string ("mouse-1"),
3725 pure_cons (intern_c_string ("mouse-2"),
3726 pure_cons (intern_c_string ("mouse-3"),
3727 pure_cons (intern_c_string ("mouse-4"),
3728 pure_cons (intern_c_string ("mouse-5"),
3729 Qnil)))))))));
3730
3731 DEFSYM (Qsingle_key_description, "single-key-description");
3732 DEFSYM (Qkey_description, "key-description");
3733 DEFSYM (Qkeymapp, "keymapp");
3734 DEFSYM (Qnon_ascii, "non-ascii");
3735 DEFSYM (Qmenu_item, "menu-item");
3736 DEFSYM (Qremap, "remap");
3737 DEFSYM (QCadvertised_binding, ":advertised-binding");
3738
3739 command_remapping_vector = Fmake_vector (make_number (2), Qremap);
3740 staticpro (&command_remapping_vector);
3741
3742 where_is_cache_keymaps = Qt;
3743 where_is_cache = Qnil;
3744 staticpro (&where_is_cache);
3745 staticpro (&where_is_cache_keymaps);
3746
3747 defsubr (&Skeymapp);
3748 defsubr (&Skeymap_parent);
3749 defsubr (&Skeymap_prompt);
3750 defsubr (&Sset_keymap_parent);
3751 defsubr (&Smake_keymap);
3752 defsubr (&Smake_sparse_keymap);
3753 defsubr (&Smap_keymap_internal);
3754 defsubr (&Smap_keymap);
3755 defsubr (&Scopy_keymap);
3756 defsubr (&Scommand_remapping);
3757 defsubr (&Skey_binding);
3758 defsubr (&Slocal_key_binding);
3759 defsubr (&Sglobal_key_binding);
3760 defsubr (&Sminor_mode_key_binding);
3761 defsubr (&Sdefine_key);
3762 defsubr (&Slookup_key);
3763 defsubr (&Sdefine_prefix_command);
3764 defsubr (&Suse_global_map);
3765 defsubr (&Suse_local_map);
3766 defsubr (&Scurrent_local_map);
3767 defsubr (&Scurrent_global_map);
3768 defsubr (&Scurrent_minor_mode_maps);
3769 defsubr (&Scurrent_active_maps);
3770 defsubr (&Saccessible_keymaps);
3771 defsubr (&Skey_description);
3772 defsubr (&Sdescribe_vector);
3773 defsubr (&Ssingle_key_description);
3774 defsubr (&Stext_char_description);
3775 defsubr (&Swhere_is_internal);
3776 defsubr (&Sdescribe_buffer_bindings);
3777 defsubr (&Sapropos_internal);
3778 }
3779
3780 void
3781 keys_of_keymap (void)
3782 {
3783 initial_define_key (global_map, 033, "ESC-prefix");
3784 initial_define_key (global_map, Ctl ('X'), "Control-X-prefix");
3785 }