public void updateFigure() throws TermVisualizationException, TermInstantiationException { contentFigure.dispose(); if (contentFigure != null) { contentFigure.erase(); remove(contentFigure); } contentFigure = createContentFigure(descriptor); add(contentFigure); requestFocus(); setFocus(); context.figureUpdated(); navigator().refresh(); }
public void figureUpdated() { context.figureUpdated(); }