--- a/controls/EditorPanel.py Fri Jun 15 18:03:25 2012 +0200
+++ b/controls/EditorPanel.py Mon Jun 25 20:03:53 2012 +0200
@@ -28,25 +28,17 @@
class EditorPanel(wx.SplitterWindow):
- ID = wx.NewId()
VARIABLE_PANEL_TYPE = None
- if wx.VERSION < (2, 6, 0):
- def Bind(self, event, function, id = None):
- if id is not None:
- event(self, id, function)
- else:
- event(self, function)
-
def _init_Editor(self, prnt):
self.Editor = None
def _init_MenuItems(self):
self.MenuItems = []
- def _init_ctrls(self, prnt):
- wx.SplitterWindow.__init__(self, id=self.ID, name='MainSplitter', parent=prnt,
- size=wx.Size(0, 0), style=wx.SUNKEN_BORDER|wx.SP_3D)
+ def _init_ctrls(self, parent):
+ wx.SplitterWindow.__init__(self, parent,
+ style=wx.SUNKEN_BORDER|wx.SP_3D)
self.SetNeedUpdating(True)
self.SetMinimumPaneSize(1)