-
Erwan Tulou authored
when one of these three popupmenus is shown, there was no way to hide it without first executing an item in the menu. (see for instance, earthox skin) This patch ensures that the usual way to hide the default PopupMenu is also used to hide any one of these other three popupmenus.
2a68b1d5