☰

GitHub Reveal Header

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

Como instalar

Terá de instalar uma extensão como Tampermonkey, Greasemonkey ou Violentmonkey para instalar este script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

Terá de instalar uma extensão como Tampermonkey ou Violentmonkey para instalar este script.

Terá de instalar uma extensão como Tampermonkey ou Userscripts para instalar este script.

Terá de instalar uma extensão como Tampermonkey para instalar este script.

Terá de instalar uma extensão de gestão de scripts de utilizador para instalar este script.

(Já tenho um gestor de scripts de utilizador, deixe-me instalá-lo!)

Como instalar

Terá de instalar uma extensão como Stylus para instalar este estilo.

Terá de instalar uma extensão como Stylus para instalar este estilo.

Terá de instalar uma extensão como Stylus para instalar este estilo.

Terá de instalar uma extensão de gestão de estilos de utilizador para instalar este estilo.

Terá de instalar uma extensão de gestão de estilos de utilizador para instalar este estilo.

Terá de instalar uma extensão de gestão de estilos de utilizador para instalar este estilo.

(Já tenho um gestor de estilos de utilizador, deixe-me instalá-lo!)

Autor
Mottie
Instalações diárias
0
Total de instalações
58
Classificações
3 0 0
Versão
0.1.4
Criado
04/06/2017
Atualizado
17/02/2024
Tamanho
6 KB
Licença
MIT
Aplica-se a

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

  • When the mouse is near the top of the viewport, the header will slide down and allow interaction.
  • Once the mouse is moved away from the top or out of the viewport, the header will slide up out of view.
  • This userscript was created to replace the GitHub-FixedHeader userstyle (requires Stylus) in which the header is always visible and fixed at the top of the viewport.

Hosted with ♥ at GitHub