<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif;font-size:small;color:#000000">Hi Moti,</div><div class="gmail_default" style="font-family:tahoma,sans-serif;font-size:small;color:#000000"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif;font-size:small;color:#000000">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: <a href="https://input.djr.com/">https://input.djr.com/</a></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><br><div dir="ltr"><font size="2"><span style="font-family:tahoma,sans-serif">--jrs.</span><br style="font-family:tahoma,sans-serif">----------------<br style="font-family:tahoma,sans-serif"><b><span style="font-family:tahoma,sans-serif">José Reynaldo Setti</span></b><br style="font-family:tahoma,sans-serif"><font size="1"><font size="2"><a style="font-family:tahoma,sans-serif" href="mailto:jrasetti@usp.br" target="_blank">jrasetti@gmail.com</a></font><br style="font-family:tahoma,sans-serif"><span style="font-family:tahoma,sans-serif"></span><span style="font-family:tahoma,sans-serif"></span></font></font><font size="2"></font></div><div><font size="2"><span style="font-family:tahoma,sans-serif"><font size="1">(55-16) 3374-4835 (resid)<br></font></span></font></div><div dir="ltr"><font size="2"><span style="font-family:tahoma,sans-serif"><font size="1">(55-16) <font size="1">9-96</font>18-9890 (cel.)</font><br></span></font></div></div></div></div></div></div></div></div></div></div></div></div></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Feb 24, 2023 at 7:37 AM Moti Ben-Ari <<a href="mailto:moti.ben.ari@gmail.com">moti.ben.ari@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-size:small">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".</div><div><div dir="ltr"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><br></div></div></div></div></div></div></div></div></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Feb 24, 2023 at 12:24 PM Jonathan Kew <<a href="mailto:jfkthame@gmail.com" target="_blank">jfkthame@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Moti -<br>
<br>
This isn't exactly an answer to your question (I'm not really familiar <br>
wit the Windows registry entries), but I wonder whether choosing a <br>
different editor font would be helpful?<br>
<br>
I know it's been a "standard" monospaced font for a long time, but <br>
Courier New has often seemed uncomfortably light to me. You might find <br>
that an alternative such as Consolas or Lucida Console would be easier <br>
to read.<br>
<br>
JK<br>
<br>
On 24/02/2023 10:05, Moti Ben-Ari wrote:<br>
> Hi Philip,<br>
> The problem is that changes in Format/Font are local for that file only. <br>
> If you want a global change you have to make it in <br>
> Edit/Preferences/Editor and there is no selection for Regular/Bold/.... <br>
> Long ago I raised an issue requesting this but it has not been accepted. <br>
> I found the workaround of changing the registry. It is not ideal because <br>
> any change in the preferences rewrites the registry entry, but that's OK <br>
> for me.<br>
> Moti<br>
> <br>
> <br>
> On Fri, Feb 24, 2023 at 11:57 AM Philip Taylor (Hellenic Institute) <br>
> <<a href="mailto:P.Taylor@hellenic-institute.uk" target="_blank">P.Taylor@hellenic-institute.uk</a> <mailto:<a href="mailto:P.Taylor@hellenic-institute.uk" target="_blank">P.Taylor@hellenic-institute.uk</a>>> <br>
> wrote:<br>
> <br>
>     On 24/02/2023 08:04, Moti Ben-Ari wrote:<br>
>>     I have difficulty using the editor unless the font is bold. Since<br>
>>     it is not a preference, in v0.6.7 I was able to do so by changing<br>
>>     the fifth parameter of the Windows registry entry for font to 75:<br>
>>     Courier New,11,-1,5,75,0,0,0,0,0<br>
>><br>
>>     With v0.6.8 I tried the same thing but it doesn't work:<br>
>>     Courier New,11,-1,5,75,0,0,0,0,0,0,0,0,0,0,1<br>
> <br>
>     In the most recent version of TeXworks, Moti, (and, I believe in<br>
>     earlier versions), the bold version of a font (if available) can be<br>
>     selected through the GUI —<br>
> <br>
>       * Format / Font... / [Font] MS Shell Dlg 2 / [Font style] {Regular<br>
>         | Bold} / [Size] {6..72} / [Effects] {Strikethrough | Underline}<br>
>         / [Writing System].<br>
> <br>
>     -- <br>
>     /Philip Taylor/<br>
> <br>
<br>
</blockquote></div>
</blockquote></div>