diff -r 11ec6aa1f1fb -r c62edce5668c src/gui.h
--- a/src/gui.h	Mon Jul 01 19:48:29 2013 +0300
+++ b/src/gui.h	Mon Jul 01 23:07:35 2013 +0300
@@ -122,6 +122,7 @@
 	void deleteObjVector (vector< LDObject* > objs);
 	void deleteSelection ();
 	void deleteByColor (const short int colnum);
+	void save( LDOpenFile* f, bool saveAs );
 	GLRenderer* R () { return m_renderer; }
 	vector<LDObject*>& sel () { return m_sel; }
 	void setQuickColorMeta (vector<quickColor>& quickColorMeta) {