diff: src/history.h
src/history.h
- changeset 553
- 2418d5955421
- parent 542
- 46a33bdc0b36
- child 560
- 39085791128f
--- a/src/history.h Sat Dec 07 01:18:21 2013 +0200 +++ b/src/history.h Thu Dec 12 19:44:09 2013 +0200 @@ -33,7 +33,7 @@ // ============================================================================= class History { PROPERTY (private, long, Position, NUM_OPS, STOCK_WRITE) - PROPERTY (public, LDFile*, File, NO_OPS, STOCK_WRITE) + PROPERTY (public, LDDocument*, File, NO_OPS, STOCK_WRITE) PROPERTY (public, bool, Ignoring, BOOL_OPS, STOCK_WRITE) public:
