130 self.fieldCombo.addItem(self.tr("Message"), "message") |
130 self.fieldCombo.addItem(self.tr("Message"), "message") |
131 self.fieldCombo.addItem(self.tr("File"), "file") |
131 self.fieldCombo.addItem(self.tr("File"), "file") |
132 self.fieldCombo.addItem(self.tr("Phase"), "phase") |
132 self.fieldCombo.addItem(self.tr("Phase"), "phase") |
133 |
133 |
134 font = Preferences.getEditorOtherFonts("MonospacedFont") |
134 font = Preferences.getEditorOtherFonts("MonospacedFont") |
135 self.diffEdit.setFontFamily(font.family()) |
135 self.diffEdit.document().setDefaultFont(font) |
136 self.diffEdit.setFontPointSize(font.pointSize()) |
|
137 |
136 |
138 self.diffHighlighter = HgDiffHighlighter(self.diffEdit.document()) |
137 self.diffHighlighter = HgDiffHighlighter(self.diffEdit.document()) |
139 self.__diffGenerator = HgDiffGenerator(vcs, self) |
138 self.__diffGenerator = HgDiffGenerator(vcs, self) |
140 self.__diffGenerator.finished.connect(self.__generatorFinished) |
139 self.__diffGenerator.finished.connect(self.__generatorFinished) |
141 |
140 |