111 |
111 |
112 self.__logTreeNormalFont = self.logTree.font() |
112 self.__logTreeNormalFont = self.logTree.font() |
113 self.__logTreeNormalFont.setBold(False) |
113 self.__logTreeNormalFont.setBold(False) |
114 self.__logTreeBoldFont = self.logTree.font() |
114 self.__logTreeBoldFont = self.logTree.font() |
115 self.__logTreeBoldFont.setBold(True) |
115 self.__logTreeBoldFont.setBold(True) |
116 self.__logTreeHasDarkBackground = ( |
116 self.__logTreeHasDarkBackground = e5App().usesDarkPalette() |
117 self.logTree.palette().color(QPalette.Window).lightness() < 128 |
|
118 ) |
|
119 |
117 |
120 font = Preferences.getEditorOtherFonts("MonospacedFont") |
118 font = Preferences.getEditorOtherFonts("MonospacedFont") |
121 self.diffEdit.setFontFamily(font.family()) |
119 self.diffEdit.setFontFamily(font.family()) |
122 self.diffEdit.setFontPointSize(font.pointSize()) |
120 self.diffEdit.setFontPointSize(font.pointSize()) |
123 |
121 |