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)
