48 super(E5ProcessDialog, self).__init__(parent) |
48 super(E5ProcessDialog, self).__init__(parent) |
49 self.setupUi(self) |
49 self.setupUi(self) |
50 |
50 |
51 self.buttonBox.button(QDialogButtonBox.Close).setEnabled(False) |
51 self.buttonBox.button(QDialogButtonBox.Close).setEnabled(False) |
52 self.buttonBox.button(QDialogButtonBox.Cancel).setDefault(True) |
52 self.buttonBox.button(QDialogButtonBox.Cancel).setDefault(True) |
|
53 |
|
54 font = Preferences.getEditorOtherFonts("MonospacedFont") |
|
55 self.resultbox.setFontFamily(font.family()) |
|
56 self.resultbox.setFontPointSize(font.pointSize()) |
|
57 self.errors.setFontFamily(font.family()) |
|
58 self.errors.setFontPointSize(font.pointSize()) |
53 |
59 |
54 if windowTitle: |
60 if windowTitle: |
55 self.setWindowTitle(windowTitle) |
61 self.setWindowTitle(windowTitle) |
56 if outputTitle: |
62 if outputTitle: |
57 self.outputGroup.setTitle(outputTitle) |
63 self.outputGroup.setTitle(outputTitle) |