Re: [Pan-users] Pan 0.13.90

[John Aldrich]

On Saturday 08 March 2003 08:30 am, Torstein Sunde wrote:
> dave! wrote:
> > It's missing a way of changing the fonts for the group pane and the
> > headers that show in the message pane AFAIK (I'd like to be able to
> > change their colour too)
>
> I agree.  At least for the sake of consistency, the font for the group
> pane should be selectable, like it is for the other panes.
>
Agreed...
>
> The headers in the message pane should use either the selected
> monospace font, or the same font as the rest of this pane.
>
I don't recall how Pan used to show headers, but I'm not real fond of the way 
it's doing it now... when I first looked at it, I thought maybe someone had 
quoted too much or something, and then I realized it was showing the 
headers... kinda disconcerting to me...
>
> Also, when selecting "Show All Headers in Body Pane", all headers
> should be shown *instead* if the default headers, not in adition to.
> Now the default headers are shown twice.
>
Yeah... Maybe have a setting for "minimal headers" or "no headers" in the body 
pane... I think the current headers shows WAY too much info.