Video Player Enhancements

Script contains some enhancements for default HTML5 player.

As of 2018-05-29. See the latest version.

Author
DaveIT
Ratings
0 0 0
Version
0.4.3
Created
2018-05-29
Updated
2018-05-29
License
N/A
Applies to
All sites

[PL] Skrypt zawiera ulepszenia dla domyślnego odtwarzacza HTML5 (dla tagu <video>) zwiększając wygodę z jego korzystania. Testowane w Google Chrome.

Lista urozmaiceń:

  • kontrola czasu filmu za pomocą strzałek lewo/prawo o 5 sekund,
  • kontrola czasu filmu za pomocą klawiszy 0-9 (wciśnięcie powoduje przewinięcie do danej części filmu — tak, jak w odtwarzaczu YouTube),
  • kontrola poziomu głośności za pomocą strzałek góra/dół o 5%,
  • wyciszanie dźwięku po wciśnięciu klawisza m,
  • przejście do trybu pełnoekranowego za pomocą klawisza f lub podwójnego kliknięcia lewego przycisku myszy,
  • automatyczne ukrywanie kursora po pewnym czasie (zmienna mouseHideTimeout).

[ENG] Script contains some enhancements for default HTML5 player (for <video> tag) increasing convenience of using it. Tested on Google Chrome.

List of enhancements:

  • video time control by left/right arrows by 5 seconds,
  • video time control by 0-9 keys (press moves current video time to given video part — like on YouTube),
  • volume control by up/down arrows by 5%,
  • video mute by pressing m key,
  • fullscreen mode by pressing f key or left mouse button double click,
  • mouse cursor auto-hiding after specified time (mouseHideTimout variable).