On Wed, 24 Feb 1999, Jean-Marc Lasgouttes wrote:
JML> > "Richard" == Richard E Hawkins Esq <[EMAIL PROTECTED]> writes:
JML>
Richard> Having seen this now in both freebsd and linux, I'm
Richard> wondering: how is
Richard> options-> screenfonts supposed to behave? Changing fonts (times=>
Rich
> "Richard" == Richard E Hawkins Esq <[EMAIL PROTECTED]> writes:
Richard> Having seen this now in both freebsd and linux, I'm
Richard> wondering: how is
options-> screenfonts supposed to behave? Changing fonts (times=>
Richard> utopia) doesn't seem to take effect in the same edititng
Richard
Having seen this now in both freebsd and linux, I'm wondering: how is
options->screenfonts supposed to behave? Changing fonts (times=>
utopia) doesn't seem to take effect in the same edititng session, and
both changes to this entry and magnification are not kept for the next
session. Should