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