diff -r 8a51046010d7 -r b1ead41fbd3b controls/VariablePanel.py --- a/controls/VariablePanel.py Thu Oct 18 20:40:12 2012 +0200 +++ b/controls/VariablePanel.py Fri Oct 19 18:10:31 2012 +0200 @@ -417,10 +417,10 @@ "Class" : "", "Type" : "INT", "Location" : "", - "Initial Value" : "", - "Option" : "", - "Documentation" : "", - "Edit" : True + "Initial Value" : "", + "Option" : "", + "Documentation" : "", + "Edit" : True } if element_type in ["config", "resource"]: @@ -702,7 +702,7 @@ # build a submenu containing user-defined types datatype_menu = wx.Menu(title='') - datatypes = self.Controler.GetDataTypes(basetypes = False) + datatypes = self.Controler.GetDataTypes(basetypes = False, confnodetypes = False) for datatype in datatypes: new_id = wx.NewId() AppendMenu(datatype_menu, help='', id=new_id, kind=wx.ITEM_NORMAL, text=datatype)