From a994a6db0328dc214a38e3fe7c783607538970ab Mon Sep 17 00:00:00 2001 From: Andreas Schwab Date: Wed, 24 Jun 1998 09:11:55 +0000 Subject: [PATCH] (gnus-use-article-prefetch): Use `other' widget type. --- lisp/gnus/gnus-async.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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. -- 2.39.2