def undo(self): start = self.textbuffer.get_iter_at_offset(self.start_offset) self.textbuffer.begin_user_action() insert_buffer_contents(self.textbuffer, start, self.contents, add_child=add_child_to_buffer) cursor = self.textbuffer.get_iter_at_offset(self.cursor_offset) self.textbuffer.place_cursor(cursor) self.textbuffer.end_user_action()
def undo(self): start = self.textbuffer.get_iter_at_offset(self.start_offset) self.textbuffer.begin_user_action() insert_buffer_contents(self.textbuffer, start, self.contents, add_child=add_child_to_buffer) cursor = self.textbuffer.get_iter_at_offset(self.cursor_offset) self.textbuffer.place_cursor(cursor) self.textbuffer.end_user_action()
def insert_contents(self, contents, it=None): """Inserts a content stream into the TextBuffer at iter 'it'""" if it is None: it = self.get_iter_at_mark(self.get_insert()) self.begin_user_action() insert_buffer_contents(self, it, contents, add_child_to_buffer, lookup_tag=lambda name: self.tag_table.lookup(name)) self.end_user_action()