diff -r 71b57ed5223b -r f8445d00613d PLCOpenEditor.py --- 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()