Previous: preferences, Up: workspace


3.9 Other common elements

These describe other elements that are used in several parts of the user interface.