GitHub Reveal Header

A userscript that reveals the header when hovering near the top of the screen

A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.

  • v0.1.4 17/2/2024

    feat: use eslint-plugin-userscripts (#202)

  • v0.1.4 1/7/2023

    Global: replace @include with @match (#192)

  • v0.1.4 21/2/2021 Add @supportURL pointing to the GitHub repo (#137) (per https://github.com/JasonBarnabe/greasyfork/issues/712#issuecomment-649176266 )
  • v0.1.4 30/3/2019 Reveal-header: Update header selector
  • v0.1.3 17/2/2019 Global: Update GitHub icon
  • v0.1.2 18/1/2018 Update assets & fix linting
  • v0.1.1 22/8/2017 Reveal-header: Update to use new header class
  • v0.1.0 4/6/2017 Imported from URL