Fri, 27 Jun 1997 06:04:19 +0000 |
Richard M. Stallman |
(widget-choice-action): Use widget-edit-functions.
|
Wed, 25 Jun 1997 15:30:27 +0000 |
Per Abrahamsen |
Synched with 1.9936.
|
Tue, 24 Jun 1997 22:44:30 +0000 |
Richard M. Stallman |
(widget-menu-minibuffer-flag): New variable.
|
Tue, 24 Jun 1997 03:17:34 +0000 |
Richard M. Stallman |
(widget-edit-hook): New variable.
|
Sat, 21 Jun 1997 23:37:57 +0000 |
Richard M. Stallman |
(widget-default-value-set): Preserve point here.
|
Sat, 21 Jun 1997 21:25:16 +0000 |
Richard M. Stallman |
(widget-file-complete): New function.
|
Sat, 21 Jun 1997 18:32:42 +0000 |
Richard M. Stallman |
(group-visibility): New widget type.
|
Sat, 21 Jun 1997 17:31:29 +0000 |
Richard M. Stallman |
Comment change.
|
Sat, 21 Jun 1997 17:30:26 +0000 |
Richard M. Stallman |
(widget-documentation-link-action):
|
Sat, 21 Jun 1997 12:48:00 +0000 |
Per Abrahamsen |
Synched with 1.9930.
|
Sat, 21 Jun 1997 05:13:41 +0000 |
Richard M. Stallman |
(boolean): Capitalize "toggle".
|
Thu, 19 Jun 1997 15:31:34 +0000 |
Per Abrahamsen |
Don't delete nil overlays.
|
Thu, 19 Jun 1997 12:52:23 +0000 |
Per Abrahamsen |
Change color.
|
Thu, 19 Jun 1997 11:30:04 +0000 |
Per Abrahamsen |
Synched with 1.9924.
|
Sun, 15 Jun 1997 15:31:32 +0000 |
Per Abrahamsen |
Synched with 1.9920.
|