diff options
| author |  Frans de Jonge <fransdejonge@gmail.com>
| 2024-12-04 22:30:04 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2024-12-04 22:30:04 +0100 |
| commit | be9b6c7290dddcd8b8b6a8926bd101b7123528b3 (patch) | |
| tree | 4cc15beac7620c8665028b3f1a9800e38bf2a0a2 /CREDITS.md | |
| parent | e9f392201006c907a20ba5046252d056bd5c4426 (diff) | |
Implement showing and hiding header depending on scroll (#7029)
* Implement showing and hiding header depending on scroll
References #7011.
* header.phtml: adjust indentation
* minor efficiency improvement
* Update p/scripts/main.js
Co-authored-by: Alexandre Alapetite <alexandre@alapetite.fr>
---------
Co-authored-by: Alexandre Alapetite <alexandre@alapetite.fr>
Diffstat (limited to 'CREDITS.md')
0 files changed, 0 insertions, 0 deletions