ChangesTreeCreationHandler.java

package jetbrains.mps.vcs.changesmanager.tree;

/*Generated by MPS */

import jetbrains.mps.ide.ui.tree.TreeHighlighterExtension;
import jetbrains.mps.ide.ui.tree.MPSTree;

public class ChangesTreeCreationHandler extends TreeHighlighterExtension {
  private TreeHighlighterFactory myTreesHighlighter;
  public ChangesTreeCreationHandler(TreeHighlighterFactory treesHighlighter) {
    myTreesHighlighter = treesHighlighter;
  }
  @Override
  protected void attach(MPSTree tree) {
    myTreesHighlighter.highlightTreeIfNeeded(tree);
  }
}