equal
deleted
inserted
replaced
730 if selected >= 0: |
730 if selected >= 0: |
731 # Remove corresponding VariablePanel |
731 # Remove corresponding VariablePanel |
732 window = self.TabsOpened.GetPage(selected) |
732 window = self.TabsOpened.GetPage(selected) |
733 if not window.IsDebugging(): |
733 if not window.IsDebugging(): |
734 self.VariablePanelIndexer.RemoveVariablePanel(window.GetTagName()) |
734 self.VariablePanelIndexer.RemoveVariablePanel(window.GetTagName()) |
735 # Refresh Tab selection |
735 |
736 if self.TabsOpened.GetPageCount() > 0: |
|
737 new_index = min(selected, self.TabsOpened.GetPageCount() - 1) |
|
738 self.TabsOpened.SetSelection(new_index) |
|
739 window = self.TabsOpened.GetPage(selected) |
|
740 if not window.IsDebugging(): |
|
741 self.VariablePanelIndexer.ChangeVariablePanel(window.GetTagName()) |
|
742 # Refresh all window elements that have changed |
|
743 wx.CallAfter(self._Refresh, TITLE, TOOLBAR, FILEMENU, EDITMENU, DISPLAYMENU) |
|
744 wx.CallAfter(self.RefreshTabCtrlEvent) |
736 wx.CallAfter(self.RefreshTabCtrlEvent) |
745 event.Skip() |
737 event.Skip() |
746 |
738 |
747 def GetCopyBuffer(self): |
739 def GetCopyBuffer(self): |
748 data = None |
740 data = None |
1573 window = self.TabsOpened.GetPage(i) |
1565 window = self.TabsOpened.GetPage(i) |
1574 if window.GetTagName() == tagname: |
1566 if window.GetTagName() == tagname: |
1575 self.TabsOpened.SetSelection(i) |
1567 self.TabsOpened.SetSelection(i) |
1576 window.SetFocus() |
1568 window.SetFocus() |
1577 self.RefreshPageTitles() |
1569 self.RefreshPageTitles() |
1578 self._Refresh(FILEMENU, EDITMENU, TOOLBAR) |
|
1579 |
1570 |
1580 def OnTypesTreeRightUp(self, event): |
1571 def OnTypesTreeRightUp(self, event): |
1581 if wx.Platform == '__WXMSW__': |
1572 if wx.Platform == '__WXMSW__': |
1582 item = event.GetItem() |
1573 item = event.GetItem() |
1583 else: |
1574 else: |