User preferences

User preferences are settings to control the behavior of the user interface.