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