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