88 self.refreshButton.setVisible(refreshable) |
88 self.refreshButton.setVisible(refreshable) |
89 |
89 |
90 self.errorGroup.hide() |
90 self.errorGroup.hide() |
91 self.filename = fn |
91 self.filename = fn |
92 |
92 |
|
93 self.highlighter.regenerateRules( |
|
94 { |
|
95 "text": Preferences.getDiffColour("TextColor"), |
|
96 "added": Preferences.getDiffColour("AddedColor"), |
|
97 "removed": Preferences.getDiffColour("RemovedColor"), |
|
98 "replaced": Preferences.getDiffColour("ReplacedColor"), |
|
99 "context": Preferences.getDiffColour("ContextColor"), |
|
100 "header": Preferences.getDiffColour("HeaderColor"), |
|
101 "whitespace": Preferences.getDiffColour("BadWhitespaceColor"), |
|
102 }, |
|
103 Preferences.getEditorOtherFonts("MonospacedFont"), |
|
104 ) |
|
105 |
93 self.contents.clear() |
106 self.contents.clear() |
94 self.filesCombo.clear() |
107 self.filesCombo.clear() |
95 self.highlighter.regenerateRules() |
|
96 |
108 |
97 if qdiff: |
109 if qdiff: |
98 self.setWindowTitle(self.tr("Patch Contents")) |
110 self.setWindowTitle(self.tr("Patch Contents")) |
99 |
111 |
100 self.raise_() |
112 self.raise_() |