1048 self.EditMenu.Enable(wx.ID_SELECTALL, False) |
1048 self.EditMenu.Enable(wx.ID_SELECTALL, False) |
1049 self.EditMenu.Enable(ID_PLCOPENEDITOREDITMENUSEARCHINPROJECT, False) |
1049 self.EditMenu.Enable(ID_PLCOPENEDITOREDITMENUSEARCHINPROJECT, False) |
1050 self.EditMenu.Enable(wx.ID_ADD, False) |
1050 self.EditMenu.Enable(wx.ID_ADD, False) |
1051 self.EditMenu.Enable(wx.ID_DELETE, False) |
1051 self.EditMenu.Enable(wx.ID_DELETE, False) |
1052 |
1052 |
1053 def CloseTabsWithoutModel(self): |
1053 def CloseTabsWithoutModel(self, refresh=True): |
1054 idxs = range(self.TabsOpened.GetPageCount()) |
1054 idxs = range(self.TabsOpened.GetPageCount()) |
1055 idxs.reverse() |
1055 idxs.reverse() |
1056 for idx in idxs: |
1056 for idx in idxs: |
1057 window = self.TabsOpened.GetPage(idx) |
1057 window = self.TabsOpened.GetPage(idx) |
1058 if window.HasNoModel(): |
1058 if window.HasNoModel(): |
1059 self.TabsOpened.DeletePage(idx) |
1059 self.TabsOpened.DeletePage(idx) |
|
1060 if refresh: |
|
1061 self.RefreshEditor() |
1060 |
1062 |
1061 def OnUndoMenu(self, event): |
1063 def OnUndoMenu(self, event): |
1062 selected = self.TabsOpened.GetSelection() |
1064 selected = self.TabsOpened.GetSelection() |
1063 if selected != -1: |
1065 if selected != -1: |
1064 window = self.TabsOpened.GetPage(selected) |
1066 window = self.TabsOpened.GetPage(selected) |