diff options
author | osch <oliver at luced de> | 2019-04-12 23:48:52 +0200 |
---|---|---|
committer | lukefromdc <[email protected]> | 2019-04-23 18:35:39 +0000 |
commit | 54d6dd4cd27c97c3560c3ff2eb66fcfbbe5a51c0 (patch) | |
tree | 7ea59fcfd5b6b26c409904d34083d428c2f447a4 /src/include | |
parent | 5e2f54dbf2417c3b5f8b1614010565a0a500382a (diff) | |
download | marco-54d6dd4cd27c97c3560c3ff2eb66fcfbbe5a51c0.tar.bz2 marco-54d6dd4cd27c97c3560c3ff2eb66fcfbbe5a51c0.tar.xz |
reload icons if icon size preference changed
Diffstat (limited to 'src/include')
-rw-r--r-- | src/include/core.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/include/core.h b/src/include/core.h index faf792ed..c95d0fce 100644 --- a/src/include/core.h +++ b/src/include/core.h @@ -205,6 +205,8 @@ void meta_core_increment_event_serial (Display *display); void meta_invalidate_default_icons (void); +void meta_invalidate_all_icons (void); + #endif |