diff: src/editHistory.cc
src/editHistory.cc
- changeset 840
- d077dd19bf9a
- parent 838
- 8f58e1249687
- child 844
- 11587d419d2f
--- a/src/editHistory.cc Sun Jul 13 20:28:52 2014 +0300 +++ b/src/editHistory.cc Sun Jul 13 20:40:24 2014 +0300 @@ -33,7 +33,7 @@ // void History::undo() { - if (m_changesets.isEmpty() || position() == -1) + if (m_changesets.isEmpty() or position() == -1) return; // Don't take the changes done here as actual edits to the document
