diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2018-08-11 09:31:47 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2018-08-11 09:31:47 (GMT) |
| commit | c010f11b90428ffb403b998386433c572b63be49 (patch) | |
| tree | e85d41162d145aab39fa91a0e65e7e1fecf9b97b /src/gui/core/theme.h | |
| parent | fb787e91c384458a5e66d09ab1cbb0c2b639b188 (diff) | |
Taken into account that panel docking can evolve without main menus.
Diffstat (limited to 'src/gui/core/theme.h')
0 files changed, 0 insertions, 0 deletions