public void setCurrentDiff(Difference[] currentDiff) {
   this.currentDiff = currentDiff;
   editorPane.setDifferences(currentDiff);
   linesActions.onDiffSetChanged();
   fireHilitingChanged();
   //        revalidate();
 }