def __init__(self, parent=None):
QPlainTextEdit.__init__(self, parent)
logging.Handler.__init__(self)
self.app = QApplication.instance()
self.setReadOnly(True)
self.notification = None # Here is QLabel element to display LOG update status
self.clear_color = None # Variable to store initial "clear" background color
def __init__(self):
QPlainTextEdit.__init__(self)
self.line_number_area = LineNumberArea(self)
self.blockCountChanged[int].connect(self.update_line_number_area_width)
self.updateRequest[QRect, int].connect(self.update_line_number_area)
self.cursorPositionChanged.connect(self.highlight_current_line)
self.update_line_number_area_width(0)
self.highlight_current_line()
def __init__(self, parent=None):
QPlainTextEdit.__init__(self, parent)
logging.Handler.__init__(self)
self.app = QApplication.instance()
self.setReadOnly(True)
self.status_bar = None # Status bar where notifications and control are located
self.expandButton = None # Button that shows/hides log window
self.notification = None # Here is QLabel element to display LOG update status
self.clear_color = None # Variable to store initial "clear" background color
self.collapsed_text = self.tr("▶ logs")
self.expanded_text = self.tr("▲ logs")
def __init__(self, parent: QWidget):
QPlainTextEdit.__init__(self, parent)
# Editor should use a monospace font
self.setFont(binaryninjaui.getDefaultMonospaceFont())