Mercurial > emacs
annotate lisp/double.el @ 73881:8c8ad3efe1fe
(compilation-directory-matcher): Doc fix (Nil -> nil).
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Fri, 10 Nov 2006 09:10:58 +0000 |
parents | 3bd95f4f2941 |
children | ddcbd2c1b70d b98066f4aa10 c5406394f567 |
rev | line source |
---|---|
38436
b174db545cfd
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
25531
diff
changeset
|
1 ;;; double.el --- support for keyboard remapping with double clicking |
6000 | 2 |
64762
41bb365f41c4
Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
64091
diff
changeset
|
3 ;; Copyright (C) 1994, 1997, 1998, 2002, 2003, 2004, |
68651
3bd95f4f2941
Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
64762
diff
changeset
|
4 ;; 2005, 2006 Free Software Foundation, Inc. |
6000 | 5 |
17982 | 6 ;; Author: Per Abrahamsen <abraham@dina.kvl.dk> |
6000 | 7 ;; Keywords: i18n |
8 | |
6001 | 9 ;; This file is part of GNU Emacs. |
10 | |
11 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
6000 | 12 ;; it under the terms of the GNU General Public License as published by |
13 ;; the Free Software Foundation; either version 2, or (at your option) | |
14 ;; any later version. | |
6001 | 15 |
16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
6000 | 17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 ;; GNU General Public License for more details. | |
6001 | 20 |
6000 | 21 ;; You should have received a copy of the GNU General Public License |
14169 | 22 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
64091 | 23 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, |
24 ;; Boston, MA 02110-1301, USA. | |
6000 | 25 |
26 ;;; Commentary: | |
27 | |
28 ;; This mode is intended for use with languages that adds a small | |
29 ;; number of extra letters not available on the keyboard. | |
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47253
diff
changeset
|
30 ;; |
6000 | 31 ;; Examples includes Scandinavian and German with an US keyboard. |
32 ;; | |
33 ;; The idea is that certain keys are overloaded. When you press it | |
34 ;; once it will insert one string, and when you press it twice the | |
35 ;; string will be replaced by another. This can be used for mapping | |
36 ;; keys on a US keyboard to generate characters according to the local | |
37 ;; keyboard convention when pressed once, and according to US keyboard | |
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47253
diff
changeset
|
38 ;; convention when pressed twice. |
6000 | 39 ;; |
40 ;; To use this mode, you must define the variable `double-map' and | |
41 ;; then enable double mode with `M-x double-mode'. Read the | |
42 ;; documentation for both of them. | |
43 ;; | |
44 ;; The default mapping is for getting Danish/Norwegian keyboard layout | |
45 ;; using ISO Latin 1 on a US keyboard. | |
46 ;; | |
14040 | 47 ;; Important node: While I would like to hear comments, bug reports, |
6000 | 48 ;; suggestions, please do @strong{not} expect me to put other mappings |
14040 | 49 ;; than the default into this file. There are billions and billions |
6000 | 50 ;; of such mappings, and just supporting the most common would |
51 ;; increase the size of this nice small file manyfold. | |
52 | |
53 ;;; Code: | |
54 | |
20083
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
55 (defgroup double nil |
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
56 "Remap keyboard, but get original by typing the same key twice." |
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
57 :group 'i18n) |
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
58 |
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
59 (defcustom double-map |
6000 | 60 '((?\; "\346" ";") |
61 (?\' "\370" "'") | |
62 (?\[ "\345" "[") | |
63 (?\: "\306" ":") | |
64 (?\" "\330" "\"") | |
65 (?\{ "\305" "{")) | |
66 "Alist of key translations activated by double mode. | |
67 | |
68 Each entry is a list with three elements: | |
69 1. The key activating the translation. | |
70 2. The string to be inserted when the key is pressed once. | |
20083
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
71 3. The string to be inserted when the key is pressed twice." |
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
72 :group 'double |
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
73 :type '(repeat (list (character :tag "Key") |
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
74 (string :tag "Once") |
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
75 (string :tag "Twice")))) |
6000 | 76 |
20083
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
77 (defcustom double-prefix-only t |
10067
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
78 "*Non-nil means that Double mode mapping only works for prefix keys. |
47253
d09547c3e778
(double-prefix-only): Fix spacing.
Juanma Barranquero <lekktu@gmail.com>
parents:
38436
diff
changeset
|
79 That is, for any key `X' in `double-map', `X' alone will be mapped |
20083
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
80 but not `C-u X' or `ESC X' since the X is not the prefix key." |
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
81 :group 'double |
280dcaeeede3
Removed changelog comment section.
Karl Heuer <kwzh@gnu.org>
parents:
17982
diff
changeset
|
82 :type 'boolean) |
8008
049bc48732d6
(double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7279
diff
changeset
|
83 |
6000 | 84 ;;; Read Event |
85 | |
86 (defvar double-last-event nil) | |
87 ;; The last key that generated a double key event. | |
88 | |
89 (defun double-read-event (prompt) | |
90 ;; Read an event | |
91 (if isearch-mode (isearch-update)) | |
92 (if prompt | |
93 (prog2 (message "%s%c" prompt double-last-event) | |
94 (read-event) | |
95 (message "")) | |
96 (read-event))) | |
97 | |
7279
89ed0051e237
(double-translate-key): Changed 'delete to 127 to make
Richard M. Stallman <rms@gnu.org>
parents:
6001
diff
changeset
|
98 (global-set-key [ignore] '(lambda () (interactive))) |
6000 | 99 |
100 (or (boundp 'isearch-mode-map) | |
101 (load-library "isearch")) | |
102 | |
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47253
diff
changeset
|
103 (define-key isearch-mode-map [ignore] |
6000 | 104 (function (lambda () (interactive) (isearch-update)))) |
105 | |
106 (defun double-translate-key (prompt) | |
107 ;; Translate input events using double map. | |
108 (let ((key last-input-char)) | |
109 (cond (unread-command-events | |
110 ;; Artificial event, ignore it. | |
111 (vector key)) | |
8008
049bc48732d6
(double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7279
diff
changeset
|
112 ((and double-prefix-only |
049bc48732d6
(double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7279
diff
changeset
|
113 (> (length (this-command-keys)) 1)) |
049bc48732d6
(double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7279
diff
changeset
|
114 ;; This is not a prefix key, ignore it. |
049bc48732d6
(double-prefix-only): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7279
diff
changeset
|
115 (vector key)) |
6000 | 116 ((eq key 'magic-start) |
117 ;; End of generated event. See if he will repeat it... | |
118 (let ((new (double-read-event prompt)) | |
119 (entry (assoc double-last-event double-map))) | |
60312
789a36c2bc56
(double-translate-key): Call force-window-update after
Kim F. Storm <storm@cua.dk>
parents:
52401
diff
changeset
|
120 (force-window-update (selected-window)) |
6000 | 121 (if (eq new double-last-event) |
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47253
diff
changeset
|
122 (progn |
6000 | 123 (setq unread-command-events |
124 (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
|
125 127) |
6000 | 126 (nth 2 entry) |
127 '(magic-end))) | |
128 (vector 127)) | |
129 (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
|
130 [ignore]))) |
6000 | 131 ((eq key 'magic-end) |
132 ;; 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
|
133 [ignore]) |
6000 | 134 (t |
135 ;; New key. | |
136 (let ((exp (nth 1 (assoc key double-map)))) | |
137 (setq double-last-event key) | |
138 (setq unread-command-events | |
139 (append (substring exp 1) '(magic-start))) | |
140 (vector (aref exp 0))))))) | |
141 | |
142 ;;; Key Translation Map | |
143 | |
22861
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
144 (defun double-setup (enable-flag) |
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
145 (if enable-flag |
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
146 (progn |
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
147 ;; Set up key-translation-map as indicated by `double-map'. |
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
148 (kill-local-variable 'key-translation-map) |
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
149 (make-local-variable 'key-translation-map) |
23003
95c97e05a03e
(double-setup): Only copy `key-translation-map' if it is a keymap.
Richard M. Stallman <rms@gnu.org>
parents:
22861
diff
changeset
|
150 (setq key-translation-map (if (keymapp key-translation-map) |
95c97e05a03e
(double-setup): Only copy `key-translation-map' if it is a keymap.
Richard M. Stallman <rms@gnu.org>
parents:
22861
diff
changeset
|
151 (copy-keymap key-translation-map) |
95c97e05a03e
(double-setup): Only copy `key-translation-map' if it is a keymap.
Richard M. Stallman <rms@gnu.org>
parents:
22861
diff
changeset
|
152 (make-sparse-keymap))) |
22861
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
153 (mapcar (function (lambda (entry) |
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
154 (define-key key-translation-map |
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
155 (vector (nth 0 entry)) |
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
156 'double-translate-key))) |
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
157 (append double-map '((magic-start) (magic-end))))) |
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
158 (kill-local-variable 'key-translation-map))) |
6000 | 159 |
160 ;;; Mode | |
161 | |
25531
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
162 ;;;###autoload |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
163 (defcustom double-mode nil |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
164 "Toggle Double mode. |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
165 Setting this variable directly does not take effect; |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
166 use either \\[customize] or the function `double-mode'." |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
167 :set (lambda (symbol value) |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
168 (double-mode (if value 1 0))) |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
169 :initialize 'custom-initialize-default |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
170 :link '(emacs-commentary-link "double") |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
171 :type 'boolean |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
172 :require 'double |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
173 :group 'double) |
e42d6599cade
(double-mode): Customize the variable.
Dave Love <fx@gnu.org>
parents:
23003
diff
changeset
|
174 (make-variable-buffer-local 'double-mode) |
6000 | 175 |
176 (or (assq 'double-mode minor-mode-alist) | |
177 (setq minor-mode-alist | |
10067
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
178 (cons '(double-mode " Double") minor-mode-alist))) |
6000 | 179 |
10067
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
180 ;; 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
|
181 ;; so I deleted it. |
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
182 ;;;(defvar double-mode-name "Double") |
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
183 ;;;;; Name of current double mode. |
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
184 ;;; (make-variable-buffer-local 'double-mode-name) |
6000 | 185 |
186 ;;;###autoload | |
187 (defun double-mode (arg) | |
10067
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
188 "Toggle Double mode. |
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
189 With prefix arg, turn Double mode on iff arg is positive. |
6000 | 190 |
11561
56399c411b8b
(double-mode): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
10067
diff
changeset
|
191 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
|
192 when pressed twice. See variable `double-map' for details." |
6000 | 193 (interactive "P") |
194 (if (or (and (null arg) double-mode) | |
195 (<= (prefix-numeric-value arg) 0)) | |
196 ;; Turn it off | |
197 (if double-mode | |
198 (progn | |
199 (let ((double-map)) | |
22861
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
200 (double-setup nil)) |
6000 | 201 (setq double-mode nil) |
11561
56399c411b8b
(double-mode): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
10067
diff
changeset
|
202 (force-mode-line-update))) |
6000 | 203 ;;Turn it on |
204 (if double-mode | |
205 () | |
22861
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
206 (double-setup t) |
6000 | 207 (setq double-mode t) |
11561
56399c411b8b
(double-mode): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
10067
diff
changeset
|
208 (force-mode-line-update)))) |
6000 | 209 |
210 (provide 'double) | |
211 | |
52401 | 212 ;;; arch-tag: 2e170036-44cb-4493-bc32-ada0a4395221 |
6000 | 213 ;;; double.el ends here |