plugins/c_ext/CFileEditor.py
changeset 708 6ec28dc375cf
parent 675 44b35c27e9ff
--- a/plugins/c_ext/CFileEditor.py	Wed Mar 28 00:05:35 2012 +0200
+++ b/plugins/c_ext/CFileEditor.py	Sat Mar 31 15:09:48 2012 +0200
@@ -657,7 +657,9 @@
                 self.Bind(wx.EVT_MENU, self.GetVariableTypeFunction(datatype), id=new_id)
             type_menu.AppendMenu(wx.NewId(), "User Data Types", datatype_menu)
             rect = self.VariablesGrid.BlockToDeviceRect((row, col), (row, col))
+            
             self.VariablesGrid.PopupMenuXY(type_menu, rect.x + rect.width, rect.y + self.VariablesGrid.GetColLabelSize())
+            type_menu.Destroy()
             event.Veto()
         else:
             event.Skip()