Home
Categories
Dictionary
Download
Project Details
Changes Log
What Links Here
How To
Syntax
FAQ
License

Editor options



The "Options" menu of the Editor allows to:
  • Automatically save the content of XML elements when navigating in the tree. For eaxmple, if you modify the content of an article in the editor, and you select another file in the tree, it will automatically save your changes before switching to the other element
  • Specify the indentation of the editor XML formatting
  • Change the way the dependency window will work

editoroptions

Auto Save option

If the "Auto Save" checkbox is checked, then if you modify an XML element, it will automatically be saved when selecting another element in the tree.

XML formatting

The "Indentation" specifies the indentation to use when formatting XML elements.

Auto Refresh option

If the "Auto Refresh" checkbox is checked, then the dependencies window will automatically be refreshed when navigating in the window.

See also


Categories: editor | gui

docJGenerator Copyright (c) 2016-2023 Herve Girod. All rights reserved.