<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 24/02/2023 10:05, Moti Ben-Ari
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAHCuC+ktdSUQwPCs7+N4SGUmxjS0zGSPy3nEFB9NVogs_J9NAA@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div class="gmail_default" style="font-size:small">Hi Philip,</div>
<div class="gmail_default" style="font-size:small">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.</div>
<div class="gmail_default" style="font-size:small">Moti</div>
</div>
</blockquote>
<p>Ah, sorry, yes, I had failed to grasp that vital point. All clear
now, and I agree.</p>
<p>-- <br>
<i>Philip Taylor</i><br>
</p>
</body>
</html>