☰

GitHub Reveal Header

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

Acestea sunt versiunile scriptului în care codul a fost actualizat. Arată toate versiunile.

  • 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