Re: [wjed] How to change font size

["John E. Davis" <davis@xxxxxxxxxxxxx>]

=?UTF-8?Q?J=C3=B6rg?= Sommer <joerg@xxxxxxxxxxxx> wrote:
>I've installed WJED yesterday. The font size was really small. How can I
>enlarge the font?

The win.ini font settings are described in jed/doc/txt/wjed.txt.  But
since I am not a windows user, I do not know about how to go about
setting this up.  Is it sufficient to create a C:\win.ini file with
the proper entries (and reboot)?  Or does this file already exist
in one of the windows directories?  And if you change it, is a reboot
required?

Thanks,
--John

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.