[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Pan-users] Changing fonts on Pan 0.12
From: |
Charles Kerr |
Subject: |
Re: [Pan-users] Changing fonts on Pan 0.12 |
Date: |
Tue, 9 Jul 2002 23:52:29 -0700 |
User-agent: |
Mutt/1.3.20i |
On Tue, Jul 09, 2002 at 10:14:39PM -0700, Hesty P wrote:
> Hi all,
>
> How do I change my font on 0.12? I'm using it on RH7.3
> I've search through preferences menu and dug into ~/.pan
> but can't find any hint.
Edit|Preferences|Display. Note that the group and header
pane font preferences disappeared from CVS yesterday but
they're back now.
cheers,
Charles