(self, ips, panel)
| 188 | panel.set_handler(lambda ips, res, pan=panel: self.set_title(ips, pan)) |
| 189 | |
| 190 | def set_title(self, ips, panel): |
| 191 | title = ips.title + '' if ips.tool==None else ' [%s]'%ips.tool.title |
| 192 | self.SetPageText(self.GetPageIndex(panel), title) |
| 193 | |
| 194 | def on_pagevalid(self, event): |
| 195 | ImageManager.add(event.GetEventObject().GetPage(event.GetSelection()).ips) |