manager.py 文件源码

def remRunningPage(self, page):
        """Remove a page and stop current source if
        number of running pages reaches zero.
        """
        self.runningPages.remove(page)

        if self.getNRunningPages() == 0:
            self.src.stop()

        if self.statusPanel is not None:
            wx.PostEvent(self.statusPanel, events.UpdateStatusEvent(id=wx.ID_ANY))