<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="4">Hi, <br>
</font></p>
<p><font size="4">Yes, this is how the preferences now works, sinces
several months to be honest. Good catch. I also updated the
access to the taskbar, before adjusting its height. Now updated
in the html version of the book</font></p>
<p><font size="4">Thanks</font><br>
</p>
<div class="moz-cite-prefix">Le 19/03/2023 à 14:17, Alexandre
Rousseau a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:CAKmOayJw147f4vDS4RU=7GCyGiMgxdYODEmTMWavDQQ5SUOguQ@mail.gmail.com">
<div class="moz-text-html" lang="x-unicode">
<div dir="ltr">
<div>Hello.</div>
<div><br>
</div>
<div>In the Daily Workflow page, some preferences config
example code is no longer understood (running latest image):</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex"><font face="monospace">...<br>
Preferences verySmallFonts.<br>
...<br>
self runningWorld doOneCycle.</font></blockquote>
<div><br>
</div>
<div>Replacing it -- not sure this is the simplest way -- with
this works:<br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex"><font face="monospace">...<br>
Preferences at: #guiElementsSize put: #verySmallFonts.<br>
...<br>
self runningWorld doOneCycleNow.</font></blockquote>
<div>
<div><br>
</div>
</div>
<div>^^ I'm not sure this was the cleanest way but it did work
for me.</div>
<div><br>
</div>
</div>
</div>
</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>