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