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 /Action.h | |
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 'Action.h')
-rw-r--r-- | Action.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -43,6 +43,7 @@ typedef struct State_ { Header* header; bool pauseProcessUpdate; bool hideProcessSelection; + bool hideMeters; } State; static inline bool State_hideFunctionBar(const State* st) { |