<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">It is because this preference value is normally
dynamically computed. So the type of this preference is a
Closure.<br>
</font></p>
<p><font size="4">Read :<br>
</font></p>
<p><font size="4"><font face="monospace" color="#a61d40">installMiscPreferences<br>
../..<br>
name: #scrollbarThickness <br>
category: #gui <br>
value: [(Preferences at: #windowTitleFont) pointSize +
2];</font><br>
<br>
</font></p>
<p>When executing <font face="monospace" color="#a61d40">Preferences
at: #scrollbarThickness put: 30</font>, you are implicitly
changing the type of the preference from a Closure to an Integer,
and I initially forbid it.<br>
</p>
<p>It should be possible to hack by changing the type of the
preference too, implicitly or explicitly however I am afraid this
could lead to some side border problem. We need to discuss a bit
about that.<br>
</p>
<p>Hilaire<br>
</p>
<p><br>
</p>
<div class="moz-cite-prefix">Le 14/07/2022 à 15:27, Gerald Klix via
Cuis-dev a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:d34dc50a-c7af-1c48-bd1e-20b0bb9c118c@klix.ch">Hi all, Hi
Juan, <br>
<br>
I can not set the scroll-bar thickness with: <br>
<br>
Preferences at: #scrollbarThickness put: 30 <br>
<br>
because the preferences type is block closure. <br>
Instead I have to use: <br>
<br>
Preferences at: #scrollbarThickness put: [ 30 ] <br>
<br>
It works (somehow), but is this really the intended behavior? <br>
<br>
<br>
Best Regards, <br>
<br>
Gerald </blockquote>
</body>
</html>