# HG changeset patch
# User laurent
# Date 1301585812 -7200
# Node ID ee435a8546b999aee0e6ed852a56800b070de544
# Parent  fb787f6cbe33bed5c6adddb8f13e65dcae4786f7
Fix segmentation fault on opening and closing of editor tabs

diff -r fb787f6cbe33 -r ee435a8546b9 PLCOpenEditor.py
--- a/PLCOpenEditor.py	Thu Mar 31 12:09:52 2011 +0200
+++ b/PLCOpenEditor.py	Thu Mar 31 17:36:52 2011 +0200
@@ -732,15 +732,7 @@
             window = self.TabsOpened.GetPage(selected)
             if not window.IsDebugging():
                 self.VariablePanelIndexer.RemoveVariablePanel(window.GetTagName())
-            # Refresh Tab selection
-            if self.TabsOpened.GetPageCount() > 0:
-                new_index = min(selected, self.TabsOpened.GetPageCount() - 1)
-                self.TabsOpened.SetSelection(new_index)
-                window = self.TabsOpened.GetPage(selected)
-                if not window.IsDebugging():
-                    self.VariablePanelIndexer.ChangeVariablePanel(window.GetTagName())
-        # Refresh all window elements that have changed
-        wx.CallAfter(self._Refresh, TITLE, TOOLBAR, FILEMENU, EDITMENU, DISPLAYMENU)
+        
         wx.CallAfter(self.RefreshTabCtrlEvent)
         event.Skip()
 
@@ -1575,7 +1567,6 @@
                     self.TabsOpened.SetSelection(i)
                     window.SetFocus()
                     self.RefreshPageTitles()
-                    self._Refresh(FILEMENU, EDITMENU, TOOLBAR)
     
     def OnTypesTreeRightUp(self, event):
         if wx.Platform == '__WXMSW__':