Options (Extras Menu)

In the system dialog "Options", the system fonts as well as settings for printing, test execution, the browser, and the Input Assistant can be configured.

The settings can be saved with the "Save" button (for this workstation), or just changed temporarily for this session by exiting the dialog with the "OK" button without saving. The "Reset" button can be used to reload the saved settings.

The options are organized in to the following tabs: