69 pass |
69 pass |
70 |
70 |
71 def RefreshScaling(self, refresh=True): |
71 def RefreshScaling(self, refresh=True): |
72 pass |
72 pass |
73 |
73 |
74 def ClearErrors(self): |
74 def ClearHighlights(self): |
75 pass |
75 pass |
76 |
76 |
77 #------------------------------------------------------------------------------- |
77 #------------------------------------------------------------------------------- |
78 # Resource Editor class |
78 # Resource Editor class |
79 #------------------------------------------------------------------------------- |
79 #------------------------------------------------------------------------------- |
689 self.RefreshModel() |
689 self.RefreshModel() |
690 self.ParentWindow.RefreshInstancesTree() |
690 self.ParentWindow.RefreshInstancesTree() |
691 event.Skip() |
691 event.Skip() |
692 |
692 |
693 #------------------------------------------------------------------------------- |
693 #------------------------------------------------------------------------------- |
694 # Search result showing functions |
|
695 #------------------------------------------------------------------------------- |
|
696 |
|
697 def AddShownSearchResult(self, infos, start, end): |
|
698 if infos[0] == "task": |
|
699 self.TasksTable.AddSearchResult(infos[1:]) |
|
700 elif infos[0] == "instance": |
|
701 self.InstancesTable.AddSearchResult(infos[1:]) |
|
702 |
|
703 def ClearSearchResults(self): |
|
704 self.TasksTable.ClearSearchResults() |
|
705 self.InstancesTable.ClearSearchResults() |
|
706 self.TasksTable.ResetView(self.TasksGrid) |
|
707 self.InstancesTable.ResetView(self.InstancesGrid) |
|
708 |
|
709 |
|
710 #------------------------------------------------------------------------------- |
|
711 # Highlights showing functions |
694 # Highlights showing functions |
712 #------------------------------------------------------------------------------- |
695 #------------------------------------------------------------------------------- |
713 |
696 |
|
697 def OnRefreshHighlightsTimer(self, event): |
|
698 self.RefreshView() |
|
699 event.Skip() |
|
700 |
714 def AddHighlight(self, infos, start, end, highlight_type): |
701 def AddHighlight(self, infos, start, end, highlight_type): |
715 if infos[0] == "task": |
702 if infos[0] == "task": |
716 self.TasksTable.AddHighlight(infos[1:], highlight_type) |
703 self.TasksTable.AddHighlight(infos[1:], highlight_type) |
717 elif infos[0] == "instance": |
704 elif infos[0] == "instance": |
718 self.InstancesTable.AddHighlight(infos[1:], highlight_type) |
705 self.InstancesTable.AddHighlight(infos[1:], highlight_type) |