def __init__(self, *args):
QPlainTextEdit.__init__(self, *args)
# self.setFrameStyle(QFrame.NoFrame)
self.setFrameStyle(QFrame.NoFrame)
self.highlight()
# self.setLineWrapMode(QPlainTextEdit.NoWrap)
self.cursorPositionChanged.connect(self.highlight)
def __init__(self, *args):
QPlainTextEdit.__init__(self, *args)
# Default options to RightToleft
options = QTextOption()
options = self.document().defaultTextOption()
options.setAlignment(Qt.AlignRight)
options.setTextDirection(Qt.RightToLeft)
self.document().setDefaultTextOption(options)
# Default dictionary based on the current locale.
self.dict = myspeller()
# self.highlighter = Highlighter(self.document())
# self.highlighter.setDict(self.dict)
self.pretxt = ''
def __init__(self, parent):
QPlainTextEdit.__init__(self, parent)
self.document().setDefaultFont(QFont('Courier', pointSize=7))
self.setWordWrapMode(QTextOption.NoWrap)
self.setTabStopWidth(32)
self._line_number_area = LineNumberArea(self)
self.blockCountChanged.connect(self.updateLineNumberAreaWidth)
self.updateRequest.connect(self.updateLineNumberArea)
self.cursorPositionChanged.connect(self.highlightCurrentLine)
self.updateLineNumberAreaWidth(0)
self._key_press_rules = None
def __init__(self, parent=None):
QPlainTextEdit.__init__(self, parent)
self.syntax = None
def __init__(self, parent=None):
QPlainTextEdit.__init__(self, parent)
self.selectionChanged.connect(self.selection_changed)
self.syntax = None
def __init__(self, parent=None):
QPlainTextEdit.__init__(self, parent)
self.selectionChanged.connect(self.selection_changed)
self.syntax = None
def __init__(self, parent):
QPlainTextEdit.__init__(self, parent.gui)
self.parent = parent
self.opts = parent.opts
self.setAcceptDrops(True)
def __init__(self, parent):
QPlainTextEdit.__init__(self, parent.gui)
self.parent = parent
self.opts = parent.opts
self.setAcceptDrops(True)
