IHighlighter.java

package jetbrains.mps.vcs.diff.ui;

/*Generated by MPS */


public interface IHighlighter {
  void rehighlight();
}