equal
deleted
inserted
replaced
2443 #------------------------------------------------------------------------------- |
2443 #------------------------------------------------------------------------------- |
2444 # Highlights showing functions |
2444 # Highlights showing functions |
2445 #------------------------------------------------------------------------------- |
2445 #------------------------------------------------------------------------------- |
2446 |
2446 |
2447 def ShowHighlight(self, infos, start, end, highlight_type): |
2447 def ShowHighlight(self, infos, start, end, highlight_type): |
2448 print infos, start, end, highlight_type |
|
2449 self.SelectTypesTreeItem(infos[0]) |
2448 self.SelectTypesTreeItem(infos[0]) |
2450 if infos[1] == "name": |
2449 if infos[1] == "name": |
2451 self.Highlights[infos[0]] = highlight_type |
2450 self.Highlights[infos[0]] = highlight_type |
2452 self.RefreshTypesTree() |
2451 self.RefreshTypesTree() |
2453 self.TypesTree.Unselect() |
2452 self.TypesTree.Unselect() |