diff -r 495f084a737e -r 36a90a94765c src/eric7/UI/DiffDialog.py
--- 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():
