Exemple #1
0
 @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;
   }
 }