comparison: src/history.cpp
src/history.cpp
- changeset 527
- 47c068f2e7e3
- parent 503
- bebe09014dd6
- child 538
- 2f85d4d286e5
equal
deleted
inserted
replaced
| 526:b29b6fc45ba9 | 527:47c068f2e7e3 |
|---|---|
| 32 m_opened (false) {} | 32 m_opened (false) {} |
| 33 | 33 |
| 34 // ============================================================================= | 34 // ============================================================================= |
| 35 // ----------------------------------------------------------------------------- | 35 // ----------------------------------------------------------------------------- |
| 36 void History::undo() | 36 void History::undo() |
| 37 { if (m_changesets.size() == 0 || pos() == -1) | 37 { if (m_changesets.isEmpty() || pos() == -1) |
| 38 return; | 38 return; |
| 39 | 39 |
| 40 const Changeset& set = changeset (pos()); | 40 const Changeset& set = changeset (pos()); |
| 41 g_fullRefresh = false; | 41 g_fullRefresh = false; |
| 42 | 42 |
