{{{ #!html
Preferences may be set from within Arboreal via a dialog (File/Preferences). Changes go into effect immediately; there is no need to restart Arboreal.[1] The preferences dialog looks like this:
}}} [[Image(prefs.gif)]] {{{ #!htmlN.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
14
).
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 arboreal
directory: i.e., the directory called arboreal
or
.arboreal
in your home directory. (On single-user Windows
platforms your "home directory" is normally considered to be
C:\WINDOWS
.)