changeset 22585:b651d40f20a4

(gnus-use-article-prefetch): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:11:55 +0000
parents ff251db17a14
children 67fcc616d852
files lisp/gnus/gnus-async.el
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/gnus/gnus-async.el	Wed Jun 24 09:11:10 1998 +0000
+++ b/lisp/gnus/gnus-async.el	Wed Jun 24 09:11:55 1998 +0000
@@ -47,8 +47,8 @@
 if t, prefetch as many articles as possible."
   :group 'gnus-asynchronous
   :type '(choice (const :tag "off" nil)
-		 (const :tag "all" t)
-		 (integer :tag "some" 0)))
+		 (integer :tag "some" 0)
+		 (other :tag "all" t)))
 
 (defcustom gnus-prefetched-article-deletion-strategy '(read exit)
   "List of symbols that say when to remove articles from the prefetch buffer.