diff options
| author | Christian Göttsche <cgzones@googlemail.com> | 2022-10-20 15:03:17 +0200 |
|---|---|---|
| committer | BenBE <BenBE@geshi.org> | 2022-10-22 17:42:19 +0200 |
| commit | 15fe50d272a5f548c7b9a0b8e79794fe1caf31bc (patch) | |
| tree | a27749d593aacd3d75a22c1154c354cc8958d2a9 /Header.c | |
| parent | d83948ed09039864cdaf6066a1bd64476211ecaa (diff) | |
Toggle the header meters with pound key
Show/hide the header meters with the pound ('#') key. Useful in cases
where the header is too large and occupies essential parts of the
screen, especially in settings (see #1108).
It is only stored as a runtime state, not a persistent setting; to
remove the header permanently one can delete all active meters.
Diffstat (limited to 'Header.c')
0 files changed, 0 insertions, 0 deletions