7.1 Customization Dialog
When the dialog appears, there are several tabs. These are explained as follows:
- Main Keys
- This tab allows the user to customize the keyboard shortcuts that Aris uses with the proof and rules table menus. Each entry corresponds to a menu item. The only option that can not be edited is the 'Contents' menu keyboard shortcut.
- Goal Keys
- This tab allows the user to customize the keyboard shortcuts that Aris uses with the goal menus.
- Display
- This tab allows the user to customize the display settings. Included in here are the font size presets, which will be set to the indicated size when activated; the default font size, which Aris will be in when loaded; and the color preferences, which will change the colors that Aris hilights different objects in.
- Internal
- This tab allows the user to set internal preferences. Right now, the only item in this tab is the IP Address of the Grade Server. (see Submission)
For a description of the format of key commands, see Config File.