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