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()