editors/ResourceEditor.py
changeset 1736 7e61baa047f0
parent 1734 750eeb7230a1
child 1739 ec153828ded2
--- 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):
 
     """