Thu, 26 Oct 2000 09:39:10 +0000 |
Dave Love |
*** empty log message ***
|
Thu, 26 Oct 2000 09:38:22 +0000 |
Dave Love |
(widget-browse-mode): Add `special' mode-class property.
|
Thu, 26 Oct 2000 09:32:19 +0000 |
Dave Love |
(custom-mode): Add `special' mode-class property.
|
Thu, 26 Oct 2000 09:21:21 +0000 |
Dave Love |
(widget-specify-field): Revert to using local-map
|
Thu, 26 Oct 2000 08:22:40 +0000 |
Miles Bader |
*** empty log message ***
|
Thu, 26 Oct 2000 08:21:53 +0000 |
Miles Bader |
(widget-field-end):
|
Thu, 26 Oct 2000 07:44:46 +0000 |
Miles Bader |
*** empty log message ***
|
Thu, 26 Oct 2000 07:43:52 +0000 |
Miles Bader |
(undo): Correctly distinguish between numeric and non-numeric prefix
|