controls/VariablePanel.py
changeset 1833 2269739dd098
parent 1782 5b6ad7a7fd9d
child 1834 cd42b426028b
--- a/controls/VariablePanel.py	Thu Sep 28 15:17:57 2017 +0300
+++ b/controls/VariablePanel.py	Thu Sep 28 16:25:05 2017 +0300
@@ -140,7 +140,7 @@
             value = getattr(self.data[row], colname, "")
             if colname == "Type" and isinstance(value, TupleType):
                 if value[0] == "array":
-                    return "ARRAY [%s] OF %s" % (",".join(map(lambda x: "..".join(x), value[2])), value[1])
+                    return "ARRAY [%s] OF %s" % (",".join(map("..".join, value[2])), value[1])
             if not isinstance(value, (StringType, UnicodeType)):
                 value = str(value)
             if colname in ["Class", "Option"]: