comparison: src/editHistory.cc
src/editHistory.cc
- changeset 838
- 8f58e1249687
- parent 784
- f82ab4d3c7b4
- child 840
- d077dd19bf9a
equal
deleted
inserted
replaced
| 837:8fc2d4b352c7 | 838:8f58e1249687 |
|---|---|
| 24 #include "glRenderer.h" | 24 #include "glRenderer.h" |
| 25 | 25 |
| 26 // ============================================================================= | 26 // ============================================================================= |
| 27 // | 27 // |
| 28 History::History() : | 28 History::History() : |
| 29 m_position (-1) {} | 29 m_position (-1), |
| 30 m_isIgnoring (false) {} | |
| 30 | 31 |
| 31 // ============================================================================= | 32 // ============================================================================= |
| 32 // | 33 // |
| 33 void History::undo() | 34 void History::undo() |
| 34 { | 35 { |
