Table of Contents
Advertisement
Options menu
The Java Tool can be adapted and customised by editing various default
settings.
In order to activate or change the default settings, proceed as follows:
➔ Select Extras > Options in the menu bar. The tab Default Settings
will open.
The following default settings parameters can be changed:
Option
IP / Hostname
User
Configuration
Directory
Firmware
Directory
Status
Directory
Import / Export
Directory
Presets
Directory
In order to set various font sizes for the Java Tool, proceed as follows:
1.
Select Extras > Options in the menu bar.
2.
Open the Miscellaneous tab.
3.
Select the desired font size (normal or large).
2020-02-26
Description
Default IP address of the matrix required for
connection
Default user name required for connection
Default directory for configuration files
Default directory for update files
Default directory for the firmware status
Default directory for import and export files
Default directory for macro files
Configuration
75
Advertisement
Table of Contents
