222 self.filename1 = '' |
222 self.filename1 = '' |
223 self.filename2 = '' |
223 self.filename2 = '' |
224 |
224 |
225 self.updateInterval = 20 # update every 20 lines |
225 self.updateInterval = 20 # update every 20 lines |
226 |
226 |
227 if Utilities.isWindowsPlatform(): |
227 font = Preferences.getEditorOtherFonts("MonospacedFont") |
228 self.contents.setFontFamily("Lucida Console") |
228 self.contents.setFontFamily(font.family()) |
229 else: |
229 self.contents.setFontPointSize(font.pointSize()) |
230 self.contents.setFontFamily("Monospace") |
|
231 |
230 |
232 self.cNormalFormat = self.contents.currentCharFormat() |
231 self.cNormalFormat = self.contents.currentCharFormat() |
233 self.cAddedFormat = self.contents.currentCharFormat() |
232 self.cAddedFormat = self.contents.currentCharFormat() |
234 self.cAddedFormat.setBackground(QBrush(QColor(190, 237, 190))) |
233 self.cAddedFormat.setBackground(QBrush(QColor(190, 237, 190))) |
235 self.cRemovedFormat = self.contents.currentCharFormat() |
234 self.cRemovedFormat = self.contents.currentCharFormat() |