--- a/QTfrontend/ui/widget/itemNum.h	Wed Oct 19 21:14:21 2011 +0200
+++ b/QTfrontend/ui/widget/itemNum.h	Wed Oct 19 21:55:42 2011 +0200
@@ -50,6 +50,7 @@
 
     // from QWidget
     virtual void mousePressEvent ( QMouseEvent * event );
+    virtual void wheelEvent ( QWheelEvent * event );
     virtual void paintEvent(QPaintEvent* event);
 
     // to be implemented in child