annotate lisp/double.el @ 13728:4b7903cfa7ee

(bibtex-auto-fill-function): Adapted for use with changed autofill policy of emacs-19.30 (uses now fill-prefix instead of indent-line-function). (bibtex-indent-line-function): Removed (not used any more). (bibtex-make-field): Was broken when called non-interactively. (bibtex-make-field): Point is now placed on closing brace or quote (suggested by Karl Eichwalder <ke@ke.Central.DE>). (bibtex-clean-entry): Comma after last field isn't deleted anymore (new standard in BibTeX 0.99 and 1.xx). (bibtex-enclosing-reference-maybe-empty-head): Works with entries with comma after last field. (bibtex-reference): Permits entries with comma after last field. (bibtex-font-lock-keywords): Enhanced to support new field-name characters (suggested by Martin Maechler <maechler@stat.math.ethz.ch>). (bibtex-field-name): Now numbers (not as the first sign), dashes, and underscores are allowed (suggested by Martin Maechler <maechler@stat.math.ethz.ch> and Oren Patashnik <opbibtex@labrea.Stanford.EDU>). (bibtex-make-field): Was broken on lines containing non-parenthesized entries (reported by Karl Eichwalder <ke@ke.Central.DE>). (bibtex-validate-buffer): Changed so that preamble references are ignored (same as string entries) (reported by Martin Maechler <maechler@stat.math.ethz.ch>). (bibtex-enclosing-reference-maybe-empty-head): New function to be used in case reference head may be empty. (bibtex-clean-entry, bibtex-pop-previous, bibtex-pop-next): Uses now bibtex-enclosing-reference-maybe-empty-head. (bibtex-mode): Added support for font-lock mode. (bibtex-font-lock-keywords): New variable with font-lock keywords for BibTeX mode. (bibtex-make-optional-field): Not longer interactive (suggested by Karl Eichwalder <karl@pertron.central.de>). (bibtex-maintain-sorted-entries): Set to nil, since it requires more user attention and more restricted files to have this set to t. (bibtex-maintain-sorted-entries, bibtex-sort-ignore-string-entries): Made buffer local, since it may depend on the buffer which preferences to use. (bibtex-validate-buffer): Looking for correct sort order only when bibtex-maintain-sorted-entries is non-nil. Put a comment in the `KNOWN BUGS' section about the quote-inside-quotes problem. (whole file): Changed string `true' in some documentation strings to `non-nil' (e.g. `if variable has a true/non-nil value'). (bibtex-mode-map): Changed `move/edit' to `bibtex-edit'. (bibtex-sort-entries): Now works correctly with `@String' entries inside BibTeX files (i.e. after the occurence of other references). (bibtex-validate-buffer): Inserted code which looks if entries are balanced (a single non-escaped quote inside braces was not detected till now, but bibtex-sort-entries stumbles about it). (bibtex-entry): bibtex-move-outside-of-entry is only called when bibtex-maintain-sorted-entries is nil (otherwise bibtex-find-entry-location determines the correct location). (bibtex-find-entry-location): Now uses binary search. As before, it assumes that the buffer is sorted without duplicates (but as before it is only called when bibtex-maintain-sorted-entries is t). Ignores `@String' entries if told so via variable bibtex-sort-ignore-string-entries. (bibtex-clean-entry): Respect bibtex-maintain-sorted-entries when inserting autokey. (bibtex-validate-buffer): Searching whole buffer for duplicates and correct order is now done directly instead of calling bibtex-find-entry-location (since this is to be reprogrammed to use a binary search instead a sequential one). (bibtex-parse-keys): May now be called with an optional parameter which (if t) tells bibtex-parse-keys that it should abort if input is pending. (bibtex-mode): The instance of bibtex-parse-keys called in auto-save-mode-hook is now called with this new parameter set to t, so an auto-save caused by exceeding auto-save-interval is now aborted immediately if user is still typing. (bibtex-print-help-message, bibtex-clean-entry): Use now constant strings instead of custom ones. (bibtex-clean-entry): Changed the call of bibtex-enclosing-reference to a more specific call so entries without a key (here allowed) can be handled. (bibtex-reference-key): Cleared off parentheses (caused string entries enclosed by parentheses instead of braces to be not added to bibtex-completion-candidates). (bibtex-complete-string): Made it use bibtex-string. (bibtex-keys, bibtex-buffer-last-parsed-for-keys-tick): New buffer-local variables to make parsing of BibTeX buffer for reference keys (needed by TAB completion in minibuffer when entering key) more occasional. (bibtex-parse-keys): New function to parse for keys (functionality was partially included in bibtex-entry). (bibtex-entry): Changed to use bibtex-parse-keys. (bibtex-mode): Installs bibtex-parse-keys as an auto-save-mode-hook, so whole buffer is parsed at most when it is autosaved. (bibtex-clean-entry): Calls bibtex-parse-keys on the new entry, so bibtex-keys remains consistent for new entries that are finished by calling this function (most should). (bibtex-inside-field): Be independent on current setting of bibtex-field-right-delimiter (allows more intermixing between quotes and braces). (bibtex-make-field): Last change didn't make it work correctly when called non-interactively by bibtex-entry (fixed).
author Karl Heuer <kwzh@gnu.org>
date Wed, 13 Dec 1995 20:26:13 +0000
parents 84acc3adcd63
children 187735b53d52
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13337
84acc3adcd63 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 11561
diff changeset
1 ;;; double.el --- Support for keyboard remapping with double clicking
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
6001
7caad7f2269a Comment changes.
Richard M. Stallman <rms@gnu.org>
parents: 6000
diff changeset
3 ;; Copyright (C) 1994 Free Software Foundation, Inc.
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 ;; Author: Per Abrahamsen <abraham@iesd.auc.dk>
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 ;; Keywords: i18n
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7
6001
7caad7f2269a Comment changes.
Richard M. Stallman <rms@gnu.org>
parents: 6000
diff changeset
8 ;; This file is part of GNU Emacs.
7caad7f2269a Comment changes.
Richard M. Stallman <rms@gnu.org>
parents: 6000
diff changeset
9
7caad7f2269a Comment changes.
Richard M. Stallman <rms@gnu.org>
parents: 6000
diff changeset
10 ;; GNU Emacs is free software; you can redistribute it and/or modify
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; it under the terms of the GNU General Public License as published by
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; the Free Software Foundation; either version 2, or (at your option)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; any later version.
6001
7caad7f2269a Comment changes.
Richard M. Stallman <rms@gnu.org>
parents: 6000
diff changeset
14
7caad7f2269a Comment changes.
Richard M. Stallman <rms@gnu.org>
parents: 6000
diff changeset
15 ;; GNU Emacs is distributed in the hope that it will be useful,
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; GNU General Public License for more details.
6001
7caad7f2269a Comment changes.
Richard M. Stallman <rms@gnu.org>
parents: 6000
diff changeset
19
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; You should have received a copy of the GNU General Public License
6001
7caad7f2269a Comment changes.
Richard M. Stallman <rms@gnu.org>
parents: 6000
diff changeset
21 ;; along with GNU Emacs; see the file COPYING. If not, write to
7caad7f2269a Comment changes.
Richard M. Stallman <rms@gnu.org>
parents: 6000
diff changeset
22 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 ;;; Commentary:
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26 ;; This mode is intended for use with languages that adds a small
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;; number of extra letters not available on the keyboard.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 ;; Examples includes Scandinavian and German with an US keyboard.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 ;; The idea is that certain keys are overloaded. When you press it
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 ;; once it will insert one string, and when you press it twice the
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ;; string will be replaced by another. This can be used for mapping
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 ;; keys on a US keyboard to generate characters according to the local
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ;; keyboard convention when pressed once, and according to US keyboard
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ;; convetion when pressed twice.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ;; To use this mode, you must define the variable `double-map' and
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 ;; then enable double mode with `M-x double-mode'. Read the
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ;; documentation for both of them.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 ;; The default mapping is for getting Danish/Norwegian keyboard layout
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 ;; using ISO Latin 1 on a US keyboard.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 ;; Imprtant node: While I would like to hear comments, bug reports,
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ;; suggestions, please do @strong{not} expect me to put other mappings
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 ;; that the default into this file. There are billions and billions
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ;; of such mappings, and just supporting the most common would
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 ;; increase the size of this nice small file manyfold.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 ;;; ChangeLog:
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52
8008
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
53 ;; * 1994-06-21 Per Abrahamsen
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
54 ;; Added `double-prefix-only'.
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
55 ;; * 1994-02-28 Per Abrahamsen
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
56 ;; Use 127 instead of 'delete to delete a character.
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 ;; * 1994-02-03 Per Abrahamsen
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 ;; Created.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ;;; Code:
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 (defvar double-map
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 '((?\; "\346" ";")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 (?\' "\370" "'")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 (?\[ "\345" "[")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 (?\: "\306" ":")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 (?\" "\330" "\"")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 (?\{ "\305" "{"))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 "Alist of key translations activated by double mode.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 Each entry is a list with three elements:
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 1. The key activating the translation.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 2. The string to be inserted when the key is pressed once.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 3. The string to be inserted when the key is pressed twice.")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75
8008
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
76 (defvar double-prefix-only t
10067
8ab32ff7b97c (double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents: 8008
diff changeset
77 "*Non-nil means that Double mode mapping only works for prefix keys.
8008
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
78 That is, for any key `X' in `double-map', `X' alone will be mapped
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
79 but not `C-u X' or `ESC X' since the X is not the prefix key.")
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
80
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 ;;; Read Event
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 (defvar double-last-event nil)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 ;; The last key that generated a double key event.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 (defun double-read-event (prompt)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 ;; Read an event
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 (if isearch-mode (isearch-update))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 (if prompt
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 (prog2 (message "%s%c" prompt double-last-event)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 (read-event)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 (message ""))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 (read-event)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94
7279
89ed0051e237 (double-translate-key): Changed 'delete to 127 to make
Richard M. Stallman <rms@gnu.org>
parents: 6001
diff changeset
95 (global-set-key [ignore] '(lambda () (interactive)))
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 (or (boundp 'isearch-mode-map)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 (load-library "isearch"))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99
7279
89ed0051e237 (double-translate-key): Changed 'delete to 127 to make
Richard M. Stallman <rms@gnu.org>
parents: 6001
diff changeset
100 (define-key isearch-mode-map [ignore]
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 (function (lambda () (interactive) (isearch-update))))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 (defun double-translate-key (prompt)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 ;; Translate input events using double map.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 (let ((key last-input-char))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 (cond (unread-command-events
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 ;; Artificial event, ignore it.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 (vector key))
8008
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
109 ((and double-prefix-only
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
110 (> (length (this-command-keys)) 1))
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
111 ;; This is not a prefix key, ignore it.
049bc48732d6 (double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 7279
diff changeset
112 (vector key))
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 ((eq key 'magic-start)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 ;; End of generated event. See if he will repeat it...
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 (let ((new (double-read-event prompt))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 (entry (assoc double-last-event double-map)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 (if (eq new double-last-event)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 (progn
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 (setq unread-command-events
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 (append (make-list (1- (length (nth 1 entry)))
7279
89ed0051e237 (double-translate-key): Changed 'delete to 127 to make
Richard M. Stallman <rms@gnu.org>
parents: 6001
diff changeset
121 127)
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 (nth 2 entry)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 '(magic-end)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 (vector 127))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 (setq unread-command-events (list new))
7279
89ed0051e237 (double-translate-key): Changed 'delete to 127 to make
Richard M. Stallman <rms@gnu.org>
parents: 6001
diff changeset
126 [ignore])))
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 ((eq key 'magic-end)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 ;; End of double event. Ignore.
7279
89ed0051e237 (double-translate-key): Changed 'delete to 127 to make
Richard M. Stallman <rms@gnu.org>
parents: 6001
diff changeset
129 [ignore])
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 (t
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 ;; New key.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 (let ((exp (nth 1 (assoc key double-map))))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 (setq double-last-event key)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 (setq unread-command-events
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 (append (substring exp 1) '(magic-start)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 (vector (aref exp 0)))))))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 ;;; Key Translation Map
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 (defvar default-key-translation-map
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 (or key-translation-map (make-sparse-keymap))
10067
8ab32ff7b97c (double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents: 8008
diff changeset
142 "Key translation you want to have effect, regardless of Double mode.
8ab32ff7b97c (double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents: 8008
diff changeset
143 This defaults to the value of `key-translation-map' when double was
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 first loaded.")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 (make-variable-buffer-local 'key-translation-map)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 (defun double-setup ()
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 ;; Setup key-translation-map as indicated by `double-map'.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 (setq key-translation-map (copy-keymap default-key-translation-map))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 (mapcar (function (lambda (entry)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 (define-key key-translation-map (vector (nth 0 entry))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 'double-translate-key)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 (append double-map '((magic-start) (magic-end)))))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 ;;; Mode
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 (defvar double-mode nil)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 ;; Indicator for the double mode.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 (make-variable-buffer-local 'double-mode)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 (or (assq 'double-mode minor-mode-alist)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 (setq minor-mode-alist
10067
8ab32ff7b97c (double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents: 8008
diff changeset
164 (cons '(double-mode " Double") minor-mode-alist)))
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165
10067
8ab32ff7b97c (double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents: 8008
diff changeset
166 ;; This feature seemed useless and it confused describe-mode,
8ab32ff7b97c (double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents: 8008
diff changeset
167 ;; so I deleted it.
8ab32ff7b97c (double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents: 8008
diff changeset
168 ;;;(defvar double-mode-name "Double")
8ab32ff7b97c (double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents: 8008
diff changeset
169 ;;;;; Name of current double mode.
8ab32ff7b97c (double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents: 8008
diff changeset
170 ;;; (make-variable-buffer-local 'double-mode-name)
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 ;;;###autoload
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 (defun double-mode (arg)
10067
8ab32ff7b97c (double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents: 8008
diff changeset
174 "Toggle Double mode.
8ab32ff7b97c (double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents: 8008
diff changeset
175 With prefix arg, turn Double mode on iff arg is positive.
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176
11561
56399c411b8b (double-mode): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents: 10067
diff changeset
177 When Double mode is on, some keys will insert different strings
56399c411b8b (double-mode): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents: 10067
diff changeset
178 when pressed twice. See variable `double-map' for details."
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 (interactive "P")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 (if (or (and (null arg) double-mode)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 (<= (prefix-numeric-value arg) 0))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 ;; Turn it off
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 (if double-mode
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 (progn
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 (let ((double-map))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 (double-setup))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 (setq double-mode nil)
11561
56399c411b8b (double-mode): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents: 10067
diff changeset
188 (force-mode-line-update)))
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 ;;Turn it on
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 (if double-mode
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 ()
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 (double-setup)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 (setq double-mode t)
11561
56399c411b8b (double-mode): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents: 10067
diff changeset
194 (force-mode-line-update))))
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 (provide 'double)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 ;;; double.el ends here
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199