Next: , Up: Customization   [Contents]


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.

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.