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 /CommandLine.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 'CommandLine.c')
-rw-r--r-- | CommandLine.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CommandLine.c b/CommandLine.c index 5e72cbf0..70b6d957 100644 --- a/CommandLine.c +++ b/CommandLine.c @@ -371,6 +371,7 @@ int CommandLine_run(const char* name, int argc, char** argv) { .header = header, .pauseProcessUpdate = false, .hideProcessSelection = false, + .hideMeters = false, }; MainPanel_setState(panel, &state); |