/*
 * menus.h
 */

extern ToolboxEventHandler      build_views;
extern ToolboxEventHandler      alter_views;
