diff options
| author | Andreas Kling <awesomekling@gmail.com> | 2019-04-23 22:01:33 +0200 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2019-04-23 22:01:33 +0200 |
| commit | e2cd572e60364882aa12226212144ae73d399b57 (patch) | |
| tree | 1710d3151bccfe2353b272c016c0850753215acd /Servers/WindowServer/WSMenu.h | |
| parent | 0c898e3c2cad9a5b2c7a4caf41bd9b544d31ba19 (diff) | |
| download | serenity-e2cd572e60364882aa12226212144ae73d399b57.zip | |
WindowServer: Add some padding to the window switcher items.
Diffstat (limited to 'Servers/WindowServer/WSMenu.h')
0 files changed, 0 insertions, 0 deletions