def prev_mark(self): self.prev_filtered(extra.show_marked())
def next_mark(self): self.next_filtered(extra.show_marked())