Re: While we're gutting the python parser...

2001-11-03 Thread David A. Desrosiers
I'm still not sure how this would work. The user already sets the font preferred to read documents in via the Preferences panel. No, they don't set the font, they *CHANGE* the font via the Preferences panel. What I'm suggesting is that we have a way to set a default font for that pdb

While we're gutting the python parser...

2001-10-26 Thread David A. Desrosiers
I suggest a small block of new options: --font=std,bold,large,largebold,narrow If we're moving towards storing the actual font value in the database itself, why not put a pointer there to specify it upon creation? /d

Re: While we're gutting the python parser...

2001-10-26 Thread Bill Janssen
I suggest a small block of new options: --font=std,bold,large,largebold,narrow If we're moving towards storing the actual font value in the database itself, why not put a pointer there to specify it upon creation? I don't think I understand this suggestion, David. The