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