<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">In the </font><font size="4"><font size="4">Themes
</font>method category of the class Preferences, there are
methods for different aspects of the system. I think these could
be mapped in two different preferences:</font></p>
<ul>
<li><font size="4">#cuisDefault, #slowMachine, #smalltalk80 =>
#machine on type Array (#default #slow #smalltalk80) Does the
latter make sense?<br>
</font></li>
<li><font size="4">#forTouch, #forMouse => #pointer on type
Array (#finger #mouse)<br>
</font></li>
</ul>
<p>Appropriate event handlers will adjust the image accordingly when
these preferences are changed.<br>
</p>
<p>Opinion?<br>
</p>
<p>Hilaire<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>