diff: src/history.cpp
src/history.cpp
- changeset 527
- 47c068f2e7e3
- parent 503
- bebe09014dd6
- child 538
- 2f85d4d286e5
--- a/src/history.cpp Tue Oct 22 19:22:15 2013 +0300 +++ b/src/history.cpp Tue Oct 22 19:28:45 2013 +0300 @@ -34,7 +34,7 @@ // ============================================================================= // ----------------------------------------------------------------------------- void History::undo() -{ if (m_changesets.size() == 0 || pos() == -1) +{ if (m_changesets.isEmpty() || pos() == -1) return; const Changeset& set = changeset (pos());
