Not sure if you want to include the double menu issue here or if you prefer to treat the bug as fixed. As a reminder, the double menu issue seemed to happen with appmenu-qt because it simply hid the local menus but did not intercept hide and show requests from the application.
Not sure if you want to include the double menu issue here or if you prefer to treat the bug as fixed. As a reminder, the double menu issue seemed to happen with appmenu-qt because it simply hid the local menus but did not intercept hide and show requests from the application.