Florian Müllner 123d6e1ef6 panelMenu: Fix exception when destroying menuless button
There's explicit API to create PanelMenu.Buttons with no menu, so
guard against this case in destroy().

https://bugzilla.gnome.org/show_bug.cgi?id=686763
2012-10-26 15:50:31 +02:00
..
2012-10-02 21:16:28 -03:00
2012-09-13 22:41:17 +02:00
2012-08-29 16:41:09 -03:00
2012-10-17 19:06:02 +02:00
2011-11-11 11:15:38 -05:00
2012-08-19 21:19:17 -04:00
2012-08-29 16:41:09 -03:00
2012-08-23 23:36:25 -03:00