--- 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():