controls/VariablePanel.py
changeset 666 d4bb66691248
parent 630 9d7e38e271cb
child 672 d751b1c609b3
equal deleted inserted replaced
665:6a376615142e 666:d4bb66691248
   773             corner_x = rect.x + rect.width
   773             corner_x = rect.x + rect.width
   774             corner_y = rect.y + self.VariablesGrid.GetColLabelSize()
   774             corner_y = rect.y + self.VariablesGrid.GetColLabelSize()
   775 
   775 
   776             # pop up this new menu
   776             # pop up this new menu
   777             self.VariablesGrid.PopupMenuXY(type_menu, corner_x, corner_y)
   777             self.VariablesGrid.PopupMenuXY(type_menu, corner_x, corner_y)
       
   778             type_menu.Destroy()
   778             event.Veto()
   779             event.Veto()
   779         else:
   780         else:
   780             event.Skip()
   781             event.Skip()
   781     
   782     
   782     def GetVariableTypeFunction(self, base_type):
   783     def GetVariableTypeFunction(self, base_type):