def __init__(self, parent=None):
super(CodeEditor, self).__init__(parent)
self.setFont(QFontDatabase.systemFont(QFontDatabase.FixedFont))
self.line_number_area = LineNumberArea(self)
self.blockCountChanged.connect(self.update)
self.updateRequest.connect(self.updateLineNumberArea)
self.cursorPositionChanged.connect(self.highlightCurrentLine)
self.updateLineNumberAreaWidth(0)
self.highlightCurrentLine()
def __init__(self, parent):
QAbstractItemModel.__init__(self, parent)
self.rules = ()
self.sort_on_count = True
self.num_size = 1
self.num_unused = 0
self.build_maps()
self.main_font = f = QFontDatabase.systemFont(QFontDatabase.FixedFont)
f.setBold(True), f.setPointSize(parent.font().pointSize() + 2)
self.italic_font = f = QFont(parent.font())
f.setItalic(True)
def __init__(self, parent):
QAbstractItemModel.__init__(self, parent)
self.rules = ()
self.sort_on_count = True
self.num_size = 1
self.num_unused = 0
self.build_maps()
self.main_font = f = QFontDatabase.systemFont(QFontDatabase.FixedFont)
f.setBold(True), f.setPointSize(parent.font().pointSize() + 2)
self.italic_font = f = QFont(parent.font())
f.setItalic(True)
def __init__(self, parent=None):
QTextEdit.__init__(self, parent)
self.setFont(QFontDatabase.systemFont(QFontDatabase.FixedFont))
self.setReadOnly(True)
def init_ui(self):
fixed_font = QFontDatabase.systemFont(QFontDatabase.FixedFont)
fixed_font.setPointSize(12)
self.main_text_edit.setFont(fixed_font)
self.action_exit.triggered.connect(self.exit_app)
