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.
|