PLCOpenEditor.py
changeset 631 e4dd5bf1f1db
parent 625 b7062a7018ec
child 635 dbcb8e2d2730
equal deleted inserted replaced
630:9d7e38e271cb 631:e4dd5bf1f1db
   482                   BestSize(wx.Size(250, 400)).CloseButton(False))
   482                   BestSize(wx.Size(250, 400)).CloseButton(False))
   483             
   483             
   484             self.TabsOpened = wx.aui.AuiNotebook(self, ID_PLCOPENEDITORTABSOPENED, 
   484             self.TabsOpened = wx.aui.AuiNotebook(self, ID_PLCOPENEDITORTABSOPENED, 
   485                   style=wx.aui.AUI_NB_DEFAULT_STYLE|wx.aui.AUI_NB_WINDOWLIST_BUTTON)
   485                   style=wx.aui.AUI_NB_DEFAULT_STYLE|wx.aui.AUI_NB_WINDOWLIST_BUTTON)
   486             self.TabsOpened.Bind(wx.aui.EVT_AUINOTEBOOK_PAGE_CHANGING,
   486             self.TabsOpened.Bind(wx.aui.EVT_AUINOTEBOOK_PAGE_CHANGING,
       
   487                     self.OnPouSelectedChanging)
       
   488             self.TabsOpened.Bind(wx.aui.EVT_AUINOTEBOOK_PAGE_CHANGED,
   487                     self.OnPouSelectedChanged)
   489                     self.OnPouSelectedChanged)
   488             self.TabsOpened.Bind(wx.aui.EVT_AUINOTEBOOK_PAGE_CLOSE,
   490             self.TabsOpened.Bind(wx.aui.EVT_AUINOTEBOOK_PAGE_CLOSE,
   489                     self.OnPageClose)
   491                     self.OnPageClose)
   490             self.TabsOpened.Bind(wx.aui.EVT_AUINOTEBOOK_END_DRAG,
   492             self.TabsOpened.Bind(wx.aui.EVT_AUINOTEBOOK_END_DRAG,
   491                     self.OnPageDragged)
   493                     self.OnPageDragged)
   524                   name='TabsOpened', parent=self.ThirdSplitter, pos=wx.Point(0,
   526                   name='TabsOpened', parent=self.ThirdSplitter, pos=wx.Point(0,
   525                   0), size=wx.Size(0, 0), style=0)
   527                   0), size=wx.Size(0, 0), style=0)
   526             self.TabsOpened.SetImageList(self.TabsImageList)
   528             self.TabsOpened.SetImageList(self.TabsImageList)
   527             if wx.VERSION >= (2, 6, 0):
   529             if wx.VERSION >= (2, 6, 0):
   528                 self.TabsOpened.Bind(wx.EVT_NOTEBOOK_PAGE_CHANGING,
   530                 self.TabsOpened.Bind(wx.EVT_NOTEBOOK_PAGE_CHANGING,
       
   531                     self.OnPouSelectedChanging, id=ID_PLCOPENEDITORTABSOPENED)
       
   532                 self.TabsOpened.Bind(wx.EVT_NOTEBOOK_PAGE_CHANGED,
   529                     self.OnPouSelectedChanged, id=ID_PLCOPENEDITORTABSOPENED)
   533                     self.OnPouSelectedChanged, id=ID_PLCOPENEDITORTABSOPENED)
   530             else:
   534             else:
   531                 wx.EVT_NOTEBOOK_PAGE_CHANGING(self.TabsOpened, ID_PLCOPENEDITORTABSOPENED,
   535                 wx.EVT_NOTEBOOK_PAGE_CHANGING(self.TabsOpened, ID_PLCOPENEDITORTABSOPENED,
       
   536                     self.OnPouSelectedChanging)
       
   537                 wx.EVT_NOTEBOOK_PAGE_CHANGED(self.TabsOpened, ID_PLCOPENEDITORTABSOPENED,
   532                     self.OnPouSelectedChanged)
   538                     self.OnPouSelectedChanged)
   533             
   539             
   534             self.RightNoteBook = wx.Notebook(id=ID_PLCOPENEDITORRIGHTNOTEBOOK,
   540             self.RightNoteBook = wx.Notebook(id=ID_PLCOPENEDITORRIGHTNOTEBOOK,
   535                   name='RightNoteBook', parent=self.ThirdSplitter, pos=wx.Point(0,
   541                   name='RightNoteBook', parent=self.ThirdSplitter, pos=wx.Point(0,
   536                   0), size=wx.Size(0, 0), style=0)
   542                   0), size=wx.Size(0, 0), style=0)
  1199                 pane = self.AUIManager.GetPane(self.TabsOpened)
  1205                 pane = self.AUIManager.GetPane(self.TabsOpened)
  1200                 if pane.IsMaximized():
  1206                 if pane.IsMaximized():
  1201                     self.AUIManager.RestorePane(pane)
  1207                     self.AUIManager.RestorePane(pane)
  1202                 self.AUIManager.Update()
  1208                 self.AUIManager.Update()
  1203     
  1209     
  1204     def OnPouSelectedChanged(self, event):
  1210     def OnPouSelectedChanging(self, event):
  1205         old_selected = self.TabsOpened.GetSelection()
  1211         selected = self.TabsOpened.GetSelection()
  1206         if old_selected >= 0:
  1212         if selected >= 0:
  1207             window = self.TabsOpened.GetPage(old_selected)
  1213             window = self.TabsOpened.GetPage(selected)
  1208             if not window.IsDebugging():
  1214             if not window.IsDebugging():
  1209                 window.ResetBuffer()
  1215                 window.ResetBuffer()
  1210         selected = event.GetSelection()
  1216         event.Skip()
       
  1217     
       
  1218     def OnPouSelectedChanged(self, event):
       
  1219         selected = self.TabsOpened.GetSelection()
  1211         if selected >= 0:
  1220         if selected >= 0:
  1212             window = self.TabsOpened.GetPage(selected)
  1221             window = self.TabsOpened.GetPage(selected)
  1213             if not window.IsDebugging():
  1222             if not window.IsDebugging():
  1214                 wx.CallAfter(self.SelectTypesTreeItem, window.GetTagName())
  1223                 wx.CallAfter(self.SelectTypesTreeItem, window.GetTagName())
  1215             else:
  1224             else: