13
0

do not attempt to save undo history if it is empty, and do not do any part of history save if we're not going to write a new file

This commit is contained in:
Paul Davis 2014-07-09 10:10:44 -04:00
parent 0e5d86a825
commit 7364ca213a

View File

@ -3111,6 +3111,11 @@ Session::save_history (string snapshot_name)
return 0; return 0;
} }
if (!Config->get_save_history() || Config->get_saved_history_depth() < 0 ||
(_history.undo_depth() == 0 && _history.redo_depth() == 0)) {
return 0;
}
if (snapshot_name.empty()) { if (snapshot_name.empty()) {
snapshot_name = _current_snapshot_name; snapshot_name = _current_snapshot_name;
} }
@ -3127,10 +3132,6 @@ Session::save_history (string snapshot_name)
} }
} }
if (!Config->get_save_history() || Config->get_saved_history_depth() < 0) {
return 0;
}
tree.set_root (&_history.get_state (Config->get_saved_history_depth())); tree.set_root (&_history.get_state (Config->get_saved_history_depth()));
if (!tree.write (xml_path)) if (!tree.write (xml_path))