method menu = ([] : GToolbox.menu_entry list)