change current document options?

 

 

Two ways are proposed to change current document options:

• the options that are essentially switches (such as: ignore line end markers or treat sub-folders) are proposed for quick access in the Edit/Documents options sub-menu
• the options that are more complex to express (filters, dates settings...) together will all the switches are presented in the menu Edit/Edit document options box, you can also reach this box by pressing the Document options button in the toolbar .

These changes will concern only current document. If you wish to make global the current document setting, use the "Set these options as application defaults" in the Default panel of the Document options box.