eric6/Plugins/VcsPlugins/vcsGit/GitLogBrowserDialog.py

changeset 7779
757334671130
parent 7775
4a1db75550bd
child 7785
9978016560ec
equal deleted inserted replaced
7778:eb01ab7aeb06 7779:757334671130
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

eric ide

mercurial