diff options
| author | Andreas Kling <awesomekling@gmail.com> | 2019-11-11 12:54:23 +0100 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2019-11-11 13:13:08 +0100 |
| commit | 5e61fd0e67f0ae3e77435d1aea2bcba1b37cf320 (patch) | |
| tree | 901719e9a268c4a608179ec0ae0bcd07466f52da /DevTools | |
| parent | cbecad0a776e0b9a7d5e116740fb70f7ebbba813 (diff) | |
| download | serenity-5e61fd0e67f0ae3e77435d1aea2bcba1b37cf320.zip | |
WindowManager: Simplify menu bar open/close logic
Let the global menu bar be either "open" or "closed". Clicking on one
of the menus in the menu bar toggles the state.
This ends up simpler and more intuitive than what we had before.
Diffstat (limited to 'DevTools')
0 files changed, 0 insertions, 0 deletions