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: