From: Andreas Schwab <schwab@suse.de>
Date: Wed, 24 Jun 1998 09:11:55 +0000 (+0000)
Subject: (gnus-use-article-prefetch): Use `other'
X-Git-Tag: emacs-20.3~494
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=a994a6db0328dc214a38e3fe7c783607538970ab;p=emacs.git

(gnus-use-article-prefetch): Use `other'
widget type.
---

diff --git a/lisp/gnus/gnus-async.el b/lisp/gnus/gnus-async.el
index b8d4d130017..5c8a5bf1b71 100644
--- a/lisp/gnus/gnus-async.el
+++ b/lisp/gnus/gnus-async.el
@@ -47,8 +47,8 @@ If a number, prefetch only that many articles forward;
 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.