Configuring Arboreal

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:

"General" tab

N.B.: Brief explanations of the settings are provided by tooltips that appear if you move the mouse over the field labels.

"Colors" tab

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.)


webmaster@archimedes.fas.harvard.edu
Last modified: Wed May 19 15:20:40 EDT 2004