39 self.buttonBox.button(QDialogButtonBox.Close).setDefault(True) |
39 self.buttonBox.button(QDialogButtonBox.Close).setDefault(True) |
40 |
40 |
41 self.process = QProcess() |
41 self.process = QProcess() |
42 self.vcs = vcs |
42 self.vcs = vcs |
43 |
43 |
44 if Utilities.isWindowsPlatform(): |
44 font = Preferences.getEditorOtherFonts("MonospacedFont") |
45 self.contents.setFontFamily("Lucida Console") |
45 self.contents.setFontFamily(font.family()) |
46 else: |
46 self.contents.setFontPointSize(font.pointSize()) |
47 self.contents.setFontFamily("Monospace") |
|
48 |
47 |
49 self.cNormalFormat = self.contents.currentCharFormat() |
48 self.cNormalFormat = self.contents.currentCharFormat() |
50 self.cAddedFormat = self.contents.currentCharFormat() |
49 self.cAddedFormat = self.contents.currentCharFormat() |
51 self.cAddedFormat.setBackground(QBrush(QColor(190, 237, 190))) |
50 self.cAddedFormat.setBackground(QBrush(QColor(190, 237, 190))) |
52 self.cRemovedFormat = self.contents.currentCharFormat() |
51 self.cRemovedFormat = self.contents.currentCharFormat() |