def on_provider_added(self, provider):
if provider.name is None:
logger.warn("Ignoring improperly initialized panel provider: %s",
provider)
return
panel = provider.get_panel()
panel.show()
tab = notebook.NotebookTab(self, panel, vertical=True)
tab.provider = provider
item = menu.check_menu_item(
provider.name, [], panel.get_page_name(),
lambda *a: self.panels[provider.name].shown,
lambda *a: self.toggle_panel(provider.name))
providers.register('panel-tab-context', item)
self.add_tab(tab, panel)
self.panels[provider.name] = PanelData(tab, provider,
self.get_n_pages() - 1, item)
self.save_panel_settings()
def on_provider_added(self, provider):
if provider.name is None:
logger.warn("Ignoring improperly initialized panel provider: %s" %
provider)
return
panel = provider.get_panel()
panel.show()
tab = notebook.NotebookTab(self, panel, display_left=True)
panel.tab_menu = self.view_menu
tab.provider = provider
item = menu.check_menu_item(
provider.name, [], panel.get_page_name(),
lambda *a: self.panels[provider.name].shown,
lambda *a: self.toggle_panel(provider.name))
self.view_menu.add_item(item)
self.add_tab(tab, panel)
self.panels[provider.name] = PanelData(tab, provider,
self.get_n_pages() - 1, item)
self.save_panel_settings()