diff options
author | thlo <smarttv640@gmail.com> | 2013-03-17 11:34:56 +0100 |
---|---|---|
committer | thlo <t.lohmar@gmx.de> | 2013-03-17 11:34:56 +0100 |
commit | d941c9861671af9975718e54da03387813c2ed42 (patch) | |
tree | 21a8a46d1ffd747bedd79ef6f790d8b6c7b966dd /smarttv-client/Javascript/Player.js | |
parent | 466ca961fb9c09d056216c8fa7052bb185a710a7 (diff) | |
download | vdr-plugin-smarttvweb-d941c9861671af9975718e54da03387813c2ed42.tar.gz vdr-plugin-smarttvweb-d941c9861671af9975718e54da03387813c2ed42.tar.bz2 |
Widget v0.92:
* Widget version number on select screen.
* Configurable timeout for direct access.
* Direct access takes first digit.
* Pause-Key toggles between pause and play.
* First version of info overlay.
* Bug fixes.
Diffstat (limited to 'smarttv-client/Javascript/Player.js')
-rwxr-xr-x | smarttv-client/Javascript/Player.js | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/smarttv-client/Javascript/Player.js b/smarttv-client/Javascript/Player.js index 67c747e..8f7a5cd 100755 --- a/smarttv-client/Javascript/Player.js +++ b/smarttv-client/Javascript/Player.js @@ -338,7 +338,7 @@ Player.playVideo = function(resume_pos) { Main.logToServer("Player.play with ?time=" + resume_pos);
}
- if ((this.mFormat != this.ePDL) && (this.isLive == false)){
+ if ((this.mFormat == this.eHLS) && (this.isLive == false)){
Notify.showNotify("No Trickplay", true);
}
Audio.plugin.SetSystemMute(false);
@@ -400,6 +400,7 @@ Player.resumeVideo = function() { };
Player.jumpToVideo = function(percent) {
+ Spinner.show();
if (this.isLive == true) {
return;
}
@@ -407,7 +408,6 @@ Player.jumpToVideo = function(percent) { Main.logToServer ("Player.jumpToVideo: Player not Playing");
return;
}
- Spinner.show();
Player.bufferState = 0;
Display.showProgress();
@@ -460,6 +460,7 @@ Player.skipForwardVideo = function() { if (Player.isRecording == false)
res = this.plugin.JumpForward(Player.skipDuration);
else {
+ Spinner.show();
this.bufferState = 0;
this.plugin.Stop();
var old = Player.curPlayTime;
@@ -485,6 +486,7 @@ Player.skipBackwardVideo = function() { if (Player.isRecording == false)
res = this.plugin.JumpBackward(Player.skipDuration);
else {
+ Spinner.show();
this.bufferState = 0;
this.plugin.Stop();
var tgt = (Player.curPlayTime/1000.0) - Player.skipDuration;
|