Andreas Kling cbecad0a77 WindowManager: Move more of the menu management logic to WSMenuManager ...

This patch moves a whole lot of the menu logic from WSWindowManager to
its proper home in WSMenuManager.

We also get rid of the "close_current_menu()" concept which was easily
confused in the presence of submenus. All operations should now be
aware of the menu stack instead. (The concept of a single, current menu
made a lot more sense when there were no nested menus.)

2019-11-11 13:13:08 +01:00

44 KiB

Raw Blame History

View Raw