method
menus : (string *
GToolbox
.menu_entry list) list = []