Preferences may be set from within Arboreal via a dialog (File/Preferences). Changes go into effect immediately; there is no need to restart Arboreal. The preferences dialog looks like this:
N.B.: Brief explanations of the settings are provided by tooltips that appear if you move the mouse over the field labels.
Arial Unicode MS); size: the default font size (in points), for text in both the tree and the content pane (defaults to
http://archimedes.fas.harvard.edu/cgi-bin/to access the the Harvard server, or use
http://localhost/cgi-bin/if you've installed the dictionary facility locally.
Colors for various types of highlighting can be chosen interactively with a color picker.
1. Preferences are stored in the
properties.xml file in the
directory: i.e., the directory called
.arboreal in your home directory. (On single-user Windows
platforms your "home directory" is normally considered to be