editors/ResourceEditor.py
changeset 1741 dd94b9a68c61
parent 1740 b789b695b5c6
child 1742 92932cd370a4
--- a/editors/ResourceEditor.py	Tue Aug 15 15:50:30 2017 +0300
+++ b/editors/ResourceEditor.py	Tue Aug 15 16:01:18 2017 +0300
@@ -212,7 +212,6 @@
                         row_highlights.pop(col)
 
 
-
 class ResourceEditor(EditorPanel):
 
     VARIABLE_PANEL_TYPE = "resource"