[This sender failed our fraud detection checks and may not be who they
appear to be. Learn about spoofing at http://aka.ms/LearnAboutSpoofing]
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>.
.