| 76 | event.Skip() |
| 77 | |
| 78 | class TableNoteBook(aui.AuiNotebook): |
| 79 | def __init__(self, parent): |
| 80 | aui.AuiNotebook.__init__( self, parent, wx.ID_ANY, |
| 81 | wx.DefaultPosition, wx.DefaultSize, aui.AUI_NB_DEFAULT_STYLE ) |
| 82 | self.Bind( aui.EVT_AUINOTEBOOK_PAGE_CHANGED, self.on_pagevalid) |
| 83 | self.Bind( aui.EVT_AUINOTEBOOK_PAGE_CLOSE, self.on_close) |
| 84 | |
| 85 | def add_page(self, panel, tps): |
| 86 | self.AddPage(panel, tps.title, True, wx.NullBitmap ) |
| 87 | panel.set_handler(lambda tps, pan=panel: self.set_title(tps, pan)) |
| 88 | |
| 89 | def set_title(self, tps, panel): |
| 90 | title = tps.title |
| 91 | self.SetPageText(self.GetPageIndex(panel), title) |
| 92 | |
| 93 | def on_pagevalid(self, event): |
| 94 | TableManager.add(event.GetEventObject().GetPage(event.GetSelection()).tps) |
| 95 | |
| 96 | def on_close(self, event): |
| 97 | event.GetEventObject().GetPage(event.GetSelection()).set_handler() |
| 98 | event.GetEventObject().GetPage(event.GetSelection()).grid.set_handler() |
| 99 | WTableManager.remove(event.GetEventObject().GetPage(event.GetSelection())) |