Font size, Window size, and Divider position may be changed.
Settings are saved in ArmchairSettings.xml in the user's home directory.
Logging may be activated if there appears to be a problem in Armchair. A log
file will be created in the user's home directory.
To change a setting:
- press OK to display the menu
- select a setting from the menu