Skip to content
Commit b588ae4e authored by Florian Müllner's avatar Florian Müllner
Browse files

PopupMenuManager: Fix child menus

Since commit c84dc625, popup menus are closed automatically
when another menu opens (to catch the case where a menu is opened
by keyboard shortcut, which wasn't handled before). However in the
case of child menus, both child and parent are expected to be visible,
so handle this case explicitly.

https://bugzilla.gnome.org/show_bug.cgi?id=699678
parent 28abc15c
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment