Mercurial > emacs
annotate lisp/double.el @ 24419:30e478cd167e
(shell-command-default-error-buffer): Renamed from
shell-command-on-region-default-error-buffer.
(shell-command-on-region): Mention in echo area when there
is some error output. Mention success or failure, too.
Accumulate multiple error outputs
going forward, with formfeed in between. Display the error buffer
when we have put something in it.
(shell-command): Add the ERROR-BUFFER argument feature.
author | Karl Heuer <kwzh@gnu.org> |
---|---|
date | Mon, 01 Mar 1999 03:19:32 +0000 |
parents | 95c97e05a03e |
children | e42d6599cade |
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 | |
160 (defvar double-mode nil) | |
161 ;; Indicator for the double mode. | |
162 (make-variable-buffer-local 'double-mode) | |
163 | |
164 (or (assq 'double-mode minor-mode-alist) | |
165 (setq minor-mode-alist | |
10067
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
166 (cons '(double-mode " Double") minor-mode-alist))) |
6000 | 167 |
10067
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
168 ;; 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
|
169 ;; so I deleted it. |
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
170 ;;;(defvar double-mode-name "Double") |
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
171 ;;;;; Name of current double mode. |
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
172 ;;; (make-variable-buffer-local 'double-mode-name) |
6000 | 173 |
174 ;;;###autoload | |
175 (defun double-mode (arg) | |
10067
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
176 "Toggle Double mode. |
8ab32ff7b97c
(double-mode-name): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
8008
diff
changeset
|
177 With prefix arg, turn Double mode on iff arg is positive. |
6000 | 178 |
11561
56399c411b8b
(double-mode): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
10067
diff
changeset
|
179 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
|
180 when pressed twice. See variable `double-map' for details." |
6000 | 181 (interactive "P") |
182 (if (or (and (null arg) double-mode) | |
183 (<= (prefix-numeric-value arg) 0)) | |
184 ;; Turn it off | |
185 (if double-mode | |
186 (progn | |
187 (let ((double-map)) | |
22861
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
188 (double-setup nil)) |
6000 | 189 (setq double-mode nil) |
11561
56399c411b8b
(double-mode): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
10067
diff
changeset
|
190 (force-mode-line-update))) |
6000 | 191 ;;Turn it on |
192 (if double-mode | |
193 () | |
22861
49e731d1ddb6
(default-key-translation-map): Variable deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20083
diff
changeset
|
194 (double-setup t) |
6000 | 195 (setq double-mode t) |
11561
56399c411b8b
(double-mode): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
10067
diff
changeset
|
196 (force-mode-line-update)))) |
6000 | 197 |
198 (provide 'double) | |
199 | |
200 ;;; double.el ends here | |
201 |