equal
deleted
inserted
replaced
39 return "%s %d %s" % (infos[0], infos[1], infos[2]) |
39 return "%s %d %s" % (infos[0], infos[1], infos[2]) |
40 elif infos[0] == "struct": |
40 elif infos[0] == "struct": |
41 return "element %d %s" % (infos[1], infos[2]) |
41 return "element %d %s" % (infos[1], infos[2]) |
42 return "%s:" % infos[0] |
42 return "%s:" % infos[0] |
43 |
43 |
44 #------------------------------------------------------------------------------- |
44 |
|
45 # ------------------------------------------------------------------------------- |
45 # Search Result Panel |
46 # Search Result Panel |
46 #------------------------------------------------------------------------------- |
47 # ------------------------------------------------------------------------------- |
47 |
48 |
48 |
49 |
49 [ |
50 [ |
50 ID_SEARCHRESULTPANEL, ID_SEARCHRESULTPANELHEADERLABEL, |
51 ID_SEARCHRESULTPANEL, ID_SEARCHRESULTPANELHEADERLABEL, |
51 ID_SEARCHRESULTPANELSEARCHRESULTSTREE, ID_SEARCHRESULTPANELRESETBUTTON, |
52 ID_SEARCHRESULTPANELSEARCHRESULTSTREE, ID_SEARCHRESULTPANELRESETBUTTON, |