/** Updates the form menu. Sub-classes can extend if needed. */ protected void updateFormMenuManager() { IMenuManager menuManager = mainForm.getMenuManager(); menuManager.removeAll(); for (CmrRepositoryDefinition cmrRepositoryDefinition : cmrRepositoryManager.getCmrRepositoryDefinitions()) { if (!Objects.equals(cmrRepositoryDefinition, displayedCmrRepositoryDefinition)) { menuManager.add(new SelectCmrAction(cmrRepositoryDefinition)); } } menuManager.update(true); mainForm.getHead().layout(); }