def switch_to_new_op_marks(cls, b: GtkSource.Buffer, ssb_filename: str):
textiter: Gtk.TextIter = b.get_start_iter().copy()
# TODO: This is probably pretty slow
while textiter.forward_char():
old_marks_at_pos = [
m for m in textiter.get_marks() if m.get_name()
and m.get_name().startswith(f'opcode_<<<{ssb_filename}>>>_')
]
new_marks_at_pos = [
m for m in textiter.get_marks() if m.get_name() and
m.get_name().startswith(f'TMP_opcode_<<<{ssb_filename}>>>_')
]
for m in old_marks_at_pos:
b.delete_mark(m)
for m in new_marks_at_pos:
name = m.get_name()
# Maybe by chance an old mark with this name still exists elsewhere, remove it.
om = b.get_mark(name[4:])
if om is not None:
b.delete_mark(om)
# Move by deleting and re-creating.
match = MARK_PATTERN_TMP.match(m.get_name())
if match.group(3):
b.create_mark(
f'opcode_<<<{str(match.group(1))}>>>_{int(match.group(2))}_{match.group(3)}',
textiter)
else:
b.create_mark(
f'opcode_<<<{str(match.group(1))}>>>_{int(match.group(2))}',
textiter)
b.delete_mark(m)
def remove_all_line_marks(cls, b: GtkSource.Buffer, category: str):
b.remove_source_marks(b.get_start_iter(), b.get_end_iter(), category)