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