def __init__(self, parent, desk=None):
# https://github.com/davidhalter/jedi
# http://jedi.jedidjah.ch/en/latest/
super(inputClass, self).__init__(parent)
self.p = parent
self.desk = desk
self.setWordWrapMode(QTextOption.NoWrap)
font = QFont("Courier")
font.setStyleHint(QFont.Monospace)
font.setFixedPitch(True)
self.setFont(font)
self.document().setDefaultFont(
QFont(font_name, minimumFontSize, QFont.Monospace))
metrics = QFontMetrics(self.document().defaultFont())
self.setTabStopWidth(4 * metrics.width(' '))
self.setAcceptDrops(True)
self.fs = 12
self.completer = completeWidget.completeMenuClass(parent, self)
# self.setContextMenuPolicy(Qt.CustomContextMenu)
# self.customContextMenuRequested.connect(self.openMenu)
data = settingsManager.scriptEditorClass().readSettings()
self.applyHightLighter(data.get('theme'))
self.setFont(font)
# self.changeFontSize(False)
self.changeFontSize(True)
def __init__(self, parent, desk=None):
super(inputClass, self).__init__(parent)
self.p = parent
self.desk = desk
self.setWordWrapMode(QTextOption.NoWrap)
self.document().setDefaultFont(QFont("monospace", minimumFontSize, QFont.Normal))
metrics = QFontMetrics(self.document().defaultFont())
self.setTabStopWidth(4 * metrics.width(' '))
self.setAcceptDrops(True)
self.fs = 12
self.completer = completeWidget.completeMenuClass(parent, self)
# self.setContextMenuPolicy(Qt.CustomContextMenu)
# self.customContextMenuRequested.connect(self.openMenu)
data = settingsManager.scriptEditorClass().readSettings()
self.applyHightLighter(data.get('theme'))
self.changeFontSize(False)
self.changeFontSize(True)
def __init__(self, parent, desk=None):
super(inputClass, self).__init__(parent)
self.p = parent
self.desk = desk
self.setWordWrapMode(QTextOption.NoWrap)
self.document().setDefaultFont(
QFont("monospace", minimumFontSize, QFont.Normal))
metrics = QFontMetrics(self.document().defaultFont())
self.setTabStopWidth(4 * metrics.width(' '))
self.setAcceptDrops(True)
self.fs = 12
self.completer = completeWidget.completeMenuClass(parent, self)
# self.setContextMenuPolicy(Qt.CustomContextMenu)
# self.customContextMenuRequested.connect(self.openMenu)
data = settingsManager.scriptEditorClass().readSettings()
self.applyHightLighter(data.get('theme'))
self.changeFontSize(False)
self.changeFontSize(True)