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 /ScreenManager.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 'ScreenManager.h')
-rw-r--r-- | ScreenManager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ScreenManager.h b/ScreenManager.h index 978b524b..d08a9413 100644 --- a/ScreenManager.h +++ b/ScreenManager.h @@ -26,11 +26,11 @@ typedef struct ScreenManager_ { int panelCount; Header* header; const Settings* settings; - const State* state; + State* state; bool allowFocusChange; } ScreenManager; -ScreenManager* ScreenManager_new(Header* header, const Settings* settings, const State* state, bool owner); +ScreenManager* ScreenManager_new(Header* header, const Settings* settings, State* state, bool owner); void ScreenManager_delete(ScreenManager* this); |