| Sun, 22 Jun 1997 18:47:05 +0000 |
Richard M. Stallman |
Whitespace change.
|
| Sun, 22 Jun 1997 18:32:34 +0000 |
Richard M. Stallman |
Fix provide call.
|
| Sun, 22 Jun 1997 17:58:03 +0000 |
Richard M. Stallman |
(Fdelete_frame): Clear echo_area_glyphs if it was in this frame.
|
| Sun, 22 Jun 1997 09:16:07 +0000 |
Richard M. Stallman |
(paren-blinking group): Doc fix.
|
| Sun, 22 Jun 1997 09:06:04 +0000 |
Richard M. Stallman |
(wait_reading_process_input): Don't check for
|
| Sun, 22 Jun 1997 08:57:18 +0000 |
Richard M. Stallman |
Change copyright notice.
|
| Sun, 22 Jun 1997 05:01:30 +0000 |
Richard M. Stallman |
(edebug-sit-for-seconds): New variable.
|
| Sat, 21 Jun 1997 23:59:11 +0000 |
Richard M. Stallman |
(delay-uniquify-rationalize-file-buffer-names): Remove this hook here,
|
| Sat, 21 Jun 1997 23:37:57 +0000 |
Richard M. Stallman |
(widget-default-value-set): Preserve point here.
|
| Sat, 21 Jun 1997 23:36:32 +0000 |
Richard M. Stallman |
(custom-buffer-create-internal):
|
| Sat, 21 Jun 1997 21:25:16 +0000 |
Richard M. Stallman |
(widget-file-complete): New function.
|
| Sat, 21 Jun 1997 20:07:48 +0000 |
Richard M. Stallman |
(custom-add-parent-links): New arg INITIAL-STRING.
|
| Sat, 21 Jun 1997 18:51:28 +0000 |
Richard M. Stallman |
(custom-group-value-create): Use group-visibility widget.
|
| Sat, 21 Jun 1997 18:32:42 +0000 |
Richard M. Stallman |
(group-visibility): New widget type.
|
| Sat, 21 Jun 1997 18:23:40 +0000 |
Richard M. Stallman |
(custom-group-value-create): Use group-visibility widget.
|
| Sat, 21 Jun 1997 18:20:23 +0000 |
Richard M. Stallman |
(custom-magic-value-create):
|
