int save_undo() { if (undo_state == null) { undo_state = new ZState(this); } undo_state.save_current(); return 1; }
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; }