/** 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();
}
