Example #1
0
 def enter_edit_mode(self):
     if not self.save_state is None:
         save_load.restore_save_state(self.game, self.game.map,
                                      self.save_state)
         # refresh all things that refer to specific entities that have been re-created
         self.drop_lists['triggers'].refresh()
     self.enable_main_editor()
Example #2
0
 def redo(self):
     if self.undo_index < len(self.undo_states) - 1:
         self.undo_index += 1
         save_load.restore_save_state(self.game, self.game.map,
                                      self.undo_states[self.undo_index])
Example #3
0
 def undo(self):
     if self.undo_index > 0:
         self.undo_index -= 1
         save_load.restore_save_state(self.game, self.game.map,
                                      self.undo_states[self.undo_index])
 def enter_edit_mode(self):
     if not self.save_state is None:
         save_load.restore_save_state(self.game, self.game.map, self.save_state)
         # refresh all things that refer to specific entities that have been re-created
         self.drop_lists['triggers'].refresh()
     self.enable_main_editor()
 def redo(self):
     if self.undo_index < len(self.undo_states) - 1:
         self.undo_index += 1
         save_load.restore_save_state(self.game, self.game.map, self.undo_states[self.undo_index])
 def undo(self):
     if self.undo_index > 0:
         self.undo_index -= 1
         save_load.restore_save_state(self.game, self.game.map, self.undo_states[self.undo_index])