annotate lisp/double.el @ 6000:03f32cdd842a

Initial revision
author Richard M. Stallman <rms@gnu.org>
date Fri, 18 Feb 1994 22:40:27 +0000
parents
children 7caad7f2269a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6000
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 ;;; double.el - Support for keyboard remapping with double clicking.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3 ;; Copyright (C) 1994 Per Abrahamsen.
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 ;; Version: $Id: double.el,v 5.2 1994/02/03 17:18:49 amanda Exp $
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 ;; Keywords: i18n
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 ;; Bogus-Bureaucratic-Cruft: How 'bout ESR and the LCD people agreed
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 ;; on a common format?
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; LCD Archive Entry:
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; double|Per Abrahamsen|abraham@iesd.auc.dk|
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; Support keyboard remapping with double clicking|
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; $Date: 1994/02/03 17:18:49 $|$Revision: 5.2 $|~/modes/double.el.Z|
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; This program is free software; you can redistribute it and/or modify
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; 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
18 ;; the Free Software Foundation; either version 2, or (at your option)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; any later version.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 ;; This program is distributed in the hope that it will be useful,
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 ;; GNU General Public License for more details.
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 ;; You should have received a copy of the GNU General Public License
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;; along with this program; if not, write to the Free Software
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 ;; Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 ;;; Commentary:
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 ;; This mode is intended for use with languages that adds a small
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ;; number of extra letters not available on the keyboard.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ;; Examples includes Scandinavian and German with an US keyboard.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ;; The idea is that certain keys are overloaded. When you press it
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ;; 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
39 ;; string will be replaced by another. This can be used for mapping
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ;; keys on a US keyboard to generate characters according to the local
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 ;; keyboard convention when pressed once, and according to US keyboard
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 ;; convetion when pressed twice.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 ;; To use this mode, you must define the variable `double-map' and
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 ;; then enable double mode with `M-x double-mode'. Read the
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ;; documentation for both of them.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ;; The default mapping is for getting Danish/Norwegian keyboard layout
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 ;; using ISO Latin 1 on a US keyboard.
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 ;; Requires FSF Emacs 19.20 or later.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ;;
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 ;; Imprtant node: While I would like to hear comments, bug reports,
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 ;; suggestions, please do @strong{not} expect me to put other mappings
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 ;; that the default into this file. There are billions and billions
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 ;; of such mappings, and just supporting the most common would
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 ;; increase the size of this nice small file manyfold.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 ;;; ChangeLog:
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 ;; * 1994-02-03 Per Abrahamsen
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 ;; Created.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 ;;; Code:
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 (defvar double-map
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 '((?\; "\346" ";")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 (?\' "\370" "'")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 (?\[ "\345" "[")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 (?\: "\306" ":")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 (?\" "\330" "\"")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 (?\{ "\305" "{"))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 "Alist of key translations activated by double mode.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 Each entry is a list with three elements:
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 1. The key activating the translation.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 2. The string to be inserted when the key is pressed once.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 3. The string to be inserted when the key is pressed twice.")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 ;;; Read Event
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 (defvar double-last-event nil)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 ;; The last key that generated a double key event.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 (defun double-read-event (prompt)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 ;; Read an event
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 (if isearch-mode (isearch-update))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 (if prompt
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 (prog2 (message "%s%c" prompt double-last-event)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 (read-event)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 (message ""))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 (read-event)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 (global-set-key [ ignore ] '(lambda () (interactive)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 (or (boundp 'isearch-mode-map)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 (load-library "isearch"))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 (define-key isearch-mode-map [ ignore ]
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 (function (lambda () (interactive) (isearch-update))))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 (defun double-translate-key (prompt)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 ;; Translate input events using double map.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 (let ((key last-input-char))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 (cond (unread-command-events
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 ;; Artificial event, ignore it.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 (vector key))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 ((eq key 'magic-start)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 ;; End of generated event. See if he will repeat it...
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 (let ((new (double-read-event prompt))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 (entry (assoc double-last-event double-map)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 (if (eq new double-last-event)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 (progn
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 (setq unread-command-events
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 (append (make-list (1- (length (nth 1 entry)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 'delete)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 (nth 2 entry)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 '(magic-end)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 (vector 127))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 (setq unread-command-events (list new))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 [ ignore ])))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 ((eq key 'magic-end)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 ;; End of double event. Ignore.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 [ ignore ])
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 (t
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 ;; New key.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 (let ((exp (nth 1 (assoc key double-map))))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 (setq double-last-event key)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 (setq unread-command-events
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 (append (substring exp 1) '(magic-start)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 (vector (aref exp 0)))))))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 ;;; Key Translation Map
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 (defvar default-key-translation-map
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 (or key-translation-map (make-sparse-keymap))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 "Key translation you want to have effect, regardless of double mode.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 This will default to the value of `key-translation-map' when double was
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 first loaded.")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 (make-variable-buffer-local 'key-translation-map)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 (defun double-setup ()
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 ;; Setup key-translation-map as indicated by `double-map'.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 (setq key-translation-map (copy-keymap default-key-translation-map))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 (mapcar (function (lambda (entry)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 (define-key key-translation-map (vector (nth 0 entry))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 'double-translate-key)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 (append double-map '((magic-start) (magic-end)))))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 ;;; Mode
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 (defvar double-mode nil)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 ;; Indicator for the double mode.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 (make-variable-buffer-local 'double-mode)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 (or (assq 'double-mode minor-mode-alist)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 (setq minor-mode-alist
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 (cons '(double-mode (" " double-mode-name)) minor-mode-alist)))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 (defvar double-mode-name "Double")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 ;; Name of current double mode.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 (make-variable-buffer-local 'double-mode-name)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 ;;;###autoload
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 (defun double-mode (arg)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 "Toggle double mode.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 With prefix arg, turn double mode on iff arg is positive.
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 When double mode is on, some keys will insert will insert different
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 strings when pressed twice. See variable `double-map' for details."
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 (interactive "P")
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 (if (or (and (null arg) double-mode)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 (<= (prefix-numeric-value arg) 0))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 ;; Turn it off
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 (if double-mode
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 (progn
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 (let ((double-map))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 (double-setup))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 (setq double-mode nil)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 (set-buffer-modified-p (buffer-modified-p))))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 ;;Turn it on
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 ()
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 (double-setup)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 (setq double-mode t)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 (set-buffer-modified-p (buffer-modified-p)))))
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 (provide 'double)
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 ;;; double.el ends here
03f32cdd842a Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192