def __init__(self, controller, desktop=None, parent=None): super(ScriptEditor, self).__init__(parent) self._controller = controller self._font_size = 12 self._completer = completers.ScriptCompleter(parent=parent, editor=self) self._desktop = desktop self._parent = parent self._syntax_highlighter = None self._use_jedi = True font = QFont(consts.FONT_NAME) font.setStyleHint(consts.FONT_STYLE) font.setFixedPitch(True) self.setFont(font) self.document().setDefaultFont( QFont(consts.FONT_NAME, consts.MIN_FONT_SIZE, consts.FONT_STYLE)) metrics = QFontMetrics(self.document().defaultFont()) self.setTabStopWidth(consts.TAB_STOP * metrics.width(' ')) self.setAcceptDrops(True) self.setWordWrapMode(QTextOption.NoWrap) shortcut = QShortcut(QKeySequence('Ctrl+S'), self) shortcut.activated.connect(self._test) if self._controller.settings: self.apply_highlighter(self._controller.settings.get('theme')) self.change_font_size(True)
def __init__(self, *args, **kwargs): super(LineNumbers, self).__init__(*args) self.textWidget = self.doc = None self.setTextWidget(kwargs.pop('widget', None)) # Monospaced font to keep width from shifting. font = QFont() font.setStyleHint(QFont.Courier) font.setFamily("Monospace") self.setFont(font) self.updateAndResize()
def __init__(self, parent=None): super(OutputConsole, self).__init__(parent) self.setWordWrapMode(QTextOption.NoWrap) font = QFont('Courier') font.setStyleHint(QFont.Monospace) font.setFixedPitch(True) self.setFont(font) self._font_size = 14 self.document().setDefaultFont( QFont('Courier', self._font_size, QFont.Monospace)) metrics = QFontMetrics(self.document().defaultFont()) self.setTabStopWidth(4 * metrics.width(' ')) self.setMouseTracking(True) self.setReadOnly(True) self.textChanged.connect(self._on_text_changed)