115 self.__logTreeBoldFont = self.logTree.font() |
115 self.__logTreeBoldFont = self.logTree.font() |
116 self.__logTreeBoldFont.setBold(True) |
116 self.__logTreeBoldFont.setBold(True) |
117 self.__logTreeHasDarkBackground = e5App().usesDarkPalette() |
117 self.__logTreeHasDarkBackground = e5App().usesDarkPalette() |
118 |
118 |
119 font = Preferences.getEditorOtherFonts("MonospacedFont") |
119 font = Preferences.getEditorOtherFonts("MonospacedFont") |
120 self.diffEdit.setFontFamily(font.family()) |
120 self.diffEdit.document().setDefaultFont(font) |
121 self.diffEdit.setFontPointSize(font.pointSize()) |
|
122 |
121 |
123 self.diffHighlighter = GitDiffHighlighter(self.diffEdit.document()) |
122 self.diffHighlighter = GitDiffHighlighter(self.diffEdit.document()) |
124 self.__diffGenerator = GitDiffGenerator(vcs, self) |
123 self.__diffGenerator = GitDiffGenerator(vcs, self) |
125 self.__diffGenerator.finished.connect(self.__generatorFinished) |
124 self.__diffGenerator.finished.connect(self.__generatorFinished) |
126 |
125 |