projects/mozilla/test.html

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
   2 <HTML>
   3 <TITLE>VLC Plugin test page</TITLE>
   4 <STYLE>
   5   .inputTrackerInput {
   6         height:20;
   7         width:30;
   8         font-family : Arial, Helvetica, sans-serif;
   9         font-size : 12px;
  10   }
  11 </STYLE>
  12
  13 <SCRIPT type="text/javascript" src="blueshoes-4.5/javascript/lib/LibCrossBrowser.js"></SCRIPT>
  14 <SCRIPT type="text/javascript" src="blueshoes-4.5/javascript/lib/EventHandler.js"></SCRIPT>
  15 <SCRIPT type="text/javascript" src="blueshoes-4.5/javascript/core/form/Bs_FormUtil.lib.js"></SCRIPT>
  16 <SCRIPT type="text/javascript" src="blueshoes-4.5/javascript/components/slider/Bs_Slider.class.js"></SCRIPT>
  17
  18 <SCRIPT language="JavaScript"><!--
  19 function init(){
  20     inputTracker = new Bs_Slider();
  21     inputTracker.attachOnChange(onInputTrackerChange);
  22     inputTracker.attachOnSlideStart(onInputTrackerScrollStart);
  23     inputTracker.attachOnSlideEnd(onInputTrackerScrollEnd);
  24     inputTracker.width         = 530 ;
  25     inputTracker.height        = 15;
  26     inputTracker.minVal        = 0;
  27     inputTracker.maxVal        = 1.0;
  28     inputTracker.valueDefault  = 0;
  29     inputTracker.valueInterval = 1/530;
  30     inputTracker.setDisabled(true);
  31     inputTracker.imgDir   = 'blueshoes-4.5/javascript/components/slider/img/';
  32     inputTracker.setBackgroundImage('aluminumalloyvolcanic/horizontal_background.gif', 'repeat');
  33     inputTracker.setArrowIconLeft('aluminumalloyvolcanic/horizontal_backgroundLeft.gif', 2, 19);
  34     inputTracker.setArrowIconRight('aluminumalloyvolcanic/horizontal_backgroundRight.gif', 2, 19);
  35     inputTracker.setSliderIcon('aluminumalloyvolcanic/horizontal_knob.gif', 15, 19);
  36     inputTracker.useInputField = 0;
  37     inputTracker.draw('inputTrackerDiv');
  38
  39     if( navigator.appName.indexOf("Microsoft Internet")==-1 )
  40     {
  41         onVLCPluginReady()
  42     }
  43     else if( document.readyState == 'complete' )
  44     {
  45         onVLCPluginReady();
  46     }
  47     else
  48     {
  49         /* Explorer loads plugins asynchronously */
  50         document.onreadystatechange=function() {
  51             if( document.readyState == 'complete' )
  52             {
  53                 onVLCPluginReady();
  54             }
  55         }
  56     }
  57 };
  58
  59 function getVLC(name)
  60 {
  61     if (window.document[name])
  62     {
  63         return window.document[name];
  64     }
  65     if (navigator.appName.indexOf("Microsoft Internet")==-1)
  66     {
  67         if (document.embeds && document.embeds[name])
  68             return document.embeds[name];
  69     }
  70     else // if (navigator.appName.indexOf("Microsoft Internet")!=-1)
  71     {
  72         return document.getElementById(name);
  73     }
  74 };
  75
  76 function onVLCPluginReady()
  77 {
  78     updateVolume(0);
  79 };
  80
  81 //--></SCRIPT>
  82
  83 <BODY onLoad="init();">
  84 <TABLE>
  85 <TR><TD colspan="2">
  86 MRL:
  87 <INPUT size="90" id="targetTextField" value="">
  88 <INPUT type=submit value="Go" onClick="doGo(document.getElementById('targetTextField').value);">
  89 <INPUT type=submit value="Add" onClick="doAdd(document.getElementById('targetTextField').value);">
  90 </TD></TR>
  91 <TR><TD align="center" colspan="2">
  92 <!--
  93 Insert VideoLAN.VLCPlugin.2
  94 -->
  95 <OBJECT classid="clsid:9BE31822-FDAD-461B-AD51-BE1D1C159921"
  96         width="640"
  97         height="480"
  98         id="vlc"
  99         events="True">
 100 <param name="MRL" value="" />
 101 <param name="ShowDisplay" value="True" />
 102 <param name="AutoLoop" value="False" />
 103 <param name="AutoPlay" value="False" />
 104 <param name="Volume" value="50" />
 105 <param name="toolbar" value="true" />
 106 <param name="StartTime" value="0" />
 107 <EMBED pluginspage="http://www.videolan.org"
 108        type="application/x-vlc-plugin"
 109        version="VideoLAN.VLCPlugin.2"
 110        width="640"
 111        height="480"
 112        toolbar="true"
 113        name="vlc">
 114 </EMBED>
 115 </OBJECT>
 116 </TD></TR>
 117 <TR><TD colspan="2">
 118 <TABLE><TR>
 119 <TD valign="top" width="550">
 120 <!--
 121 Insert Slider widget
 122 -->
 123 <DIV id="inputTrackerDiv"</DIV>
 124 </TD><TD width="15%">
 125 <DIV id="info" style="text-align:center">-:--:--/-:--:--</DIV>
 126 <DIV id="state" style="text-align:center">Stopped...</DIV>
 127 </TD></TR></TABLE>
 128 </TD></TR>
 129 <TR><TD>
 130 <INPUT type=button id="PlayOrPause" value=" Play " onClick='doPlayOrPause();'>
 131 <INPUT type=button value="Stop" onClick='doStop();'>
 132 &nbsp;
 133 <INPUT type=button value=" << " onClick='doPlaySlower();'>
 134 <INPUT type=button value=" >> " onClick='doPlayFaster();'>
 135 <INPUT type=button value="Backward" onClick='doBackwardPlay(500);'>
 136 <INPUT type=button value="Forward" onClick='doForwardPlay(500);'>
 137 <INPUT type=button value="Fullscreen" onClick='getVLC("vlc").video.toggleFullscreen();'>
 138 <INPUT type=button value="Version" onClick='alert("vlc " + getVLC("vlc").VersionInfo);'>
 139 <INPUT type=button value=" State " onClick='doState();'>
 140 </TD><TD align="right">
 141 <SPAN style="text-align:center">Volume:</SPAN>
 142 <INPUT type=button value=" - " onClick='updateVolume(-10)'>
 143 <SPAN id="volumeTextField" style="text-align:center">--</SPAN>
 144 <INPUT type=button value=" + " onClick='updateVolume(+10)'>
 145 <INPUT type=button value="Mute" onClick='getVLC("vlc").audio.toggleMute();'>
 146 </TD>
 147 </TR>
 148 <TR><TD>Playlist:
 149 <INPUT type=button value="Prev" onClick='getVLC("vlc").playlist.prev();'>
 150 <INPUT type=button value="Next" onClick='getVLC("vlc").playlist.next();'>
 151 <INPUT type=button value="Clear All" onClick='getVLC("vlc").playlist.clear(); doItemCount();'>
 152     Aspect Ratio:
 153     <SELECT readonly onChange='doAspectRatio(this.value)'>
 154       <OPTION value="default">Default</OPTION>
 155       <OPTION value="1:1">1:1</OPTION>
 156       <OPTION value="4:3">4:3</OPTION>
 157       <OPTION value="16:9">16:9</OPTION>
 158       <OPTION value="221:100">221:100</OPTION>
 159       <OPTION value="5:4">5:4</OPTION>
 160     </SELECT>
 161 </TD><TD align="right">
 162 <INPUT type=button id="itemCount" value=" Items 0 " onClick='doItemCount();'>
 163 <INPUT size=4 value="" id="removeid"><INPUT type=submit value="Delete" onClick="doRemoveItem(document.getElementById('removeid').value);">
 164 </TD>
 165 </TR>
 166 <TR><TD>Messages:
 167 <INPUT type=button value="Messages" onClick='doMessages();'>
 168 Verbosity:
 169 <INPUT size=2 value="1" id="verbosity" onClick="doVerbosity(document.getElementById('verbosity').value);">
 170 <INPUT type=button value=" + " onClick='doVerbosity(1);'>
 171 <INPUT type=button value=" - " onClick='doVerbosity(-1);'>
 172 </TD>
 173 <TD>
 174 <DIV id="message" style="text-align:center">no message</DIV>
 175 </TD>
 176 </TR>
 177 <TR><TD>Audio Channel:
 178   <SELECT readonly onClick='doAudioChannel(this.value);'>
 179     <OPTION value=1>Stereo</OPTION>
 180     <OPTION value=2>Reverse Stereo</OPTION>
 181     <OPTION value=3>Left</OPTION>
 182     <OPTION value=4>Right</OPTION>
 183     <OPTION value=5>Dolby</OPTION>
 184   </SELECT>
 185 </TD>
 186 <TD>
 187 <INPUT type=button value="current channel" onClick='alert(getVLC("vlc").audio.channel);'>
 188 </TD>
 189 </TR>
 190 <TR><TD> Audio Track:
 191 <INPUT type=button value=" + " onClick='doAudioTrack(1);'>
 192 <SPAN id="trackTextField" style="text-align:center">--</SPAN>
 193 <INPUT type=button value=" - " onClick='doAudioTrack(-1);'>
 194 </TD>
 195 <TD>
 196 <INPUT type=button value="set slider" onClick='doSetSlider();'>
 197 <INPUT type=button value="get position" onClick='doGetPosition();'>
 198 </TD>
 199 </TR>
 200 <TR>
 201 <TD>Video Subtitle:
 202     <INPUT type=button value=" + " onClick='doSubtitle(1);'>
 203     <SPAN id="spuTextField" style="text-align:center">--</SPAN>
 204     <INPUT type=button value=" - " onClick='doSubtitle(-1);'>
 205 </TD>
 206 </TR>
 207 <TR>
 208 <TD>
 209     <INPUT type=button id="telx" value="Teletext off" onClick='doToggleTeletext();'>
 210     Teletext page:
 211     <INPUT size=4 value="100" id="telxPage" onClick='doTelxPage(document.getElementById("telxPage").value);'>
 212 </TD>
 213 </TR>
 214 </TABLE>
 215 <SCRIPT language="javascript">
 216 <!--
 217
 218 var rate = 0;
 219 var prevState = 0;
 220 var monitorTimerId = 0;
 221 var rateTimerId = 0;
 222 var inputTrackerScrolling = false;
 223 var inputTrackerIgnoreChange = false;
 224 var telxState = false;
 225
 226 function doSetSlider()
 227 {
 228    var vlc = getVLC("vlc");
 229
 230    if (vlc.input)
 231    {
 232      // set slider to new position
 233      vlc.input.time = (vlc.input.length/2);
 234    }
 235 };
 236
 237 function doGetPosition()
 238 {
 239    var vlc = getVLC("vlc");
 240
 241    if (vlc.input)
 242    {
 243      // set slider to new position
 244      alert( "position is " + vlc.input.time);
 245    }
 246 };
 247
 248 function doForwardPlay(speed)
 249 {
 250    if (rateTimerId == 0)
 251    {
 252        rateTimerId = setInterval("ratechange()", speed);
 253        rate = speed;
 254    }
 255    else rate = rate + speed;
 256 };
 257
 258 function doBackwardPlay(speed)
 259 {
 260    if (rateTimerId == 0)
 261    {
 262        rateTimerId = setInterval("ratechange()", speed);
 263        rate = -speed;
 264    }
 265    else rate = rate - speed;
 266 };
 267
 268 function ratechange()
 269 {
 270     if (rateTimerId != 0)
 271     {
 272         var vlc = getVLC("vlc");
 273         vlc.input.time = vlc.input.time + rate;
 274     }
 275 };
 276
 277 function doVerbosity(value)
 278 {
 279     var vlc = getVLC("vlc");
 280     vlc.log.verbosity = vlc.log.verbosity + value;
 281     document.getElementById("verbosity").value = vlc.log.verbosity;
 282 };
 283
 284 function doAudioChannel(value)
 285 {
 286     var vlc = getVLC("vlc");
 287     vlc.audio.channel = parseInt(value);
 288 };
 289
 290 function doAudioTrack(value)
 291 {
 292     var vlc = getVLC("vlc");
 293     vlc.audio.track = vlc.audio.track + value;
 294     document.getElementById("trackTextField").innerHTML = vlc.audio.track;
 295 };
 296
 297 function doAspectRatio(value)
 298 {
 299    var vlc = getVLC("vlc");
 300    vlc.video.aspectRatio = value;
 301 };
 302
 303 function doSubtitle(value)
 304 {
 305     var vlc = getVLC("vlc");
 306     vlc.video.subtitle = vlc.video.subtitle + value;
 307     document.getElementById("spuTextField").innerHTML = vlc.video.subtitle;
 308 };
 309
 310 function doTelxPage(value)
 311 {
 312     var vlc = getVLC("vlc");
 313     vlc.video.teletext = parseInt(value);
 314 };
 315
 316 function doToggleTeletext()
 317 {
 318     var vlc = getVLC("vlc");
 319
 320     vlc.video.toggleTeletext();
 321     if (telxState)
 322     {
 323         document.getElementById("telx").innerHTML = "Teletext on";
 324         telxState = true;
 325     }
 326     else
 327     {
 328         document.getElementById("telx").innerHTML = "Teletext off";
 329         telxState = false;
 330     }
 331 }
 332
 333 function doItemCount()
 334 {
 335    var vlc = getVLC("vlc");
 336    var count = vlc.playlist.itemCount;
 337    document.getElementById("itemCount").value = " Items " + count + " ";
 338 };
 339
 340 function doRemoveItem(item)
 341 {
 342    var vlc = getVLC("vlc");
 343    vlc.playlist.removeItem(item);
 344 };
 345
 346 function doMessages()
 347 {
 348     var vlc = getVLC("vlc");
 349
 350     if( vlc.log.messages.count > 0 )
 351     {
 352         // there is one or more messages in the log
 353         var iter = vlc.log.messages.iterator();
 354         while( iter.hasNext )
 355         {
 356             var msg = iter.next();
 357             if( msg.severity <= 1 )
 358             {
 359                 document.getElementById("message").innerHTML = msg.message;
 360             }
 361         }
 362         // clear the log once finished to avoid clogging
 363         vlc.log.messages.clear();
 364     }
 365 };
 366
 367 function updateVolume(deltaVol)
 368 {
 369     var vlc = getVLC("vlc");
 370     vlc.audio.volume += deltaVol;
 371     document.getElementById("volumeTextField").innerHTML = vlc.audio.volume+"%";
 372 };
 373
 374 function formatTime(timeVal)
 375 {
 376     var timeHour = Math.round(timeVal / 1000);
 377     var timeSec = timeHour % 60;
 378     if( timeSec < 10 )
 379         timeSec = '0'+timeSec;
 380     timeHour = (timeHour - timeSec)/60;
 381     var timeMin = timeHour % 60;
 382     if( timeMin < 10 )
 383         timeMin = '0'+timeMin;
 384     timeHour = (timeHour - timeMin)/60;
 385     if( timeHour > 0 )
 386         return timeHour+":"+timeMin+":"+timeSec;
 387     else
 388         return timeMin+":"+timeSec;
 389 };
 390
 391 function doState()
 392 {
 393     var vlc = getVLC("vlc");
 394     var newState = vlc.input.state;
 395
 396     if( newState == 0 )
 397     {
 398         // current media has stopped
 399         onEnd();
 400     }
 401     else if( newState == 1 )
 402     {
 403         // current media is openning/connecting
 404         onOpen();
 405     }
 406     else if( newState == 2 )
 407     {
 408         // current media is buffering data
 409         onBuffer();
 410     }
 411     else if( newState == 3 )
 412     {
 413         // current media is now playing
 414         onPlay();
 415     }
 416     else if( newState == 4 )
 417     {
 418         // current media is now paused
 419         onPause();
 420     }
 421     else if( newState == 5 )
 422     {
 423         // current media has stopped
 424         onStop();
 425     }
 426     else if( newState == 6 )
 427     {
 428         // current media is playing forward
 429         onForward();
 430     }
 431     else if( newState == 7 )
 432     {
 433         // current media is playing backward
 434         onBackward();
 435     }
 436     else if( newState == 8 )
 437     {
 438         // current media has ended
 439         onEnd();
 440     }
 441     else if( newState == 9 )
 442     {
 443         // current media encountered error
 444         onError();
 445     }
 446 };
 447
 448 function monitor()
 449 {
 450     var vlc = getVLC("vlc");
 451     var newState = vlc.input.state;
 452
 453     if( vlc.log.messages.count > 0 )
 454     {
 455         // there is one or more messages in the log
 456         var iter = vlc.log.messages.iterator();
 457         while( iter.hasNext )
 458         {
 459             var msg = iter.next();
 460             if( msg.severity == 1 )
 461             {
 462                 alert( msg.message );
 463             }
 464             document.getElementById("message").innerHTML = msg.message;
 465         }
 466         // clear the log once finished to avoid clogging
 467         vlc.log.messages.clear();
 468     }
 469
 470     if( prevState != newState )
 471     {
 472         if( newState == 0 )
 473         {
 474             // current media has stopped
 475             onEnd();
 476         }
 477         else if( newState == 1 )
 478         {
 479             // current media is openning/connecting
 480             onOpen();
 481         }
 482         else if( newState == 2 )
 483         {
 484             // current media is buffering data
 485             onBuffer();
 486         }
 487         else if( newState == 3 )
 488         {
 489             // current media is now playing
 490             onPlay();
 491         }
 492         else if( newState == 4 )
 493         {
 494             // current media is now paused
 495             onPause();
 496         }
 497         else if( newState == 5 )
 498         {
 499             // current media has stopped
 500                 onStop();
 501         }
 502         else if( newState == 6 )
 503         {
 504             // current media is playing forward
 505             onForward();
 506         }
 507         else if( newState == 7 )
 508         {
 509             // current media is playing backward
 510             onBackward();
 511         }
 512         else if( newState == 8 )
 513         {
 514             // current media has ended
 515             onEnd();
 516         }
 517         else if( newState == 9 )
 518         {
 519             // current media encountered error
 520             onError();
 521         }
 522         prevState = newState;
 523     }
 524     else if( newState == 3 )
 525     {
 526         // current media is playing
 527         onPlaying();
 528     }
 529     if( monitorTimerId == 0 )
 530     {
 531         monitorTimerId = setInterval("monitor()", 1000);
 532     }
 533 };
 534
 535 /* actions */
 536
 537 function doGo(targetURL)
 538 {
 539     var vlc = getVLC("vlc");
 540
 541     vlc.playlist.clear();
 542     while( vlc.playlist.itemCount > 0 )
 543     {
 544         // clear() may return before the playlist has actually been cleared
 545         // just wait for it to finish its job
 546     }
 547     //vlc.playlist.add(targetURL);
 548     //vlc.playlist.play();
 549
 550     var itemId = vlc.playlist.add(targetURL);
 551     if( itemId != -1 )
 552     {
 553         // clear the message log and enable error logging
 554         vlc.log.verbosity = 1;
 555         vlc.log.messages.clear();
 556         // play MRL
 557         vlc.playlist.play();
 558         if( monitorTimerId == 0 )
 559         {
 560             monitor();
 561         }
 562     }
 563     else
 564     {
 565         // disable log
 566         vlc.log.verbosity = -1;
 567         alert("cannot play at the moment !");
 568     }
 569     doItemCount();
 570
 571     if (rateTimerId != 0)
 572     {
 573         clearInterval("ratechange()");
 574     }
 575     rateTimerId = 0;
 576 };
 577
 578 function doAdd(targetURL)
 579 {
 580     var vlc = getVLC("vlc");
 581     var options = new Array(":vout-filter=deinterlace", ":deinterlace-mode=linear");
 582     vlc.playlist.add(targetURL);
 583     doItemCount();
 584 };
 585
 586 function doPlayOrPause()
 587 {
 588     var vlc = getVLC("vlc");
 589     if( vlc.playlist.isPlaying )
 590     {
 591         vlc.playlist.togglePause();
 592         monitor();
 593     }
 594     else if( vlc.playlist.itemCount > 0 )
 595     {
 596         // clear the message log and enable error logging
 597         vlc.log.verbosity = 1;
 598         vlc.log.messages.clear();
 599         vlc.playlist.play();
 600         monitor();
 601     }
 602     else
 603     {
 604         // disable log
 605         vlc.log.verbosity = -1;
 606         alert('nothing to play !');
 607     }
 608     if (rateTimerId != 0)
 609     {
 610         clearInterval("ratechange()");
 611     }
 612     rateTimerId = 0;
 613 };
 614
 615 function doStop()
 616 {
 617     getVLC("vlc").playlist.stop();
 618     if( monitorTimerId != 0 )
 619     {
 620         clearInterval(monitorTimerId);
 621         monitorTimerId = 0;
 622     }
 623     onStop();
 624 };
 625
 626 function doPlaySlower()
 627 {
 628     var vlc = getVLC("vlc");
 629     vlc.input.rate = vlc.input.rate / 2;
 630 };
 631
 632 function doPlayFaster()
 633 {
 634     var vlc = getVLC("vlc");
 635     vlc.input.rate = vlc.input.rate * 2;
 636 };
 637
 638 /* events */
 639
 640 function onOpen()
 641 {
 642     document.getElementById("state").innerHTML = "Opening...";
 643     document.getElementById("PlayOrPause").value = "Pause";
 644 };
 645
 646 function onBuffer()
 647 {
 648     document.getElementById("state").innerHTML = "Buffering...";
 649     document.getElementById("PlayOrPause").value = "Pause";
 650 };
 651
 652 function onPlay()
 653 {
 654     document.getElementById("state").innerHTML = "Playing...";
 655     document.getElementById("PlayOrPause").value = "Pause";
 656     onPlaying();
 657 };
 658
 659 function onForward()
 660 {   // Event is reserved for future enhancements
 661     document.getElementById("state").innerHTML = "Forward playing...";
 662 };
 663
 664 function onBackward()
 665 {   // Event is reserved for future enhancements
 666     document.getElementById("state").innerHTML = "Backward playing...";
 667 };
 668
 669 function onEnd()
 670 {
 671     document.getElementById("state").innerHTML = "End...";
 672 };
 673
 674
 675 var liveFeedText = new Array("Live", "((Live))", "(( Live ))", "((  Live  ))");
 676 var liveFeedRoll = 0;
 677
 678 function onPlaying()
 679 {
 680     if( ! inputTrackerScrolling )
 681     {
 682         var vlc = getVLC("vlc");
 683         var info = document.getElementById("info");
 684         var mediaLen = vlc.input.length;
 685         inputTrackerIgnoreChange  = true;
 686         if( mediaLen > 0 )
 687         {
 688             // seekable media
 689             if( inputTracker.maxVal == 1.0 )
 690             {
 691                 inputTracker.setDisabled(false);
 692                 inputTracker.maxVal = 1.0;
 693             }
 694             inputTracker.setValue(vlc.input.position);
 695             info.innerHTML = formatTime(vlc.input.time)+"/"+formatTime(mediaLen);
 696         }
 697         else
 698         {
 699             // non-seekable "live" media
 700             if( inputTracker.maxVal != 0.0 )
 701             {
 702                 inputTracker.maxVal = 0.0;
 703                 inputTracker.setValue(0.0);
 704                 inputTracker.setDisabled(true);
 705             }
 706             liveFeedRoll = liveFeedRoll & 3;
 707             info.innerHTML = liveFeedText[liveFeedRoll++];
 708         }
 709         inputTrackerIgnoreChange  = false;
 710     }
 711 };
 712
 713 function onPause()
 714 {
 715     document.getElementById("state").innerHTML = "Paused...";
 716     document.getElementById("PlayOrPause").value = " Play ";
 717 };
 718
 719 function onStop()
 720 {
 721     // disable logging
 722     vlc.log.verbosity = -1;
 723
 724     if( !inputTracker.disabled )
 725     {
 726         inputTracker.setValue(inputTracker.minVal);
 727         inputTracker.setDisabled(true);
 728     }
 729     document.getElementById("info").innerHTML = "-:--:--/-:--:--";
 730     document.getElementById("state").innerHTML = "Stopped...";
 731     document.getElementById("PlayOrPause").value = " Play ";
 732 };
 733
 734 function onError()
 735 {
 736     var vlc = getVLC("vlc");
 737
 738     document.getElementById("state").innerHTML = "Error...";
 739     if( vlc.log.messages.count > 0 )
 740     {
 741         // there is one or more messages in the log
 742         var iter = vlc.log.messages.iterator();
 743         while( iter.hasNext )
 744         {
 745             var msg = iter.next();
 746             if( msg.severity <= 1 )
 747             {
 748                 alert( msg.message );
 749             }
 750             document.getElementById("message").innerHTML = msg.message;
 751         }
 752         // clear the log once finished to avoid clogging
 753         vlc.log.messages.clear();
 754     }
 755 };
 756
 757 function onInputTrackerScrollStart()
 758 {
 759     inputTrackerScrolling = true;
 760 };
 761
 762 function onInputTrackerScrollEnd(inputTracker, value, pos)
 763 {
 764     inputTrackerScrolling = false;
 765 };
 766
 767 function onInputTrackerChange(inputTracker, value, pos)
 768 {
 769     if( ! inputTrackerIgnoreChange )
 770     {
 771         var vlc = getVLC("vlc");
 772         if( (vlc.input.state == 3) && (vlc.input.position != value) )
 773         {
 774             var info = document.getElementById("info");
 775             vlc.input.position = value;
 776             info.innerHTML = formatTime(vlc.input.time)+"/"+formatTime(vlc.input.length);
 777         }
 778     }
 779 };
 780 //-->
 781 </SCRIPT>
 782 </BODY>
 783 </HTML>