@Override
public void dispose() {
if (!(this.isDisposed())) {
super.dispose();
}
this.myAnimator.dispose();
}
public void commandFinished() {
if (!myNeedRebuild) return;
JTree tree = getTree();
if (tree instanceof MPSTree) {
((MPSTree) tree).rebuildLater();
}
myNeedRebuild = false;
}
public void afterRefreshFinish(boolean asynchonous) {
if (myNeedRebuild) {
JTree tree = getTree();
if (tree instanceof MPSTree) {
((MPSTree) tree).rebuildLater();
}
myNeedRebuild = false;
}
}
