Re: [wjed] How to change font size

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hallo John,

"John E. Davis" <davis@xxxxxxxxxxxxx> wrote:
> =?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)?

I found the win.ini in C:\windows. It was enough to add the entry for
the font size and restart wjed.

Regards, Jörg.
-- 
Gienger's Law (http://www.bruhaha.de/laws.html):
Die Wichtigkeit eines Newspostings im Usenet ist reziprok zur Anzahl der
enthaltenenen, kumulierten Ausrufungszeichen.

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