changeset 1768 | 691083b5682a |
parent 1745 | f9d32913bad4 |
child 1836 | d42b6cf00fa6 |
--- a/editors/EditorPanel.py Fri Aug 18 12:36:31 2017 +0300 +++ b/editors/EditorPanel.py Fri Aug 18 20:14:38 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()