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.
- 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.
- Grade Server
- This tab allows the user to set preferences specific to the grade server. The two options here are for the IP address of the grading server, and the password used to authenticate into the server. (see Submission)
For a description of the format of key commands, see Config File.