26 |
26 |
27 from VariablePanel import VariablePanel |
27 from VariablePanel import VariablePanel |
28 |
28 |
29 class EditorPanel(wx.SplitterWindow): |
29 class EditorPanel(wx.SplitterWindow): |
30 |
30 |
31 ID = wx.NewId() |
|
32 VARIABLE_PANEL_TYPE = None |
31 VARIABLE_PANEL_TYPE = None |
33 |
|
34 if wx.VERSION < (2, 6, 0): |
|
35 def Bind(self, event, function, id = None): |
|
36 if id is not None: |
|
37 event(self, id, function) |
|
38 else: |
|
39 event(self, function) |
|
40 |
32 |
41 def _init_Editor(self, prnt): |
33 def _init_Editor(self, prnt): |
42 self.Editor = None |
34 self.Editor = None |
43 |
35 |
44 def _init_MenuItems(self): |
36 def _init_MenuItems(self): |
45 self.MenuItems = [] |
37 self.MenuItems = [] |
46 |
38 |
47 def _init_ctrls(self, prnt): |
39 def _init_ctrls(self, parent): |
48 wx.SplitterWindow.__init__(self, id=self.ID, name='MainSplitter', parent=prnt, |
40 wx.SplitterWindow.__init__(self, parent, |
49 size=wx.Size(0, 0), style=wx.SUNKEN_BORDER|wx.SP_3D) |
41 style=wx.SUNKEN_BORDER|wx.SP_3D) |
50 self.SetNeedUpdating(True) |
42 self.SetNeedUpdating(True) |
51 self.SetMinimumPaneSize(1) |
43 self.SetMinimumPaneSize(1) |
52 |
44 |
53 self._init_MenuItems() |
45 self._init_MenuItems() |
54 |
46 |