[Pan-users] Pan 13.90 problem

[Brad Sims]

How do I change the font Pan uses to display headers? 

I had thought that it would use the article pane monospace setting but no...
and the dialog to set group pane font is missing as has been noted.

Thanks, and keep up the good work
-- 
The creation of nothing seems like such a simple task. Whole legions of
lawyers, MBAs and politicians do it every day.
    -- Uncle Al <http://www.mazepath.com/uncleal>