--- a/controls/VariablePanel.py Fri Oct 19 12:14:24 2012 +0200
+++ b/controls/VariablePanel.py Mon Oct 22 17:39:13 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)