Exemplo n.º 1
0
    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)
Exemplo n.º 2
0
    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)
Exemplo n.º 3
0
    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)
Exemplo n.º 4
0
 def __init__(self, parent=None):
     super().__init__(parent)
     self.setFont(basePlatformSpecific.fixedFont())
     self.setReadOnly(True)
     self.setUndoRedoEnabled(False)
Exemplo n.º 5
0
 def __init__(self, parent=None):
     super().__init__(parent)
     self.setFont(basePlatformSpecific.fixedFont())
     self.setReadOnly(True)
     self.setUndoRedoEnabled(False)