diff -r f9cf74053b7d -r 80a91fc91595 controls/VariablePanel.py --- a/controls/VariablePanel.py Tue May 14 22:25:33 2013 +0200 +++ b/controls/VariablePanel.py Tue May 14 22:31:14 2013 +0200 @@ -298,7 +298,8 @@ self.ParentWindow.Table.SetValue(row, col, values[0]) self.ParentWindow.Table.ResetView(self.ParentWindow.VariablesGrid) self.ParentWindow.SaveValues() - elif (element_type not in ["config", "resource"] and values[1] == "Global" and self.ParentWindow.Filter in ["All", "Interface", "External"] or + elif (element_type not in ["config", "resource", "function"] and values[1] == "Global" and + self.ParentWindow.Filter in ["All", "Interface", "External"] or element_type in ["config", "resource", "program"] and values[1] == "location"): if values[1] == "location": var_name = values[3]