Implemented new "Speed" parameter which allows to set initial playback
speed.
git-svn-id: svn://svn.code.sf.net/p/tigervnc/code/trunk@2514 3789f03b-4d11-0410-bbf8-ca57d06f2519
diff --git a/java/src/com/tightvnc/rfbplayer/ButtonPanel.java b/java/src/com/tightvnc/rfbplayer/ButtonPanel.java
index 222c519..0a67090 100644
--- a/java/src/com/tightvnc/rfbplayer/ButtonPanel.java
+++ b/java/src/com/tightvnc/rfbplayer/ButtonPanel.java
@@ -47,7 +47,7 @@
add(new Label(" Speed:"));
timeScaleText = new TextField(5);
- timeScaleText.setText("1.0");
+ timeScaleText.setText(String.valueOf(player.getSpeed()));
add(timeScaleText);
timeScaleText.addActionListener(this);
}
@@ -87,7 +87,11 @@
} else if (evt.getSource() == posText) {
player.setPos(Integer.parseInt(posText.getText()));
} else if (evt.getSource() == timeScaleText) {
- player.setSpeed(Double.parseDouble(timeScaleText.getText()));
+ double speed = Double.parseDouble(timeScaleText.getText());
+ if (speed <= 0.0)
+ speed = 1.0;
+ timeScaleText.setText(String.valueOf(speed));
+ player.setSpeed(speed);
}
}
}