changeset 801 | 435e49e80832 |
parent 782 | 6f0e10085df9 |
child 814 | 5743cbdff669 |
--- a/c_ext/CFileEditor.py Sat Aug 25 14:49:15 2012 +0200 +++ b/c_ext/CFileEditor.py Sat Aug 25 14:50:48 2012 +0200 @@ -644,7 +644,7 @@ def OnVariablesGridEditorShown(self, event): row, col = event.GetRow(), event.GetCol() - if self.Table.GetColLabelValue(col) == "Type": + if self.Table.GetColLabelValue(col, False) == "Type": type_menu = wx.Menu(title='') base_menu = wx.Menu(title='') for base_type in self.Controler.GetBaseTypes():