comparison: src/history.cpp
src/history.cpp
- changeset 421
- 7d26db0be944
- parent 412
- 064b0467c8de
- child 455
- c5d14d112034
equal
deleted
inserted
replaced
| 420:8d6af951b611 | 421:7d26db0be944 |
|---|---|
| 24 #include "gldraw.h" | 24 #include "gldraw.h" |
| 25 | 25 |
| 26 bool g_fullRefresh = false; | 26 bool g_fullRefresh = false; |
| 27 | 27 |
| 28 History::History() : | 28 History::History() : |
| 29 m_pos( -1 ), | 29 m_pos (-1), |
| 30 m_opened( false ) {} | 30 m_opened (false) {} |
| 31 | 31 |
| 32 void History::undo() { | 32 void History::undo() { |
| 33 if (m_changesets.size() == 0 || pos() == -1) | 33 if (m_changesets.size() == 0 || pos() == -1) |
| 34 return; | 34 return; |
| 35 | 35 |
