equal
deleted
inserted
replaced
642 wx.CallAfter(self.RefreshView) |
642 wx.CallAfter(self.RefreshView) |
643 event.Skip() |
643 event.Skip() |
644 |
644 |
645 def OnVariablesGridEditorShown(self, event): |
645 def OnVariablesGridEditorShown(self, event): |
646 row, col = event.GetRow(), event.GetCol() |
646 row, col = event.GetRow(), event.GetCol() |
647 if self.Table.GetColLabelValue(col) == "Type": |
647 if self.Table.GetColLabelValue(col, False) == "Type": |
648 type_menu = wx.Menu(title='') |
648 type_menu = wx.Menu(title='') |
649 base_menu = wx.Menu(title='') |
649 base_menu = wx.Menu(title='') |
650 for base_type in self.Controler.GetBaseTypes(): |
650 for base_type in self.Controler.GetBaseTypes(): |
651 new_id = wx.NewId() |
651 new_id = wx.NewId() |
652 AppendMenu(base_menu, help='', id=new_id, kind=wx.ITEM_NORMAL, text=base_type) |
652 AppendMenu(base_menu, help='', id=new_id, kind=wx.ITEM_NORMAL, text=base_type) |