GitHub Reveal Header

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

These are versions of this script where the code was updated. Show all versions.

  • v0.1.4 17/02/2024

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

  • v0.1.4 01/07/2023

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

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