--- a/SearchResultPanel.py Mon Aug 27 23:09:48 2012 +0200
+++ b/SearchResultPanel.py Wed Aug 29 23:02:04 2012 +0200
@@ -195,7 +195,7 @@
children = element_infos.setdefault("children", [])
for infos, start, end, text in results:
- if element_type == ITEM_DATATYPE:
+ if infos[1] == "name" or element_type == ITEM_DATATYPE:
child_name = GenerateName(infos[1:])
child_type = element_type
else:
@@ -203,7 +203,9 @@
child_type = element_type
else:
child_type = infos[1]
- if child_type == "body":
+ if child_type == "name":
+ child_name = "name"
+ elif child_type == "body":
child_name = "body"
if element_type == ITEM_TRANSITION:
child_type = self.ParentWindow.Controler.GetTransitionBodyType(words[1], words[2])