public void dispose() {
for (TermFigure figure : boundFigures) {
figure.removeMouseListener(this);
}
unregisterTermFigure(path, this);
unreg.run();
contentFigure.dispose();
pathOwner.remove(path);
}
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 bindFigure(TermFigure figure) {
figure.addMouseListener(this);
boundFigures.add(figure);
}
