(self, panel, ips)
| 183 | self.GetAuiManager().SetArtProvider(ImgArtProvider(img)) |
| 184 | |
| 185 | def add_page(self, panel, ips): |
| 186 | self.AddPage(panel, ips.title, True, wx.NullBitmap ) |
| 187 | self.Refresh() |
| 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 |
nothing calls this directly
no test coverage detected