<< back

Preferences window.

• Display tree: check to show the tree in the editor.
• Use DTD: check to download DTDs from internet and analyze them to use in content assistant.
• Use proxy: if you are behind a proxy server check this option and configure the proxy server.
• Colors: you can customize the colors used in the source editor.