Previous: preferences, Up: workspace
These describe other elements that are used in several parts of the user interface.