equal
deleted
inserted
replaced
42 return "%s:" % infos[0] |
42 return "%s:" % infos[0] |
43 |
43 |
44 #------------------------------------------------------------------------------- |
44 #------------------------------------------------------------------------------- |
45 # Search Result Panel |
45 # Search Result Panel |
46 #------------------------------------------------------------------------------- |
46 #------------------------------------------------------------------------------- |
|
47 |
47 |
48 |
48 [ID_SEARCHRESULTPANEL, ID_SEARCHRESULTPANELHEADERLABEL, |
49 [ID_SEARCHRESULTPANEL, ID_SEARCHRESULTPANELHEADERLABEL, |
49 ID_SEARCHRESULTPANELSEARCHRESULTSTREE, ID_SEARCHRESULTPANELRESETBUTTON, |
50 ID_SEARCHRESULTPANELSEARCHRESULTSTREE, ID_SEARCHRESULTPANELRESETBUTTON, |
50 ] = [wx.NewId() for _init_ctrls in range(4)] |
51 ] = [wx.NewId() for _init_ctrls in range(4)] |
51 |
52 |