QTfrontend/ui/page/pagedata.cpp
changeset 7015 08642c7da4a3
parent 6952 7f70f37bbf08
child 7823 46f115569045
--- a/QTfrontend/ui/page/pagedata.cpp	Thu May 03 12:33:08 2012 +0200
+++ b/QTfrontend/ui/page/pagedata.cpp	Thu May 03 13:25:40 2012 +0200
@@ -222,7 +222,10 @@
                 return false;
             }
 
-            m_contentDownloaded = true;
+            if (this->isVisible())
+                m_contentDownloaded = true;
+            else
+                DataManager::instance().reload();
         }
 
         file.close();