RCP: menu manager