def __init__(self, scripter, parent=None):
super(CodeEditor, self).__init__(parent)
self.setLineWrapMode(self.NoWrap)
self.scripter = scripter
self.lineNumberArea = linenumberarea.LineNumberArea(self)
self.debugArea = debugarea.DebugArea(self)
self.blockCountChanged.connect(self.updateMarginsWidth)
self.updateRequest.connect(self.updateLineNumberArea)
self.cursorPositionChanged.connect(self.highlightCurrentLine)
self.updateMarginsWidth()
self.highlightCurrentLine()
self.font = "Monospace"
self._stepped = False
self.debugArrow = QIcon(':/icons/debug_arrow.svg')
def __init__(self, scripter, parent=None):
super(CodeEditor, self).__init__(parent)
self.setLineWrapMode(self.NoWrap)
self.scripter = scripter
self.lineNumberArea = linenumberarea.LineNumberArea(self)
self.debugArea = debugarea.DebugArea(self)
self.blockCountChanged.connect(self.updateMarginsWidth)
self.updateRequest.connect(self.updateLineNumberArea)
self.cursorPositionChanged.connect(self.highlightCurrentLine)
self.updateMarginsWidth()
self.highlightCurrentLine()
self.font = "Monospace"
self._stepped = False
self.debugArrow = QIcon(':/icons/debug_arrow.svg')
self.setCornerWidget(QLabel(str()))
self._documentChanged = False
self.indent_width = INDENT_WIDTH # maybe one day connect this to a setting
self.undoAvailable.connect(self.setDocumentModified)