popupMenu: close menu on destroy

This fixes a crash if a background menu is open
and the background changes.

https://bugzilla.gnome.org/show_bug.cgi?id=697432
This commit is contained in:
Ray Strode 2013-04-06 10:31:16 -04:00
parent 0376f22d41
commit 77d3712261

View File

@ -1157,6 +1157,7 @@ const PopupMenuBase = new Lang.Class({
},
destroy: function() {
this.close();
this.removeAll();
this.actor.destroy();