Implemented variable playback speed, adjustable using a text field.
git-svn-id: svn://svn.code.sf.net/p/tigervnc/code/trunk@2513 3789f03b-4d11-0410-bbf8-ca57d06f2519
diff --git a/java/src/com/tightvnc/rfbplayer/RfbPlayer.java b/java/src/com/tightvnc/rfbplayer/RfbPlayer.java
index 0d87006..55ac568 100644
--- a/java/src/com/tightvnc/rfbplayer/RfbPlayer.java
+++ b/java/src/com/tightvnc/rfbplayer/RfbPlayer.java
@@ -191,10 +191,15 @@
}
}
+ public void setSpeed(double speed) {
+ fbsStream.setSpeed(speed);
+ }
+
public void setPos(int pos) {
fbsStream.setTimeOffset(pos * 1000);
}
+
public void updatePos() {
if (showControls)
buttonPanel.setPos((int)(fbsStream.getTimeOffset() / 1000));