Summary
ui.gadgets.toolbar.private vocabulary

Words

Ordinary words

Word	Stack effect
<toolbar-button-pen>	( -- pen )
toolbar-button-theme	( gadget -- gadget )