# HG changeset patch
# User Andreas Schwab <schwab@suse.de>
# Date 898679470 0
# Node ID ff251db17a14ee7e936f0e89b10ec4e6a39535f6
# Parent  fbc32e3ad8e95fb84a97bcfaee8d3ecca395455c
(gnus-prompt-before-saving): Use `other' widget
type.

diff -r fbc32e3ad8e9 -r ff251db17a14 lisp/gnus/gnus-art.el
--- 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.