add 'parent visibility changes' notification and use that to fix video widget

diff --git a/lib/gui/evideo.h b/lib/gui/evideo.h
index f31ba661e7388fc992d25ac5ddc5d1a910f4c25c..daa45a221be9179cd2d9796dd84df529fd53c402 100644 (file)
--- a/lib/gui/evideo.h
+++ b/lib/gui/evideo.h
@@ -12,6 +12,7 @@ public:
 protected:
        int event(int event, void *data=0, void *data2=0);
        void updatePosition(int disable = 0);
+       eRect m_cur_pos;
 
        int m_decoder;
 };