equal
deleted
inserted
replaced
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): |