RessourceEditor.py
changeset 578 73138d14d88d
parent 577 9dbb79722fbc
child 579 bc333e073aa3
equal deleted inserted replaced
577:9dbb79722fbc 578:73138d14d88d
   230                     editor.SetParameters(self.Parent.VariableList)
   230                     editor.SetParameters(self.Parent.VariableList)
   231                     if self.GetValueByName(row, "Triggering") != "Interrupt":
   231                     if self.GetValueByName(row, "Triggering") != "Interrupt":
   232                         grid.SetReadOnly(row, col, True)
   232                         grid.SetReadOnly(row, col, True)
   233                 elif colname == "Triggering":
   233                 elif colname == "Triggering":
   234                     editor = wx.grid.GridCellChoiceEditor()
   234                     editor = wx.grid.GridCellChoiceEditor()
   235                     editor.SetParameters(",".join([""] + GetTaskTriggeringOptions()))
   235                     editor.SetParameters(",".join([""] + map(_, GetTaskTriggeringOptions())))
   236                 elif colname == "Type":
   236                 elif colname == "Type":
   237                     editor = wx.grid.GridCellChoiceEditor()
   237                     editor = wx.grid.GridCellChoiceEditor()
   238                     editor.SetParameters(self.Parent.TypeList)
   238                     editor.SetParameters(self.Parent.TypeList)
   239                 elif colname == "Priority":
   239                 elif colname == "Priority":
   240                     editor = wx.grid.GridCellNumberEditor()
   240                     editor = wx.grid.GridCellNumberEditor()