--- a/src/mainwindow.h	Fri Feb 03 10:51:08 2017 +0200
+++ b/src/mainwindow.h	Sat Feb 04 14:24:16 2017 +0200
@@ -92,6 +92,7 @@
 	void loadShortcuts();
 	MathFunctions* mathFunctions() const;
 	LDDocument* newDocument (bool cache = false);
+	void openDocumentForEditing(LDDocument* document);
 	PrimitiveManager* primitives();
 	GLRenderer* renderer();
 	void refresh();