It may have something to with your OS then, because under Linux (suse 8.1)
using tcsh, I got it to work fine with
setenv PTKDB_CODE_FONT 9x12
--- deb <[EMAIL PROTECTED]> wrote:
> I have found a solution. If I give PTKDB_CODE_FONT env variable a full
> font name, instead of just "9x12", it happ
I have found a solution. If I give PTKDB_CODE_FONT env variable a full
font name, instead of just "9x12", it happily agrees to do my bidding.
Don't know why it works this way, but it does. I'd have to dive into the
code to find out, I'm sure.
So, here's what I did,
setenv PTKDB_CODE_FONT
"-mis
