diff -r 64aa66d481c5 -r 3e78925125e1 Beremiz.py --- a/Beremiz.py Wed Dec 19 13:29:38 2012 +0100 +++ b/Beremiz.py Wed Dec 19 13:32:04 2012 +0100 @@ -1038,7 +1038,22 @@ del confnode self._Refresh(TITLE, FILEMENU, PROJECTTREE) dialog.Destroy() - + +#------------------------------------------------------------------------------- +# Highlights showing functions +#------------------------------------------------------------------------------- + + def ShowHighlight(self, infos, start, end, highlight_type): + config_name = self.Controler.GetProjectMainConfigurationName() + if config_name is not None and infos[0] == self.Controler.ComputeConfigurationName(config_name): + self.CTR._OpenView() + selected = self.TabsOpened.GetSelection() + if selected != -1: + viewer = self.TabsOpened.GetPage(selected) + viewer.AddHighlight(infos[1:], start, end, highlight_type) + else: + IDEFrame.ShowHighlight(self, infos, start, end, highlight_type) + #------------------------------------------------------------------------------- # Exception Handler #-------------------------------------------------------------------------------