def hide_spinner(self): if self.search_button.get_active(): self.search_button.set_active(False) self.search_button.set_sensitive(True) self._spinner.stop() self.set_title(wikiview.get_title()) self.set_custom_title(None)
def _add_bookmark_cb(self, action, parameter): if not wikiview.is_local(): uri = wikiview.get_base_uri() title = wikiview.get_title() lang = wikiview.get_lang() if self.headerbar.bookmarks_popover.add_bookmark(uri, title, lang): if self.headerbar.bookmarks_popover.is_visible(): self.headerbar.bookmarks_popover.bookmarks_list.show_all() else: message = _('New bookmark: ') + title self.show_notification(message)
def _wikiview_load_changed_cb(self, wikiview, event): if event == WebKit2.LoadEvent.STARTED: if self.search_bar.get_search_mode(): self.search_bar.set_search_mode(False) self.headerbar.toc_button.set_sensitive(False) self.headerbar.langlinks_button.set_sensitive(False) elif event == WebKit2.LoadEvent.FINISHED: self.headerbar.hide_spinner() props = wikiview.get_props() self.headerbar.set_page_menus(props) if settings.get_boolean( 'keep-historic') and not wikiview.is_local(): historic.add(wikiview.get_base_uri(), wikiview.get_title(), wikiview.get_lang())
def _add_button_clicked_cb(self, add_button): uri = wikiview.get_base_uri() title = wikiview.get_title() lang = wikiview.get_lang() if self.add_bookmark(uri, title, lang): self.bookmarks_list.show_all()