diff options
| author | Christian Göttsche <cgzones@googlemail.com> | 2021-01-05 23:42:55 +0100 |
|---|---|---|
| committer | BenBE <BenBE@geshi.org> | 2021-01-11 20:12:34 +0100 |
| commit | d72b0a682ecad0a8d5793022733447e855a61798 (patch) | |
| tree | d9bc511bb716030fd73675bd3474e5a043636d73 /ScreenManager.h | |
| parent | 1b2d48bc9aa93254c48d10bb34acde9596b526b9 (diff) | |
Mark several non-modified pointer variables const
Diffstat (limited to 'ScreenManager.h')
| -rw-r--r-- | ScreenManager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ScreenManager.h b/ScreenManager.h index 7dda4fca..87627bf2 100644 --- a/ScreenManager.h +++ b/ScreenManager.h @@ -34,7 +34,7 @@ ScreenManager* ScreenManager_new(Header* header, const Settings* settings, const void ScreenManager_delete(ScreenManager* this); -int ScreenManager_size(ScreenManager* this); +int ScreenManager_size(const ScreenManager* this); void ScreenManager_add(ScreenManager* this, Panel* item, int size); |