GUI PreferencesEdit online Use the GUI Preferences page to control the behavior of the navigation dock.