WinEdt 6: font changing
http://comments.gmane.org/gmane.editors.winedt/5662
I'll try to guide you to the new way of changing font settings under WinEdt 6.0, so please go to the following menu: Options --> Options... Note the opened left pane and from there select Font Schemes... -> Font In the opened file select the mentioned 5 lines pertaining to font options; Click the second (font) button in the upper left corner of the Options panel and select your desired font options; Now click in the first button to "Load Current Script" and save the new settings. That's all. You can also change font settings in "private.ini" instead of "font.ini" under "Advanced Configuration" branch of the Options (left) pane. Good luck! Bernhard Enders
No comments:
Post a Comment