controls/VariablePanel.py
changeset 1140 80a91fc91595
parent 1128 86527a6f06fb
child 1171 a506e4de8f84
--- 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]