controls/VariablePanel.py
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