public GraphicalEditorWithPalette getActiveEditor() { return (GraphicalEditorWithPalette) super.getActiveEditor(); }