1
0
mirror of https://git.savannah.gnu.org/git/emacs.git synced 2024-11-28 07:45:00 +00:00
Commit Graph

18 Commits

Author SHA1 Message Date
Miles Bader
ab5796a9f9 Add arch taglines 2003-09-01 15:45:59 +00:00
Juanma Barranquero
71296446d3 Trailing whitespace deleted. 2003-02-04 11:26:42 +00:00
Juanma Barranquero
8a3663f3de (double-prefix-only): Fix spacing. 2002-09-06 07:12:37 +00:00
Pavel Janík
e8af40eed4 Some fixes to follow coding conventions. 2001-07-16 12:23:00 +00:00
Dave Love
61355f1c86 (double-mode): Customize the variable. 1999-09-03 22:45:43 +00:00
Richard M. Stallman
a4e5963508 (double-setup): Only copy `key-translation-map' if it is a keymap. 1998-08-12 19:45:38 +00:00
Richard M. Stallman
7cda860e7a (default-key-translation-map): Variable deleted.
(double-setup): Make key-translation-map buffer-local here.
New arg ENABLE-FLAG.
(double-mode): Pass ENABLE-FLAG arg to double-setup.
1998-08-01 19:01:15 +00:00
Karl Heuer
7b33b170cd Removed changelog comment section.
(double): New group.
(double-map): Add customize support.
(double-prefix-only): Ditto.
1997-10-16 18:46:36 +00:00
Per Abrahamsen
3efc86effb Updated address. 1997-05-27 21:26:13 +00:00
Erik Naggum
b578f267af Update FSF's address. 1996-01-14 07:34:30 +00:00
Karl Heuer
a7acbbe4d4 Comment fixes. 1996-01-05 22:21:28 +00:00
Richard M. Stallman
be01074898 Comment change. 1995-10-30 17:35:01 +00:00
Karl Heuer
e6f1da1956 (double-mode): Use force-mode-line-update. 1995-04-25 22:20:59 +00:00
Richard M. Stallman
48a0ae63d2 (double-mode-name): Variable deleted.
(minor-mode-alist): Use a constant string to indicate Double mode.
1994-11-23 23:19:43 +00:00
Richard M. Stallman
5867a409ee (double-prefix-only): New variable.
(double-translate-key): Use it.
1994-06-22 18:03:28 +00:00
Richard M. Stallman
f55e5c6be1 (double-translate-key): Changed 'delete to 127 to make
the non-X11 version work.
1994-05-02 18:27:24 +00:00
Richard M. Stallman
70d949eaab Comment changes. 1994-02-18 22:42:29 +00:00
Richard M. Stallman
fc429cfe81 Initial revision 1994-02-18 22:40:27 +00:00