Tue, 24 Jun 1997 22:42:54 +0000 |
Richard M. Stallman |
(custom-documentation-face): New face.
|
Tue, 24 Jun 1997 20:09:49 +0000 |
Richard M. Stallman |
(customize-save-customized): Renamed from custom-save-customized.
|
Tue, 24 Jun 1997 20:07:51 +0000 |
Richard M. Stallman |
(Custom-set): Renamed from custom-set.
|
Tue, 24 Jun 1997 03:17:58 +0000 |
Richard M. Stallman |
(custom-group-visibility): Widget type
|
Sat, 21 Jun 1997 23:36:32 +0000 |
Richard M. Stallman |
(custom-buffer-create-internal):
|
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.
|