Re: [jed-users] WJED font - help!

[Thei Wijnen <t.wijnen@xxxxxxxxx>]

Dear Kevin,

Look for the file:
C:\Users\KEVIN\AppData\Local\VirtualStore\Windows\win.ini
(change KEVIN into your windows-user-naam)

Make the JED modifications in that file!  (not in C:\windows\win.ini)
Good luck !

            Thei.

+-------+---+---+-------+-------+-------+-------+-------+-------+---+


On Wed, 31 Jan 2018, Kevin Hughes wrote:

> Hi,
> I have been a user of Edt for over 30 years and Jed saved my life on 
> Windows!!
>
> Now I am just moving from Windows 8.1 to Windows 10 and I have WJED running 
> ok on Win 10. However I cannot seem to change the font to something easier on 
> the eye.
> I have the section shown below added to c:\windows\win.ini which is the same 
> as on my Win 8.1 box, but the font does not change from whatever is the 
> default.
> I have tried different fonts (Fixedsys, Courier) and different FontHeights 
> but no changes seem to have any effect. Even after re-booting.
>
> Has anyone been able to successfully change the font for WJED on Win 10?
> Any help/advice would be very much appreciated.
>
> Thanks
> Kevin
>
> [WJED]
> black=0,0,0
> blue=0,0,192
> green=0,128,0
> cyan=0,192,192
> red=192,0,0
> magenta=192,0,192
> lightgray=192,192,192
> gray=128,128,128
> brightblue=0,0,255
> brightred=255,0,0
> brightgreen=0,255,0
> brightcyan=0,255,255
> brightmagenta=255,0,255
> yellow=255,255,0
> white=255,255,255
> brown=110,74,32
> X=1
> Y=1
> Width=1678
> Height=1048
> Font=Consolas
> FontHeight=14
> FontBold=1
>
> _______________________________________________
> For list information, visit <http://jedsoft.org/jed/mailinglists.html>.
_______________________________________________
For list information, visit <http://jedsoft.org/jed/mailinglists.html>.