66 self.statusList.headerItem().setText(self.__lastColumn, "") |
66 self.statusList.headerItem().setText(self.__lastColumn, "") |
67 self.statusList.header().setSortIndicator( |
67 self.statusList.header().setSortIndicator( |
68 self.__pathColumn, Qt.AscendingOrder) |
68 self.__pathColumn, Qt.AscendingOrder) |
69 |
69 |
70 font = Preferences.getEditorOtherFonts("MonospacedFont") |
70 font = Preferences.getEditorOtherFonts("MonospacedFont") |
71 self.diffEdit.setFontFamily(font.family()) |
71 self.diffEdit.document().setDefaultFont(font) |
72 self.diffEdit.setFontPointSize(font.pointSize()) |
|
73 |
72 |
74 self.diffHighlighter = HgDiffHighlighter(self.diffEdit.document()) |
73 self.diffHighlighter = HgDiffHighlighter(self.diffEdit.document()) |
75 self.__diffGenerator = HgDiffGenerator(vcs, self) |
74 self.__diffGenerator = HgDiffGenerator(vcs, self) |
76 self.__diffGenerator.finished.connect(self.__generatorFinished) |
75 self.__diffGenerator.finished.connect(self.__generatorFinished) |
77 |
76 |