[texworks] Changing font preference to bold

[Moti Ben-Ari]

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> 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/e04eb8a9/attachment.html>