changeset 22584:ff251db17a14

(gnus-prompt-before-saving): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:11:10 +0000
parents fbc32e3ad8e9
children b651d40f20a4
files lisp/gnus/gnus-art.el
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/gnus/gnus-art.el	Wed Jun 24 09:09:56 1998 +0000
+++ b/lisp/gnus/gnus-art.el	Wed Jun 24 09:11:10 1998 +0000
@@ -268,7 +268,7 @@
   :group 'gnus-article-saving
   :type '(choice (item always)
 		 (item :tag "never" nil)
-		 (sexp :tag "once" :format "%t")))
+		 (other :tag "once" t)))
 
 (defcustom gnus-saved-headers gnus-visible-headers
   "Headers to keep if `gnus-save-all-headers' is nil.