equal
deleted
inserted
replaced
55 ID_SEARCHRESULTPANELSEARCHRESULTSTREE, ID_SEARCHRESULTPANELRESETBUTTON, |
55 ID_SEARCHRESULTPANELSEARCHRESULTSTREE, ID_SEARCHRESULTPANELRESETBUTTON, |
56 ] = [wx.NewId() for _init_ctrls in range(4)] |
56 ] = [wx.NewId() for _init_ctrls in range(4)] |
57 |
57 |
58 |
58 |
59 class SearchResultPanel(wx.Panel): |
59 class SearchResultPanel(wx.Panel): |
60 |
|
61 if wx.VERSION < (2, 6, 0): |
|
62 def Bind(self, event, function, id=None): |
|
63 if id is not None: |
|
64 event(self, id, function) |
|
65 else: |
|
66 event(self, function) |
|
67 |
60 |
68 def _init_coll_MainSizer_Items(self, parent): |
61 def _init_coll_MainSizer_Items(self, parent): |
69 parent.AddSizer(self.HeaderSizer, 0, border=0, flag=wx.GROW) |
62 parent.AddSizer(self.HeaderSizer, 0, border=0, flag=wx.GROW) |
70 parent.AddWindow(self.SearchResultsTree, 1, border=0, flag=wx.GROW) |
63 parent.AddWindow(self.SearchResultsTree, 1, border=0, flag=wx.GROW) |
71 |
64 |