Added the possibility to change the time position in the time trackbar
by mouse wheel.


git-svn-id: svn://svn.code.sf.net/p/tigervnc/code/trunk@245 3789f03b-4d11-0410-bbf8-ca57d06f2519
diff --git a/rfbplayer/rfbplayer.cxx b/rfbplayer/rfbplayer.cxx
index 5fb5b16..38dd241 100644
--- a/rfbplayer/rfbplayer.cxx
+++ b/rfbplayer/rfbplayer.cxx
@@ -436,9 +436,11 @@
         sliderDraging = true;
         updatePos(Pos);
         return 0;
+      case TB_THUMBPOSITION:
       case TB_ENDTRACK: 
         setPos(Pos);
         setPaused(isPaused());;
+        updatePos(Pos);
         sliderDraging = false;
         return 0;
       default: