UI/DiffDialog.py

changeset 5765
39d8b26ff557
parent 5664
9b318fcb1ee2
child 6048
82ad8ec9548c
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():

eric ide

mercurial