comparison: src/history.cpp
src/history.cpp
- changeset 412
- 064b0467c8de
- parent 411
- fd90677cec8d
- child 421
- 7d26db0be944
equal
deleted
inserted
replaced
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_opened( false ), |
29 m_pos( -1 ), |
30 m_pos( -1 ) {} |
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 |