def __init__(self, parent=None):
QPlainTextEdit.__init__(self, parent)
BaseEditMixin.__init__(self)
self.setAttribute(Qt.WA_DeleteOnClose)
self.extra_selections_dict = {}
self._restore_selection_pos = None
# Code snippets
self.code_snippets = True
self.textChanged.connect(self.changed)
self.cursorPositionChanged.connect(self.cursor_position_changed)
self.indent_chars = " " * 4
self.tab_stop_width_spaces = 4
# Code completion / calltips
if parent is not None:
mainwin = parent
while not isinstance(mainwin, QMainWindow):
mainwin = mainwin.parent()
if mainwin is None:
break
if mainwin is not None:
parent = mainwin
self.completion_widget = CompletionWidget(self, parent)
self.codecompletion_auto = False
self.setup_completion()
self.calltip_widget = CallTipWidget(self, hide_timer_on=False)
self.calltip_position = None
self.tooltip_widget = ToolTipWidget(self, as_tooltip=True)
self.highlight_current_cell_enabled = False
# The color values may be overridden by the syntax highlighter
# Highlight current line color
self.currentline_color = QColor(Qt.red).lighter(190)
self.currentcell_color = QColor(Qt.red).lighter(194)
# Brace matching
self.bracepos = None
self.matched_p_color = QColor(Qt.green)
self.unmatched_p_color = QColor(Qt.red)
self.decorations = TextDecorationsManager(self)
# Save current cell. This is invalidated as soon as the text changes.
# Useful to avoid recomputing while scrolling.
self.current_cell = None
self._cell_list = []
def reset_current_cell():
self.current_cell = None
self.textChanged.connect(reset_current_cell)
def __init__(self, params):
MWB.__init__(self, params)
QPlainTextEdit.__init__(self)
self.setFont(QFont('Consolas', 9))
self.textChanged.connect(self.text_changed)
self.setMaximumHeight(50)
self.setMaximumWidth(200)
def __init__(self, parent=None):
QPlainTextEdit.__init__(self, parent)
BaseEditMixin.__init__(self)
self.setAttribute(Qt.WA_DeleteOnClose)
self.extra_selections_dict = {}
self.textChanged.connect(self.changed)
self.cursorPositionChanged.connect(self.cursor_position_changed)
self.indent_chars = " " * 4
self.tab_stop_width_spaces = 4
# Code completion / calltips
if parent is not None:
mainwin = parent
while not isinstance(mainwin, QMainWindow):
mainwin = mainwin.parent()
if mainwin is None:
break
if mainwin is not None:
parent = mainwin
self.completion_widget = CompletionWidget(self, parent)
self.codecompletion_auto = False
self.codecompletion_case = True
self.codecompletion_enter = False
self.completion_text = ""
self.setup_completion()
self.calltip_widget = CallTipWidget(self, hide_timer_on=False)
self.calltips = True
self.calltip_position = None
self.has_cell_separators = False
self.highlight_current_cell_enabled = False
# The color values may be overridden by the syntax highlighter
# Highlight current line color
self.currentline_color = QColor(Qt.red).lighter(190)
self.currentcell_color = QColor(Qt.red).lighter(194)
# Brace matching
self.bracepos = None
self.matched_p_color = QColor(Qt.green)
self.unmatched_p_color = QColor(Qt.red)
self.last_cursor_cell = None
self.decorations = TextDecorationsManager(self)
def __init__(self, parent=None):
QPlainTextEdit.__init__(self, parent)
BaseEditMixin.__init__(self)
self.setAttribute(Qt.WA_DeleteOnClose)
self.extra_selections_dict = {}
self.textChanged.connect(self.changed)
self.cursorPositionChanged.connect(self.cursor_position_changed)
self.indent_chars = " "*4
self.tab_stop_width_spaces = 4
# Code completion / calltips
if parent is not None:
mainwin = parent
while not isinstance(mainwin, QMainWindow):
mainwin = mainwin.parent()
if mainwin is None:
break
if mainwin is not None:
parent = mainwin
self.completion_widget = CompletionWidget(self, parent)
self.codecompletion_auto = False
self.setup_completion()
self.calltip_widget = CallTipWidget(self, hide_timer_on=False)
self.calltip_position = None
self.tooltip_widget = ToolTipWidget(parent, as_tooltip=True)
self.has_cell_separators = False
self.highlight_current_cell_enabled = False
# The color values may be overridden by the syntax highlighter
# Highlight current line color
self.currentline_color = QColor(Qt.red).lighter(190)
self.currentcell_color = QColor(Qt.red).lighter(194)
# Brace matching
self.bracepos = None
self.matched_p_color = QColor(Qt.green)
self.unmatched_p_color = QColor(Qt.red)
self.last_cursor_cell = None
self.decorations = TextDecorationsManager(self)
def __init__(self, log_handler: GUILogHandler):
self.log_handler = log_handler
QPlainTextEdit.__init__(self)
self.setMinimumWidth(500)
self.setMinimumHeight(200)
self._dynamic = False
self.setWindowTitle("Event viewer")
self.activateWindow()
layout = QVBoxLayout()
self.text_box = QPlainTextEdit()
self.text_box.setReadOnly(True)
self.text_box.setMaximumBlockCount(1000)
layout.addWidget(self.text_box)
self.setLayout(layout)
log_handler.append_log_statement.connect(self.val_changed)
def __init__(self):
QPlainTextEdit.__init__(self)
self.setWordWrapMode(QTextOption.NoWrap)
self.setFont(QFont("monospace", 10))
self.setCursorWidth(2)
self.installEventFilter(self)
self.completer = QCompleter(self)
self.completer.setWidget(self)
self.completer.setCaseSensitivity(Qt.CaseInsensitive)
self.completer.activated.connect(self.insertCompletion)
auto_complete = QShortcut(QKeySequence("Ctrl+Space"), self)
auto_complete.activated.connect(self.activateCompleter)
copy_line = QShortcut(QKeySequence("Ctrl+D"), self)
copy_line.activated.connect(self.duplicateLine)
select_fragment = QShortcut(QKeySequence("Ctrl+J"), self)
select_fragment.activated.connect(self.selectFragment)
