[texworks] Changing font preference to bold

J. R. Setti jrasetti at gmail.com
Fri Feb 24 20:02:44 CET 2023


Hi Moti,

I know how difficult it is to let go of the old fonts, but since I started
using Input as my editor font, I never wanted to go back to Courier. Much
easier in my aging eyes. It can be configured to taste and it is free:
https://input.djr.com/

--jrs.
----------------
*José Reynaldo Setti*
jrasetti at gmail.com <jrasetti at usp.br>
(55-16) 3374-4835 (resid)
(55-16) 9-9618-9890 (cel.)


On Fri, Feb 24, 2023 at 7:37 AM Moti Ben-Ari <moti.ben.ari at gmail.com> wrote:

> Thanks, Jonathan. I could live with Consolas but after years (maybe it has
> been decades) of Courier New it is hard to abandon it! I hope that someone
> can help with the registry or that eventually bold will be a "preference".
>
>
>
> On Fri, Feb 24, 2023 at 12:24 PM Jonathan Kew <jfkthame at gmail.com> wrote:
>
>> Hi Moti -
>>
>> This isn't exactly an answer to your question (I'm not really familiar
>> wit the Windows registry entries), but I wonder whether choosing a
>> different editor font would be helpful?
>>
>> I know it's been a "standard" monospaced font for a long time, but
>> Courier New has often seemed uncomfortably light to me. You might find
>> that an alternative such as Consolas or Lucida Console would be easier
>> to read.
>>
>> JK
>>
>> On 24/02/2023 10:05, Moti Ben-Ari wrote:
>> > Hi Philip,
>> > The problem is that changes in Format/Font are local for that file
>> only.
>> > If you want a global change you have to make it in
>> > Edit/Preferences/Editor and there is no selection for Regular/Bold/....
>> > Long ago I raised an issue requesting this but it has not been
>> accepted.
>> > I found the workaround of changing the registry. It is not ideal
>> because
>> > any change in the preferences rewrites the registry entry, but that's
>> OK
>> > for me.
>> > Moti
>> >
>> >
>> > On Fri, Feb 24, 2023 at 11:57 AM Philip Taylor (Hellenic Institute)
>> > <P.Taylor at hellenic-institute.uk <mailto:P.Taylor at hellenic-institute.uk>>
>>
>> > wrote:
>> >
>> >     On 24/02/2023 08:04, Moti Ben-Ari wrote:
>> >>     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
>> >
>> >     In the most recent version of TeXworks, Moti, (and, I believe in
>> >     earlier versions), the bold version of a font (if available) can be
>> >     selected through the GUI —
>> >
>> >       * Format / Font... / [Font] MS Shell Dlg 2 / [Font style] {Regular
>> >         | Bold} / [Size] {6..72} / [Effects] {Strikethrough | Underline}
>> >         / [Writing System].
>> >
>> >     --
>> >     /Philip Taylor/
>> >
>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/texworks/attachments/20230224/a8553cf4/attachment.html>


More information about the texworks mailing list.