diff -r 51ceecf32585 -r 39d8b26ff557 UI/DiffDialog.py --- a/UI/DiffDialog.py Fri Jun 23 18:46:40 2017 +0200 +++ b/UI/DiffDialog.py Sat Jun 24 12:15:03 2017 +0200 @@ -367,6 +367,7 @@ return self.contents.clear() + self.highlighter.regenerateRules() self.saveButton.setEnabled(False) if self.unifiedRadioButton.isChecked():