50 self.refreshButton.setEnabled(False) |
50 self.refreshButton.setEnabled(False) |
51 self.buttonBox.button(QDialogButtonBox.Save).setEnabled(False) |
51 self.buttonBox.button(QDialogButtonBox.Save).setEnabled(False) |
52 self.buttonBox.button(QDialogButtonBox.Close).setDefault(True) |
52 self.buttonBox.button(QDialogButtonBox.Close).setDefault(True) |
53 |
53 |
54 self.searchWidget.attachTextEdit(self.contents) |
54 self.searchWidget.attachTextEdit(self.contents) |
|
55 |
|
56 self.vcs = vcs |
55 |
57 |
56 font = Preferences.getEditorOtherFonts("MonospacedFont") |
58 font = Preferences.getEditorOtherFonts("MonospacedFont") |
57 self.contents.setFontFamily(font.family()) |
59 self.contents.setFontFamily(font.family()) |
58 self.contents.setFontPointSize(font.pointSize()) |
60 self.contents.setFontPointSize(font.pointSize()) |
59 |
61 |