Fri, 27 Oct 2000 00:54:52 +0000 |
Stefan Monnier |
(widget-add-change): Don't bother with make-local-hook.
|
Thu, 26 Oct 2000 09:21:21 +0000 |
Dave Love |
(widget-specify-field): Revert to using local-map
|
Thu, 26 Oct 2000 08:21:53 +0000 |
Miles Bader |
(widget-field-end):
|
Wed, 25 Oct 2000 09:55:06 +0000 |
Dave Love |
Don't
|
Wed, 25 Oct 2000 07:16:44 +0000 |
Miles Bader |
(widget-field-at): New function.
|
Wed, 25 Oct 2000 05:37:15 +0000 |
Miles Bader |
(widget-beginning-of-line, widget-end-of-line):
|
Tue, 24 Oct 2000 12:27:45 +0000 |
Gerd Moellmann |
(widget-field-keymap, widget-text-keymap): Define
|
Wed, 13 Sep 2000 10:34:52 +0000 |
Dave Love |
(widget-default-format-handler): DTRT when
|
Mon, 04 Sep 2000 09:40:27 +0000 |
Dave Love |
(widget-sexp-validate): Fix garbled code.
|
Sun, 20 Aug 2000 18:34:24 +0000 |
Dave Love |
(widget-choose, widget-choice-mouse-down-action):
|
Mon, 31 Jul 2000 15:35:08 +0000 |
Eli Zaretskii |
(widget-choose): Use display-mouse-p instead of window-system.
|
Sun, 16 Jul 2000 15:27:43 +0000 |
Dave Love |
(widget-specify-field, widget-specify-button): Allow
|
Mon, 26 Jun 2000 21:56:10 +0000 |
Stefan Monnier |
(widget-member): Use the new plist-member.
|
Sun, 11 Jun 2000 23:00:42 +0000 |
Dave Love |
(widget-specify-button): Really suppress the face if required.
|
Sat, 03 Jun 2000 16:42:14 +0000 |
Dave Love |
byte-compile-dynamic since we typically don't use
|