Toolbar switch. Toolbar can be used with some modes (for example, the proof-general mode).