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 Document / Document
quick options sub-menu
the options that are more complex to express (filters,
dates settings...) together will all the switches are
presented in the menu Document / View and
Comparison 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.