--- 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):
"""