RessourceEditor.py
changeset 578 73138d14d88d
parent 577 9dbb79722fbc
child 579 bc333e073aa3
--- a/RessourceEditor.py	Fri Oct 14 19:26:29 2011 +0200
+++ b/RessourceEditor.py	Tue Oct 18 22:20:10 2011 +0200
@@ -232,7 +232,7 @@
                         grid.SetReadOnly(row, col, True)
                 elif colname == "Triggering":
                     editor = wx.grid.GridCellChoiceEditor()
-                    editor.SetParameters(",".join([""] + GetTaskTriggeringOptions()))
+                    editor.SetParameters(",".join([""] + map(_, GetTaskTriggeringOptions())))
                 elif colname == "Type":
                     editor = wx.grid.GridCellChoiceEditor()
                     editor.SetParameters(self.Parent.TypeList)