changeset 747 | f36838792511 |
parent 738 | 1ccd08cfae0c |
child 761 | 996515c4b394 |
--- a/controls/VariablePanel.py Sat Aug 25 14:45:44 2012 +0200 +++ b/controls/VariablePanel.py Sat Aug 25 14:47:23 2012 +0200 @@ -680,7 +680,7 @@ def OnVariablesGridEditorShown(self, event): row, col = event.GetRow(), event.GetCol() - label_value = self.Table.GetColLabelValue(col) + label_value = self.Table.GetColLabelValue(col, False) if label_value == "Type": type_menu = wx.Menu(title='') # the root menu