editors/EditorPanel.py
changeset 1745 f9d32913bad4
parent 1736 7e61baa047f0
child 1768 691083b5682a
--- a/editors/EditorPanel.py	Tue Aug 15 22:38:43 2017 +0300
+++ b/editors/EditorPanel.py	Wed Aug 16 11:47:27 2017 +0300
@@ -39,7 +39,7 @@
 
     def _init_ctrls(self, parent):
         wx.SplitterWindow.__init__(self, parent,
-              style=wx.SUNKEN_BORDER|wx.SP_3D)
+              style=wx.SUNKEN_BORDER | wx.SP_3D)
         self.SetMinimumPaneSize(1)
 
         self._init_MenuItems()