Sat, 03 Aug 1996 21:27:03 +0000 |
Richard M. Stallman |
(Info-find-node): Use pop-to-buffer.
|
Sat, 03 Aug 1996 02:53:02 +0000 |
Paul Eggert |
(rmail-unix-mail-delimiter): Allow space or tab as
|
Thu, 01 Aug 1996 22:37:47 +0000 |
Richard M. Stallman |
(gdb): Undo previous change.
|
Thu, 01 Aug 1996 22:35:03 +0000 |
Richard M. Stallman |
(shell-file-name-chars): Was shell-file-name-regexp.
|
Thu, 01 Aug 1996 22:34:09 +0000 |
Richard M. Stallman |
(comint-file-name-chars): Was comint-file-name-regexp.
|
Thu, 01 Aug 1996 22:25:36 +0000 |
Richard M. Stallman |
(make_menubar): Turn off menu accelerator.
|
Thu, 01 Aug 1996 22:25:11 +0000 |
Richard M. Stallman |
Delete code to disable f10 if motif.
|
Thu, 01 Aug 1996 21:45:04 +0000 |
Richard M. Stallman |
(font-lock-inhibit-modes): Deleted.
|
Thu, 01 Aug 1996 21:38:20 +0000 |
Richard M. Stallman |
(prepare_menu_bars): Conditionalize previous change.
|
Thu, 01 Aug 1996 04:54:51 +0000 |
Richard M. Stallman |
(dabbrev-expand): When snarfing consecutive words,
|
Wed, 31 Jul 1996 23:18:49 +0000 |
Richard M. Stallman |
(C_SWITCH_X_SYSTEM, LD_SWITCH_X_DEFAULT):
|
Wed, 31 Jul 1996 18:17:16 +0000 |
Richard M. Stallman |
(help-font-lock-keywords): Undo July 26 change.
|
Wed, 31 Jul 1996 17:54:15 +0000 |
Richard M. Stallman |
(*-sco3.2v5*):
|
Wed, 31 Jul 1996 17:18:54 +0000 |
Richard M. Stallman |
(XTread_socket): Delete the code to pass menu bar keys
|
Wed, 31 Jul 1996 16:54:23 +0000 |
Richard M. Stallman |
(pending_menu_activation): Don't initialize. Not static.
|