# HG changeset patch
# User Andreas Schwab <schwab@suse.de>
# Date 898679515 0
# Node ID b651d40f20a4f49b267e3e8316c72c716d6e40f4
# Parent  ff251db17a14ee7e936f0e89b10ec4e6a39535f6
(gnus-use-article-prefetch): Use `other'
widget type.

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