def redo(self):
(next_fp, next_modified) = self._redo_list.pop()
self._undo_list.append((next_fp, next_modified))
new_object_manager = ObjectManager.from_dict(next_fp)
self.set_object_manager(new_object_manager)
self.emit("modified", next_modified)
def undo(self):
self._redo_list.append(self._undo_list.pop())
(last_fp, last_modified) = self._undo_list[-1]
new_object_manager = ObjectManager.from_dict(last_fp)
self.set_object_manager(new_object_manager)
self.emit("modified", last_modified)
def load_file(self, filename):
with open(filename) as f:
contents = f.read()
d = json.loads(contents)
new_object_manager = ObjectManager.from_dict(d)
self.fparea.set_object_manager(new_object_manager)
def redo(self):
(next_fp, next_modified) = self._redo_list.pop()
self._undo_list.append((next_fp, next_modified))
new_object_manager = ObjectManager.from_dict(next_fp)
self.set_object_manager(new_object_manager)
self.emit("modified", next_modified)
def undo(self):
self._redo_list.append(self._undo_list.pop())
(last_fp, last_modified) = self._undo_list[-1]
new_object_manager = ObjectManager.from_dict(last_fp)
self.set_object_manager(new_object_manager)
self.emit("modified", last_modified)
def load_file(self, filename):
with open(filename) as f:
contents = f.read()
d = json.loads(contents)
new_object_manager = ObjectManager.from_dict(d)
self.fparea.set_object_manager(new_object_manager)
