changeset 7823 | 46f115569045 |
parent 7015 | 08642c7da4a3 |
child 7824 | 3df73ec7fcf2 |
--- a/QTfrontend/ui/page/pagedata.cpp Fri Oct 26 10:31:26 2012 -0400 +++ b/QTfrontend/ui/page/pagedata.cpp Fri Oct 26 17:05:12 2012 +0200 @@ -222,10 +222,7 @@ return false; } - if (this->isVisible()) - m_contentDownloaded = true; - else - DataManager::instance().reload(); + m_contentDownloaded = true; } file.close();