| 1 | -- Collection Preferences --
|
|---|
| 2 |
|
|---|
| 3 | /** <i>true</i> if Greenstone type metadata should be automatically extracted, <i>false</i> otherwise. */
|
|---|
| 4 | public boolean auto = true;
|
|---|
| 5 | /** Specifies whether Gatherer should overwrite existing files (<i>true</i> to overwrite, <i>false</i> otherwise). */
|
|---|
| 6 | public boolean clobber = false;
|
|---|
| 7 | /** <i>true</i> to indicate that during mirroring no file from higher in the file hierarchy should be downloaded (i.e. download this url or files in the directories below this url), <i>false</i> if mirroring should be complete. */
|
|---|
| 8 | public boolean no_parents = true;
|
|---|
| 9 | /** <i>true</i> to remove failed mirroring jobs from the queue, <i>false</i> to leave them where they are (but mark them as failed). */
|
|---|
| 10 | public boolean remove_failed = false;
|
|---|
| 11 | /** <i>true</i> to allow the mirroring to bridge hosts, <i>false</i> to make it stay on the initial host. */
|
|---|
| 12 | public boolean other_hosts = false;
|
|---|
| 13 | /** <i>true</i> to ensure that all files needs to correctly render a page are downloaded, and/or added when adding files, <i>false</i> if only selected files are added. */
|
|---|
| 14 | public boolean page_requisites = true;
|
|---|
| 15 | /** The depth a site should be mirrored to (how many links should be followed). */
|
|---|
| 16 | public int depth = 0;
|
|---|
| 17 |
|
|---|
| 18 | -- General Preferences --
|
|---|
| 19 |
|
|---|
| 20 | /** Specifies what levels should visible messages be from. */
|
|---|
| 21 | public boolean level[] = new boolean[4];
|
|---|
| 22 | /** Specifies what sources should visible messages be from. */
|
|---|
| 23 | public boolean source[] = new boolean[6];
|
|---|
| 24 | /** Does Gatherer need to access the net via a proxy? */
|
|---|
| 25 | public boolean use_proxy = false;
|
|---|
| 26 | /** The size of the main Gatherer window. */
|
|---|
| 27 | public Dimension size = null;
|
|---|
| 28 | /** The default font used when building controls with text in them. */
|
|---|
| 29 | public FontUIResource font = null;
|
|---|
| 30 | /** The font used for the tool tip gets it own little setting, as we need to use some set character width font if we wish the tips to appear justified properly. */
|
|---|
| 31 | public FontUIResource tooltip_font = null;
|
|---|
| 32 | /** The current Locale of Gatherer. Initialized to default if no other provided. */
|
|---|
| 33 | public Locale locale = null;
|
|---|
| 34 | /** The current Gatherer homepage. */
|
|---|
| 35 | public GURL home = new GURL("http://www.greenstone.org/");
|
|---|
| 36 | /** The file name of the currently open, or open at end of last session, collection. */
|
|---|
| 37 | public String open_collection = null;
|
|---|
| 38 | /** The host address of a proxy server, if necessary. */
|
|---|
| 39 | public String proxy_host = null;
|
|---|
| 40 | /** The port number of a proxy server, if necessary. */
|
|---|
| 41 | public String proxy_port = null;
|
|---|
| 42 |
|
|---|
| 43 | -- Transient Preferences (not written to xml) --
|
|---|
| 44 |
|
|---|
| 45 | /** Should debug features be turned on (<i>true</i> to enable debug, <i>false</i> otherwise). */
|
|---|
| 46 | public boolean debug = true;
|
|---|
| 47 | /** The password for the proxy server indicated above. */
|
|---|
| 48 | transient public String proxy_pass = null;
|
|---|
| 49 | /** The username for the proxy server indicated above. */
|
|---|
| 50 | transient public String proxy_user = null;
|
|---|
| 51 |
|
|---|
