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();