1036 if dialog.ShowModal() == wx.ID_YES: |
1036 if dialog.ShowModal() == wx.ID_YES: |
1037 confnode.CTNRemove() |
1037 confnode.CTNRemove() |
1038 del confnode |
1038 del confnode |
1039 self._Refresh(TITLE, FILEMENU, PROJECTTREE) |
1039 self._Refresh(TITLE, FILEMENU, PROJECTTREE) |
1040 dialog.Destroy() |
1040 dialog.Destroy() |
1041 |
1041 |
|
1042 #------------------------------------------------------------------------------- |
|
1043 # Highlights showing functions |
|
1044 #------------------------------------------------------------------------------- |
|
1045 |
|
1046 def ShowHighlight(self, infos, start, end, highlight_type): |
|
1047 config_name = self.Controler.GetProjectMainConfigurationName() |
|
1048 if config_name is not None and infos[0] == self.Controler.ComputeConfigurationName(config_name): |
|
1049 self.CTR._OpenView() |
|
1050 selected = self.TabsOpened.GetSelection() |
|
1051 if selected != -1: |
|
1052 viewer = self.TabsOpened.GetPage(selected) |
|
1053 viewer.AddHighlight(infos[1:], start, end, highlight_type) |
|
1054 else: |
|
1055 IDEFrame.ShowHighlight(self, infos, start, end, highlight_type) |
|
1056 |
1042 #------------------------------------------------------------------------------- |
1057 #------------------------------------------------------------------------------- |
1043 # Exception Handler |
1058 # Exception Handler |
1044 #------------------------------------------------------------------------------- |
1059 #------------------------------------------------------------------------------- |
1045 |
1060 |
1046 Max_Traceback_List_Size = 20 |
1061 Max_Traceback_List_Size = 20 |