<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="4">Hi Gerald, <br>
</font></p>
<p><font size="4">Did you find how to resolve the issue?</font></p>
<p><font size="4">Thanks</font></p>
<p><font size="4">Hilaire</font><br>
</p>
<div class="moz-cite-prefix">Le 14/07/2022 à 19:58, Hilaire
Fernandes a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:ab259e89-a2a0-72fc-75e9-d0e030e8b353@free.fr">
<blockquote type="cite"
cite="mid:06da3aa9-0382-0778-23d7-64c3fbd35ec7@klix.ch">Hoi, <br>
<br>
this helps a bit. Scrollbars in newly created windows look ok. <br>
The old ones have their arrows drawn right, but not the
underlying <br>
morph background is still the wrong size. Again, please the
attached screenshots. <br>
<br>
<br>
HTH, <br>
<br>
Gerald <br>
</blockquote>
<p><font size="4">You can take a look at the event handler for
font preference change:</font></p>
<p><font size="4">PreferenceSet class>>defaultFontSize:
guiElementSizePref<br>
</font></p>
<p><br>
</p>
</blockquote>
<pre class="moz-signature" cols="72">--
GNU Dr. Geo
<a class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a>
<a class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre>
</body>
</html>