PLCOpenEditor.py
changeset 654 f8445d00613d
parent 651 34c1fa1a89a9
child 656 ff38b7250b64
--- a/PLCOpenEditor.py	Sun Mar 18 15:35:07 2012 +0100
+++ b/PLCOpenEditor.py	Sun Mar 18 15:37:04 2012 +0100
@@ -1050,13 +1050,15 @@
             self.EditMenu.Enable(wx.ID_ADD, False)
             self.EditMenu.Enable(wx.ID_DELETE, False)
     
-    def CloseTabsWithoutModel(self):
+    def CloseTabsWithoutModel(self, refresh=True):
         idxs = range(self.TabsOpened.GetPageCount())
         idxs.reverse()
         for idx in idxs:
             window = self.TabsOpened.GetPage(idx)
             if window.HasNoModel():
                 self.TabsOpened.DeletePage(idx)
+        if refresh:
+            self.RefreshEditor()
 
     def OnUndoMenu(self, event):
         selected = self.TabsOpened.GetSelection()