KeyHandler parentKeyHandler = graphicalViewerKeyHandler.setParent(this.diagramKeyHandler);
getGraphicalViewer().setKeyHandler(parentKeyHandler);
}
private void refreshPalette() {
PaletteRoot pr = getPaletteRoot();
if (pr instanceof SapphirePaletteRoot) {
SapphirePaletteRoot spr = (SapphirePaletteRoot) pr;
spr.updatePaletteEntries();
}
}