☰

Custom Native HTML5 Player with Shortcuts

Custom html5 player with shortcuts and v.redd.it videos with audio

Queste sono tutte le versioni di questo script. Mostra solo le versioni in cui è cambiato il codice

  • v1.9 31/07/2023

    Hopefully fixes reddit audio once again.
  • v1.8 08/06/2023

    Fix unintentional youtube scrolling.
  • v1.7 26/01/2022

    Recheck style injection.
  • v1.6 11/01/2022

    Don't recall exactly, but I'm pretty sure I've updated a few things.
  • v1.5 24/12/2020 Lose log.
  • v1.4 24/12/2020 Tweak event handling and XHR API syntax for Violentmonkey/Greasemonkey compatibility.
  • v1.3 21/12/2020
  • v1.3 09/12/2020 typo
  • v1.2 09/12/2020 Switch to XHR API for testing Reddit audio. Tweak icons, and inject style manually.
  • v1.1 08/11/2020 Fix Firefox Imagus default controls conflict
  • v1.0 24/10/2020 Fuck auto-indent.
  • v0.9 24/10/2020 Fix reddit audio.. again.
  • v0.8 30/07/2020 Account for Imagus' 'Enter' shortcut to sticky videos
  • v0.7 07/07/2020 Unnecessary variable left over from alternative approach
  • v0.6 07/07/2020 Account for reddit audio URL fuckery
  • v0.5 15/06/2020 Copypasta separate percentage variable is unnecessary here
  • v0.4 15/06/2020 Fix time tooltip text initialization before mousemove when values are ready
  • v0.3 11/06/2020 Apparently, observing attribute changes was intentional, and necessary in some cases.
  • v0.2 09/06/2020 Minor improvements and syntax cleanup
  • v0.1 05/06/2020
  • v0.1 05/06/2020