--- a/QTfrontend/util/DataManager.cpp	Thu Apr 26 07:22:05 2012 +0200
+++ b/QTfrontend/util/DataManager.cpp	Thu Apr 26 07:44:44 2012 +0200
@@ -115,3 +115,7 @@
     return "";
 }
 
+void DataManager::reload()
+{
+    emit updated();
+}