def __init__(self, parent=None): super().__init__(parent, Qt.Tool) self.outputEdit = OutputEdit(self) palette = self.outputEdit.palette() palette.setColor(QPalette.Base, Qt.black) palette.setColor(QPalette.Text, Qt.white) self.outputEdit.setPalette(palette) self.outputEdit.viewport().setCursor(Qt.ArrowCursor) self.wrapLinesBox = QCheckBox(self.tr("Wrap Lines"), self) self.wrapLinesBox.toggled.connect(self.setWordWrapEnabled) clearOutputButton = QPushButton(self.tr("Clear"), self) clearOutputButton.clicked.connect(self.outputEdit.clear) self.setCentralWidget(self.outputEdit) self.setWindowTitle(self.tr("Output")) statusBar = self.statusBar() statusBar.addWidget(self.wrapLinesBox) statusBar.addPermanentWidget(clearOutputButton) statusBar.setSizeGripEnabled(False) if platformSpecific.needsTighterMargins(): margins = (7, -10, 9, -12) else: margins = (4, -1, 5, 0) statusBar.setContentsMargins(*margins) for channel in ("stdout", "stderr"): stream = OutputStream(channel, self) stream.messagePassed.connect(self.outputEdit.write) self.readSettings()
def __init__(self, parent=None): super().__init__(parent, Qt.Tool) self.outputEdit = OutputEdit(self) palette = self.outputEdit.palette() palette.setColor(QPalette.Base, Qt.black) palette.setColor(QPalette.Text, Qt.white) self.outputEdit.setPalette(palette) self.outputEdit.viewport().setCursor(Qt.ArrowCursor) self.wrapLinesBox = QCheckBox(self.tr("Wrap Lines"), self) self.wrapLinesBox.toggled.connect(self.setWordWrapEnabled) clearOutputButton = QPushButton(self.tr("Clear"), self) clearOutputButton.clicked.connect(self.outputEdit.clear) self.setCentralWidget(self.outputEdit) self.setWindowTitle(self.tr("Output")) statusBar = self.statusBar() statusBar.addWidget(self.wrapLinesBox) statusBar.addPermanentWidget(clearOutputButton) statusBar.setSizeGripEnabled(False) if platformSpecific.needsTighterMargins(): margins = (7, -10, 9, -12) else: margins = (4, -1, 5, 0) statusBar.setContentsMargins(*margins) for channel in ("stdout", "stderr"): stream = OutputStream(channel, self) stream.messagePassed.connect(self.outputEdit.write) self.readSettings()
def __init__(self, font, parent=None): super().__init__(parent) self._font = None self._settingsWindow = None self._infoWindow = None self._featuresWindow = None self._metricsWindow = None self._groupsWindow = None self.glyphCellView = FontCellView(self) self.glyphCellView.glyphActivated.connect(self._glyphActivated) self.glyphCellView.glyphsDropped.connect(self._orderChanged) self.glyphCellView.selectionChanged.connect(self._selectionChanged) self.glyphCellView.setAcceptDrops(True) self.glyphCellView.setCellRepresentationName("TruFont.GlyphCell") self.glyphCellView.setFocus() self.cellSizeSlider = QSlider(Qt.Horizontal, self) self.cellSizeSlider.setMinimum(32) self.cellSizeSlider.setMaximum(116) self.cellSizeSlider.setFixedWidth(.9 * self.cellSizeSlider.width()) self.cellSizeSlider.sliderReleased.connect(self.writeSettings) self.cellSizeSlider.valueChanged.connect(self._sliderCellSizeChanged) self.selectionLabel = QLabel(self) statusBar = self.statusBar() statusBar.addPermanentWidget(self.cellSizeSlider) statusBar.addWidget(self.selectionLabel) statusBar.setSizeGripEnabled(False) if platformSpecific.needsTighterMargins(): margins = (6, -4, 9, -3) else: margins = (2, 0, 8, 0) statusBar.setContentsMargins(*margins) self.setFont_(font) app = QApplication.instance() app.dispatcher.addObserver(self, "_fontSaved", "fontSaved") self.setCentralWidget(self.glyphCellView) self.setWindowTitle() self.readSettings()
def __init__(self, parent=None): super().__init__(parent) if platformSpecific.needsTighterMargins(): margins = (6, -10, 9, -12) else: margins = (2, -1, 5, 0) self.setContentsMargins(*margins) self.setSizeGripEnabled(False) self.positionLabel = ClickLabel(self) self.indentLabel = IndentLabel(self) self.clearButton = QPushButton(self.tr("Clear"), self) self.runButton = QPushButton(self.tr("Run"), self) self.addWidget(self.positionLabel) self.addPermanentWidget(self.indentLabel) self.addPermanentWidget(self.clearButton) self.addPermanentWidget(self.runButton) self.indentModified = self.indentLabel.indentModified self.positionClicked = self.positionLabel.clicked self.clearButtonClicked = self.clearButton.clicked self.runButtonClicked = self.runButton.clicked
def __init__(self, parent=None): super().__init__(parent) if platformSpecific.needsTighterMargins(): margins = (6, -10, 9, -12) else: margins = (2, -1, 5, 0) self.setContentsMargins(*margins) self.setSizeGripEnabled(False) self.positionLabel = ClickLabel(self) self.indentLabel = IndentLabel(self) self.clearButton = QPushButton(self.tr("Clear"), self) self.runButton = QPushButton(self.tr("Run"), self) self.runButton.setShortcut("Ctrl+R") self.addWidget(self.positionLabel) self.addPermanentWidget(self.indentLabel) self.addPermanentWidget(self.clearButton) self.addPermanentWidget(self.runButton) self.indentModified = self.indentLabel.indentModified self.positionClicked = self.positionLabel.clicked self.clearButtonClicked = self.clearButton.clicked self.runButtonClicked = self.runButton.clicked