controls/EditorPanel.py
changeset 714 131ea7f237b9
parent 687 629680fb0582
child 718 0183a66eddf9
--- 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)