153 self._reset() |
153 self._reset() |
154 self.errorGroup.hide() |
154 self.errorGroup.hide() |
155 |
155 |
156 self.filename = fn |
156 self.filename = fn |
157 |
157 |
|
158 self.highlighter.regenerateRules( |
|
159 { |
|
160 "text": Preferences.getDiffColour("TextColor"), |
|
161 "added": Preferences.getDiffColour("AddedColor"), |
|
162 "removed": Preferences.getDiffColour("RemovedColor"), |
|
163 "replaced": Preferences.getDiffColour("ReplacedColor"), |
|
164 "context": Preferences.getDiffColour("ContextColor"), |
|
165 "header": Preferences.getDiffColour("HeaderColor"), |
|
166 "whitespace": Preferences.getDiffColour("BadWhitespaceColor"), |
|
167 }, |
|
168 Preferences.getEditorOtherFonts("MonospacedFont"), |
|
169 ) |
|
170 |
158 self.contents.clear() |
171 self.contents.clear() |
159 self.highlighter.regenerateRules() |
|
160 self.paras = 0 |
172 self.paras = 0 |
161 |
173 |
162 self.filesCombo.clear() |
174 self.filesCombo.clear() |
163 |
175 |
164 self.__oldFile = "" |
176 self.__oldFile = "" |