controls/VariablePanel.py
changeset 666 d4bb66691248
parent 630 9d7e38e271cb
child 672 d751b1c609b3
--- 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()