<\body> In addition to the , where most of the important customization may be made, there are some other user preferences available. These are either too ``fine-grained'' to be added to the main dialog or simply unsupported and therefore they are only made accessible through the procedures and as explained in procedures for user preferences|../../devel/scheme/utils/utils-preferences.en.tm>. These are stored, along the rest, in your file. will color , and source files using either default colors or the ones you configure with the preferences where LAN is one of (ok?). The colors may be either named or hexadecimal as in . <\explain> )> <|explain> Whether to automatically accept the contents of text widgets in the focus toolbar upon exit. Setting this to false means one must press the key to validate the input or it will be lost when the widget looses focus. <\explain> )> <|explain> Specifies the font size in points of so-called elements in the interface. These include the footer and the focus toolbar. Please note that abusing this might cause some elements in the interface to be misplaced. Reasonable values are in the range 10-15. Please refer to . team> >