diff -r f5f2353af0d9 -r d5ec224c1879 src/file.h
--- 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;