I've written a patch to fix this bug. See the related branch at the top.
I've added the a public call popdown_current_menu() to MenuManager and added a signal-handler for "button-release-event" to Unity.Panel.View, which calls that. I've also merged-proposed it already:
I've written a patch to fix this bug. See the related branch at the top.
I've added the a public call popdown_ current_ menu() to MenuManager and added a signal-handler for "button- release- event" to Unity.Panel.View, which calls that. I've also merged-proposed it already:
https:/ /code.edge. launchpad. net/~unity- team/unity/ unity.fix- 595880/ +merge/ 27944