6.11. Advanced options

6.11.1. Cached data options

Uncheck the checkbox to disable the corresponding cache.

Click the Clear button to make the corresponding cache empty. Note that all the following caches are automatically cleared each time you install a new version of XXE.

[Caution]

If you are a consultant developing an XXE configuration on the behalf of a group of writers, you'll almost certainly need to disable all the following caches.

Quick Start cache

This cache exists only when XMLmind XML Editor is run as a desktop application. It does not exist when XXE is run as an applet or when it has been started using Java™ Web Start.

The lists of configuration objects discovered by XXE during its startup (.xxe configuration files, XML catalogs, translations of XXE messages, spell-checker dictionaries, all kinds of plug-ins, customize.xxe_gui files, etc) are compiled and cached for slightly faster subsequent startups.

Once these lists have been compiled and cached in directory XXE_user_preferences_dir/cache/start/, a configuration file such as docbook.xxe is loaded only when this is really needed, that is, when you open a DocBook document. In other words, if you never open a DocBook document (and if you never use FileNew) during your editing session, then the docbook.xxe configuration file will not be loaded at all.

Default state: checked.

[Caution]

This cache is automatically cleared when you install add-ons using OptionsInstall Add-ons and also when you upgrade XXE. If, for any reason you cannot install an add-on using OptionsInstall Add-ons and have to install this add-on manually by unzipping it in one of the two addon/ directories, do not forget to clear the quick start cache before restarting XXE.

Password cache

XXE allows to open documents stored on WebDAV, FTP, SFTP, etc, servers. Such servers generally require the user to authenticate himself.

In order to do this, XXE prompts the user for his username and password. Once this is done, the credentials are always cached for subsequent use within the same editing session.

Moreover, if the user check the "Remember these username and password" checkbox of the authentication dialog box, the credentials are saved to the user preferences file for use in subsequent editing sessions.

The password cache cannot be disabled.

[Tip]

If you typed an incorrect username and/or password, you'll probably want to click the Clear button of this Password cache. Doing this forces XXE to prompt you again for your credentials.

Document cache

This document cache is needed because some of the components of XXE (e.g. the XPath document() function in XMLmind XML Editor - Support of XPath 1.0) have to quickly access the contents of documents which have not been explicitly opened in the XML editor by the user.

Default state: checked. Default size: 100.

Schema cache

When an instance document conforming to a grammar (DTD, W3C XML Schema or RELAX NG Schema) is opened in XXE, the grammar is checked for validity, then the instance document is checked for validity.

Checking a grammar for validity may be a lengthy operation for a medium-size W3C XML schema and for a large DTD such as DocBook. (This implies that this cache is not useful if you exclusively use small or medium size DTDs such as XHTML.)

Therefore, if the cache is enabled, XXE checks the grammar the first time it is used by an instance document and then caches it for subsequent uses. The grammar is cached

  1. in memory,

  2. on disk using a fast loading binary format (DTD, W3C XML Schema, but not RELAX NG Schema).

    The directory used to store the fast loading binary files is XXE_user_preferences_dir/cache/schema/.

The cache records the location and date of the source files of the grammar. If these source files are removed or modified, the cache will automatically discard the obsolete cached grammar. Of course, this forces XXE to load an up-to-date grammar from the source files.

Note that the existence and date of remote source files (that is, grammar files located on a HTTP or FTP server) are not checked by the schema cache.

Default state: checked. Default size: 10.

6.11.2. Proxies options

[Note]

This preference sheet is absent when XMLmind XML Editor has been started using Java™ Web Start. In such case, proxy servers must be configured using the Java™ Control Panel.

A proxy server is a service which allows clients such Web browsers or XMLmind XML Editor to make indirect network connections to other HTTP, FTP, etc, servers. A common proxy server is a caching Web proxy. This proxy provides a nearby cache of Web pages and files available on remote Web servers, allowing clients to access them quickly and reliably.

That's why, if you have problems listing or downloading available add-ons using OptionsInstall Add-ons, may be your organization uses a proxy server to make connections to the Internet and in such case, this proxy server needs to be declared using this preference sheet.

Direct connection to the Internet

Do not use the services of proxy servers, if any. Make direct connections to the Internet.

Default: not checked.

Use system settings

Use what has been specified in the ``control panel'' of your desktop/operating system. For example, on Windows, you'll find these settings in Control Panel > Internet Options > Connections tab > LAN Settings.

Default: checked.

Manual proxy configuration

Specify which proxy server to use for which network protocol. Please ask your network administrator to help you fill this form.

Default: not checked.

HTTP proxy

Specifies the host name of the proxy server to use when HTTP connections are made.

Default: none.

(HTTP proxy) Port

Specifies the port number of the proxy server to use when HTTP connections are made.

Default: 80.

HTTPS proxy

Specifies the host name of the proxy server to use when HTTPS connections are made.

Default: none.

(HTTPS proxy) Port

Specifies the port number of the proxy server to use when HTTPS connections are made.

Default: 443.

FTP proxy

Specifies the host name of the proxy server to use when FTP connections are made.

Default: none.

(FTP proxy) Port

Specifies the port number of the proxy server to use when FTP connections are made.

Default: 80.

SOCKS proxy

Specifies the host name of the SOCKS V4 or V5 proxy server to use when network connections of any sort are made.

Default: none.

(SOCKS proxy) Port

Specifies the port number of the SOCKS V4 or V5 proxy server to use when network connections of any sort are made.

Default: 1080.

Authenticate SOCKS user

Check this toggle if the SOCKS proxy server of your organization requires you to authenticate yourself before using its services.

Default: not checked.

(SOCKS) User name

Your name as a user of the SOCKS proxy server.

Default: the login name of the user.

(SOCKS) Password

Your password as a user of the SOCKS proxy server.

Default: the empty string.

No proxy for

When XMLmind XML Editor runs on these hosts, do not the services of proxy servers, if any. Make direct connections to the Internet.

Default: "localhost 127.0.0.1".