--- a/src/file.h Sat Jun 01 22:42:52 2013 +0300 +++ b/src/file.h Mon Jun 10 15:15:23 2013 +0300 @@ -52,6 +52,7 @@ PROPERTY (vector<LDObject*>, cache, setCache) PROPERTY (long, savePos, setSavePos) MUTABLE_READ_PROPERTY (History, history) + READ_PROPERTY (vector<LDObject*>, vertices, setVertices) public: typedef vector<LDObject*>::it it;