<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Le 14/07/2022 à 19:54, Gerald Klix a
écrit :<br>
</div>
<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>
<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>