[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.