jed-users mailing list

[2007 Date Index] [2007 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

Re: [wjed] How to change font size


Hello 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 what if I'm not an administrator and can't write to win.ini. Also
the colors look ugly.

I found the w32_select_font function. It is not mentioned in the wjed
help.

BTW: Why the w32_*menu* functions do not replace the internal menu
functions?

Bye, Jörg.
-- 
Nicht was du bist, ist es was dich ehrt, wie du bist bestimmt den Wert.
Wünsche hat man oft und viel, nur wer lernt erreicht sein Ziel.

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


[2007 date index] [2007 thread index]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]