def __init__(self, parent=None): super(BaseCodeEditor, self).__init__(parent) self.setFont(platformSpecific.fixedFont()) self.setTabWidth(4) self._indent = " " self._lineNumbersVisible = True self._shouldGuessWhitespace = True self.lineNumbers = LineNumberArea(self) # kick-in geometry update before arming signals self.updateLineNumberAreaWidth() self.blockCountChanged.connect(self.updateLineNumberAreaWidth) self.updateRequest.connect(self.updateLineNumberArea)
def __init__(self, parent=None): super().__init__(parent, Qt.Tool) self.outputEdit = QTextEdit(self) self.outputEdit.setFont(platformSpecific.fixedFont()) self.outputEdit.setAcceptRichText(False) palette = self.outputEdit.palette() palette.setColor(QPalette.Base, Qt.black) self.outputEdit.setPalette(palette) self.outputEdit.viewport().setCursor(Qt.ArrowCursor) self.outputEdit.setReadOnly(True) clearOutputButton = QPushButton("Clear", self) clearOutputButton.clicked.connect(self.outputEdit.clear) self.setCentralWidget(self.outputEdit) self.setWindowTitle(self.tr("Output Window")) statusBar = self.statusBar() statusBar.addPermanentWidget(clearOutputButton) statusBar.setSizeGripEnabled(False) for channel in ("stdout", "stderr"): stream = OutputStream(channel, self) stream.messagePassed.connect(self.write)
def __init__(self, parent=None): super().__init__(parent) self.setFont(basePlatformSpecific.fixedFont()) self.setReadOnly(True) self.setUndoRedoEnabled(False)