[Pan-users] Re: [PATCH] Make 'get new headers' the default in the Get Headers dialog

[walt]

On Wed, 10 Oct 2007 02:47:03 +0000, walt wrote:

> ...pan treats a subscribed group (with no unread articles) exactly the same
> way it treats a new group that you've never read before -- but they are
> not at all the same...

Oops -- important correction.  Pan treats a subscribed group with *no* articles
the same as a new group.  This happens only when you 'delete' all articles on
leaving the group.  (Not the same as marking the group as 'read').

This seems like a quick fix for a brilliant programmer like Charles.
(For *me* -- maybe a bit longer ;o)