--- a/controls/VariablePanel.py Sat Mar 31 15:03:50 2012 +0200
+++ b/controls/VariablePanel.py Sat Mar 31 15:08:18 2012 +0200
@@ -775,6 +775,7 @@
# pop up this new menu
self.VariablesGrid.PopupMenuXY(type_menu, corner_x, corner_y)
+ type_menu.Destroy()
event.Veto()
else:
event.Skip()