<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">I transposed the font preferences handling to
        PreferenceNG with the plan I described in my previous email. It
        seems to work reasonably well. Code joined.<br>
      </font></p>
    <p><font size="4">All parameters are just preferences.</font></p>
    <p><font size="4">To change the GUI element size, the user just
        executes:</font></p>
    <p><font size="4">    'PreferenceNT at: #guiElementsSize put:
        #hugeFonts'<br>
      </font></p>
    <p>Hard coded preferences are defined as preferences with block of
      code:</p>
    <p>PreferenceNG <br>
          name: #haloHandleSize <br>
          description: 'Size of the halo handle' <br>
          category: #gui <br>
          type: nil <br>
          value: [(PreferenceNG at: #standardListFont) pointSize * 5 //
      3 max: 16].</p>
    <p>So far, the preferences model remains uniform. Only the
      initialization of the default preferences makes the class to grow.<br>
    </p>
    <p>Other examples of use:</p>
    <pre>PreferenceNG reset.
PreferenceNG all size.
PreferenceNG haloSpecifications.
PreferenceNG at: #browseWithPrettyPrint put: true.
PreferenceNG instanceAt: #biggerCursors.
PreferenceNG saveTo: '/tmp/pref' asFileEntry.
PreferenceNG loadFrom: '/tmp/pref' asFileEntry.
PreferenceNG save: #useLocale to: '/tmp/locale' asFileEntry.
PreferenceNG saveCategory: #misc to: '/tmp/misc' asFileEntry.
PreferenceNG mergeWith: '/tmp/locale' asFileEntry.
PreferenceNG select: #font.
PreferenceNG at: #guiElementsSize put: #smallFonts.
PreferenceNG instanceAt: #guiElementsSize.
PreferenceNG instanceAt: #haloHandleSize
</pre>
    <p>Thanks for your attention<br>
    </p>
    <p>Hilaire<br>
    </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>