Dialog - GNU Aris Manual
Description: GNU Aris Manual

Next: Config File, Up: Customization

### 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.