Example #1
0
 int save_undo() {
   if (undo_state == null) {
     undo_state = new ZState(this);
   }
   undo_state.save_current();
   return 1;
 }
Example #2
0
 int restore_undo() {
   if (undo_state != null) {
     undo_state.header.set_transcripting(header.transcripting());
     undo_state.restore_saved();
     set_header_flags();
     return 2;
   }
   return 0;
 }