--- 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()