button-panel

This panel goes along the top of the drscheme window and has buttons for important actions the user frequently executes.

A tool can add a button to this panel to make some new functionality easily accessible to the user.

• (ivar a-drscheme:unit:frame button-panel) -> a mred:horizontal-panel% object