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