30043005300630073008300930103011301230133014
.getMenuManager(); if (textOnly) { menuManager.update(IAction.TEXT); } else { menuManager.updateAll(true); } } if (!actionSetsUpdated) { final ActionSetsEvent event = new ActionSetsEvent(null);