equal
deleted
inserted
replaced
2559 # ------------------------------------------------------------------------------- |
2559 # ------------------------------------------------------------------------------- |
2560 # Highlights showing functions |
2560 # Highlights showing functions |
2561 # ------------------------------------------------------------------------------- |
2561 # ------------------------------------------------------------------------------- |
2562 |
2562 |
2563 def ShowHighlight(self, infos, start, end, highlight_type): |
2563 def ShowHighlight(self, infos, start, end, highlight_type): |
2564 print(infos) |
2564 print("ZZZZZZZZZZZZZ", infos, start, end, highlight_type) |
2565 self.SelectProjectTreeItem(infos[0]) |
2565 self.SelectProjectTreeItem(infos[0]) |
2566 if infos[1] == "name": |
2566 if infos[1] == "name": |
2567 self.Highlights[infos[0]] = highlight_type |
2567 self.Highlights[infos[0]] = highlight_type |
2568 self.RefreshProjectTree() |
2568 self.RefreshProjectTree() |
2569 self.ProjectTree.Unselect() |
2569 self.ProjectTree.Unselect() |