diff -r 771168ee2c76 -r fe67489523b5 src/documentmanager.h
--- a/src/documentmanager.h	Sun Nov 03 13:18:55 2019 +0200
+++ b/src/documentmanager.h	Sun Nov 03 17:57:21 2019 +0200
@@ -1,5 +1,5 @@
 #pragma once
-#include "main.h"
+#include "libraries.h"
 #include "model.h"
 
 class DocumentManager : public QObject
@@ -16,7 +16,15 @@
 	Model* findModelByName(const QString& name);
 	QString openModel(const QString& path, QTextStream& errorStream);
 	QString makeNewModelName();
+	void loadDependenciesForModel(const QString& modelName,
+		const LibraryManager& libraries,
+		QTextStream& errorStream);
 private:
 	int untitledNameCounter = 0;
 	std::map<QString, ModelPointer> openModels;
+	void loadDependenciesForModel(const QString& modelName,
+		const LibraryManager& libraries,
+		QStringList& missing,
+		QStringList& processed,
+		QTextStream& errorStream);
 };