[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Pan-users] Re: Re: Changing default font color - feature request.
From: |
Duncan |
Subject: |
[Pan-users] Re: Re: Changing default font color - feature request. |
Date: |
Mon, 7 Aug 2006 11:40:14 +0000 (UTC) |
User-agent: |
pan 0.105 (When Churchill opened the door, it was a new car, a Chevrolet Nova.) |
jef_e <address@hidden> posted
address@hidden, excerpted below, on Mon, 07 Aug
2006 07:06:32 -0400:
> Well, as I said, it's filed as a feature request, not a bug :)
>
> Anyhow, the thing is, I don't want to change my entire theme just for this
> one option. Previous versions of Pan, including the 0.14.x series were
> able to do it so I thought I'd ask for it in the new version as well.
Hmm... had to go back and look (I still have the old binary installed, I
copied it off before I upgraded, as new-pan was still very rough at the
time), and sure enough. I had forgotten that. In that case, then, it won't
quite be a new feature, just a restoration of an old-pan feature, which is
a bit different. =8^)
Carry-on then... <g>
--
Duncan - List replies preferred. No HTML msgs.
"Every nonfree program has a lord, a master --
and if you use the program, he is your master." Richard Stallman