[texworks] Changing font preference to bold

[Philip Taylor (Hellenic Institute)]

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

Ah, sorry, yes, I had failed to grasp that vital point. All clear now, 
and I agree.

-- 
/Philip Taylor/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/texworks/attachments/20230224/dee3b63b/attachment.html>