diff -r c02818d7e29f -r 7e61baa047f0 editors/ResourceEditor.py --- a/editors/ResourceEditor.py Mon Aug 14 22:30:41 2017 +0300 +++ b/editors/ResourceEditor.py Mon Aug 14 23:27:15 2017 +0300 @@ -39,6 +39,7 @@ [ID_CONFIGURATIONEDITOR, ] = [wx.NewId() for _init_ctrls in range(1)] + class ConfigurationEditor(EditorPanel): ID = ID_CONFIGURATIONEDITOR @@ -67,6 +68,7 @@ _ = lambda x : x return [_("Name"), _("Triggering"), _("Single"), _("Interval"), _("Priority")] + def GetTaskTriggeringOptions(): _ = lambda x : x return [_("Interrupt"), _("Cyclic")] @@ -74,6 +76,7 @@ SingleCellEditor = lambda *x : wx.grid.GridCellChoiceEditor() + def CheckSingle(single, varlist): return single in varlist @@ -82,6 +85,7 @@ _ = lambda x : x return [_("Name"), _("Type"), _("Task")] + class ResourceTable(CustomTable): """