Wed, 24 Jun 1998 08:55:53 +0000 |
Andreas Schwab |
(dired-backup-overwrite): Use `other' widget type.
|
Wed, 24 Jun 1998 08:54:53 +0000 |
Andreas Schwab |
(dabbrev-case-fold-search, dabbrev-case-replace,
|
Wed, 24 Jun 1998 08:54:04 +0000 |
Andreas Schwab |
(selective-display, suggest-key-bindings,
|
Wed, 24 Jun 1998 08:50:59 +0000 |
Andreas Schwab |
(PC-first-char): Use `other' widget type.
|
Wed, 24 Jun 1998 08:50:14 +0000 |
Andreas Schwab |
(comint-input-autoexpand): Use `other' widget type.
|
Wed, 24 Jun 1998 08:48:57 +0000 |
Andreas Schwab |
(bookmark-save-flag, bookmark-version-control): Use
|
Wed, 24 Jun 1998 08:48:01 +0000 |
Andreas Schwab |
(auto-insert, auto-insert-query): Use `other'
|