Esempi in Java per MPSTree.rebuildLater

Esempio n. 1

File: BaseLogicalViewProjectPane.java Progetto: wolfhesse/MPS

 public void commandFinished() {
   if (!myNeedRebuild) return;
   JTree tree = getTree();
   if (tree instanceof MPSTree) {
     ((MPSTree) tree).rebuildLater();
   }
   myNeedRebuild = false;
 }

Esempio n. 2

File: BaseLogicalViewProjectPane.java Progetto: wolfhesse/MPS

 public void afterRefreshFinish(boolean asynchonous) {
   if (myNeedRebuild) {
     JTree tree = getTree();
     if (tree instanceof MPSTree) {
       ((MPSTree) tree).rebuildLater();
     }
     myNeedRebuild = false;
   }
 }