☰

GitHub Reveal Header

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

Dette er versioner af dette script, hvor koden er blevet opdateret. Vis alle versioner.

  • 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