--- a/QTfrontend/ui/widget/mapContainer.h	Mon Dec 02 04:35:02 2013 +0200
+++ b/QTfrontend/ui/widget/mapContainer.h	Mon Dec 02 12:40:16 2013 +0100
@@ -111,6 +111,7 @@
 
     protected:
         virtual void resizeEvent ( QResizeEvent * event );
+        virtual void paintEvent ( QPaintEvent * event );
 
     private:
         QVBoxLayout mainLayout;
@@ -149,6 +150,7 @@
         QPushButton * btnSeed;
         bool m_master;
         QList<QWidget *> m_childWidgets;
+        bool m_previewDirty;
 
         void intSetSeed(const QString & seed);
         void intSetMap(const QString & map);