Changes between Initial Version and Version 1 of Configuration


Ignore:
Timestamp:
Oct 21, 2009, 9:31:43 AM (15 years ago)
Author:
kthoden
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Configuration

    v1 v1  
     1{{{
     2#!html
     3
     4<p>Preferences may be set from within Arboreal via a dialog
     5(<b>File/Preferences</b>). Changes go into effect immediately; there
     6is no need to restart Arboreal.<sup><a href="#fn1">[1]</a></sup> The
     7preferences dialog looks like this:</p>
     8}}}
     9
     10[[Image(prefs.gif)]]
     11
     12{{{
     13#!html
     14<h3>&quot;General&quot; tab</h3>
     15
     16<p><b>N.B.:</b> Brief explanations of the settings are provided by tooltips that
     17appear if you move the mouse over the field labels.</p>
     18
     19<ul>
     20<li><b>Font name</b>: the font to use (e.g., <code>Arial Unicode
     21MS</code>); <b>size</b>: the default font size (in points), for text
     22in both the tree and the content pane (defaults to
     23<code>14</code>).<p>
     24
     25<li><b>Script base</b>: the base URL for the dictionary and
     26server-based term facilities; use
     27<code>http://archimedes.fas.harvard.edu/cgi-bin/</code> to access the
     28the Harvard server, or use <code>http://localhost/cgi-bin/</code> if
     29you've installed the dictionary facility locally.<p>
     30
     31<li><b>Default catalog</b>: if this is set, Arboreal will load the
     32specified catalog file at startup. Catalog files may always be loaded
     33manually with <b>File/Load catalog.</b></p>
     34
     35<li><b>Default language</b>: the language assumed as the default for
     36documents where no language is specified explicitly. See further <a
     37href="lang.html">language documentation</a>).<p>
     38</ul>
     39
     40<h3>&quot;Colors&quot; tab</h3>
     41
     42<p>Colors for various types of highlighting can be chosen
     43interactively with a color picker.</p>
     44
     45<hr>
     46
     47<p><font size="-1"><a name="fn1"></a>1. Preferences are stored in the
     48<code>properties.xml</code> file in the <code>arboreal</code>
     49directory: i.e., the directory called <code>arboreal</code> or
     50<code>.arboreal</code> in your home directory. (On single-user Windows
     51platforms your &quot;home directory&quot; is normally considered to be
     52
     53<code>C:\WINDOWS</code>.)</font></p>
     54}}}