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)