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()