58 self.searchWidget.attachTextEdit(self.contents) |
58 self.searchWidget.attachTextEdit(self.contents) |
59 |
59 |
60 self.vcs = vcs |
60 self.vcs = vcs |
61 |
61 |
62 font = Preferences.getEditorOtherFonts("MonospacedFont") |
62 font = Preferences.getEditorOtherFonts("MonospacedFont") |
63 self.contents.setFontFamily(font.family()) |
63 self.contents.document().setDefaultFont(font) |
64 self.contents.setFontPointSize(font.pointSize()) |
|
65 |
64 |
66 self.highlighter = SvnDiffHighlighter(self.contents.document()) |
65 self.highlighter = SvnDiffHighlighter(self.contents.document()) |
67 |
66 |
68 self.client = self.vcs.getClient() |
67 self.client = self.vcs.getClient() |
69 self.client.callback_cancel = self._clientCancelCallback |
68 self.client.callback_cancel = self._clientCancelCallback |