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