--- a/src/eric7/UI/DiffDialog.py Mon Sep 23 14:37:31 2024 +0200 +++ b/src/eric7/UI/DiffDialog.py Tue Sep 24 17:52:41 2024 +0200 @@ -203,8 +203,20 @@ ) return + self.highlighter.regenerateRules( + { + "text": Preferences.getDiffColour("TextColor"), + "added": Preferences.getDiffColour("AddedColor"), + "removed": Preferences.getDiffColour("RemovedColor"), + "replaced": Preferences.getDiffColour("ReplacedColor"), + "context": Preferences.getDiffColour("ContextColor"), + "header": Preferences.getDiffColour("HeaderColor"), + "whitespace": Preferences.getDiffColour("BadWhitespaceColor"), + }, + Preferences.getEditorOtherFonts("MonospacedFont"), + ) + self.contents.clear() - self.highlighter.regenerateRules() self.saveButton.setEnabled(False) if self.unifiedRadioButton.isChecked():