UI Settings

 

Various options to control the behavior of the User Interface.