[texworks] Changing font preference to bold
Moti Ben-Ari
moti.ben.ari at gmail.com
Fri Feb 24 09:04:22 CET 2023
I have difficulty using the editor unless the font is bold. Since it is not
a preference, in v0.6.7 I was able to do so by changing the fifth parameter
of the Windows registry entry for font to 75:
Courier New,11,-1,5,75,0,0,0,0,0
With v0.6.8 I tried the same thing but it doesn't work:
Courier New,11,-1,5,75,0,0,0,0,0,0,0,0,0,0,1
Moti
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/texworks/attachments/20230224/8111368f/attachment.html>
More information about the texworks
mailing list.