You can customize the look and the behavior of MetaTexis in the General options dialog box.
To display the General options dialog box, click on the toolbar icon: , or execute the menu command: MetaTexis | General options (default shortcut: Alt+Ctrl+Shift+O). The following dialog box will appear:
The General options dialog box has four tabs:
· Miscellaneous 1:
For explanations, see below.
· Miscellaneous 2:
For explanations, see below.
· Quality check:
For explanations, see Formal Quality Checking.
· Shortcuts:
For explanations, see below.
· Colors and frames:
For explanations, see below.
Except for the Quality check tab, all elements of the General options dialog box will be explained in the following sub-sections.