--- a/src/gui/widgets/qsplitter.h	Mon Jun 21 22:38:13 2010 +0100
+++ b/src/gui/widgets/qsplitter.h	Thu Jul 22 16:41:55 2010 +0100
@@ -172,6 +172,7 @@
     void mouseMoveEvent(QMouseEvent *);
     void mousePressEvent(QMouseEvent *);
     void mouseReleaseEvent(QMouseEvent *);
+    void resizeEvent(QResizeEvent *);
     bool event(QEvent *);
 
     void moveSplitter(int p);