editors/EditorPanel.py
changeset 1085 906fe7f2c052
parent 980 c7ba67d01d65
child 1571 486f94a8032c
equal deleted inserted replaced
1084:baa09a1c7b15 1085:906fe7f2c052
    37         self.MenuItems = []
    37         self.MenuItems = []
    38     
    38     
    39     def _init_ctrls(self, parent):
    39     def _init_ctrls(self, parent):
    40         wx.SplitterWindow.__init__(self, parent,
    40         wx.SplitterWindow.__init__(self, parent,
    41               style=wx.SUNKEN_BORDER|wx.SP_3D)
    41               style=wx.SUNKEN_BORDER|wx.SP_3D)
    42         self.SetNeedUpdating(True)
       
    43         self.SetMinimumPaneSize(1)
    42         self.SetMinimumPaneSize(1)
    44         
    43         
    45         self._init_MenuItems()
    44         self._init_MenuItems()
    46         
    45         
    47         if self.VARIABLE_PANEL_TYPE is not None:
    46         if self.VARIABLE_PANEL_TYPE is not None: