SearchResultPanel.py
changeset 574 8c525217ef1f
parent 572 1af3cc2b207c
child 576 3f2024f30553
equal deleted inserted replaced
573:0a6b2e1f8ce3 574:8c525217ef1f
    84               size=wx.Size(0, 0), style=wx.TAB_TRAVERSAL)
    84               size=wx.Size(0, 0), style=wx.TAB_TRAVERSAL)
    85 
    85 
    86         self.HeaderLabel = wx.StaticText(id=ID_SEARCHRESULTPANELHEADERLABEL,
    86         self.HeaderLabel = wx.StaticText(id=ID_SEARCHRESULTPANELHEADERLABEL,
    87               name='HeaderLabel', parent=self,
    87               name='HeaderLabel', parent=self,
    88               pos=wx.Point(0, 0), size=wx.Size(0, 17), style=0)
    88               pos=wx.Point(0, 0), size=wx.Size(0, 17), style=0)
    89 
    89         
       
    90         search_results_tree_style = CT.TR_HAS_BUTTONS|CT.TR_NO_LINES|CT.TR_HAS_VARIABLE_ROW_HEIGHT
    90         self.SearchResultsTree = CT.CustomTreeCtrl(id=ID_SEARCHRESULTPANELSEARCHRESULTSTREE,
    91         self.SearchResultsTree = CT.CustomTreeCtrl(id=ID_SEARCHRESULTPANELSEARCHRESULTSTREE,
    91               name="SearchResultsTree", parent=self,
    92               name="SearchResultsTree", parent=self,
    92               pos=wx.Point(0, 0), style=0)
    93               pos=wx.Point(0, 0), style=search_results_tree_style)
    93         self.SearchResultsTree.SetAGWWindowStyleFlag(CT.TR_HAS_BUTTONS|CT.TR_NO_LINES|CT.TR_HAS_VARIABLE_ROW_HEIGHT)
    94         if wx.VERSION >= (2, 8, 11):
       
    95             self.SearchResultsTree.SetAGWWindowStyleFlag(search_results_tree_style)
    94         self.Bind(wx.EVT_TREE_ITEM_ACTIVATED, self.OnSearchResultsTreeItemActivated,
    96         self.Bind(wx.EVT_TREE_ITEM_ACTIVATED, self.OnSearchResultsTreeItemActivated,
    95               id=ID_SEARCHRESULTPANELSEARCHRESULTSTREE)
    97               id=ID_SEARCHRESULTPANELSEARCHRESULTSTREE)
    96         
    98         
    97         self.ResetButton = wx.Button(id=ID_SEARCHRESULTPANELRESETBUTTON, label=_('Reset'),
    99         self.ResetButton = wx.Button(id=ID_SEARCHRESULTPANELRESETBUTTON, label=_('Reset'),
    98               name='ResetButton', parent=self, pos=wx.Point(0, 0),
   100               name='ResetButton', parent=self, pos=wx.Point(0, 0),