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