def _quit_cb(self, action, parameter): if self._window.is_maximized(): settings.set_boolean('window-max', True) else: settings.set_boolean('window-max', False) size = self._window.get_size() settings.set_int('window-width', size[0]) settings.set_int('window-height', size[1]) if self._window.page.wikiview.is_local(): settings.set_string('last-uri', '') else: settings.set_string('last-uri', self._window.page.wikiview.get_base_uri()) settings.sync() languages.save() if not settings.get_boolean('keep-historic'): historic.clear() historic.save() bookmarks.save() self.quit()
def _window_delete_cb(self, window, event): if window.is_maximized(): settings.set_boolean('window-max', True) else: settings.set_boolean('window-max', False) size = window.get_size() settings.set_int('window-width', size[0]) settings.set_int('window-height', size[1]) if wikiview.is_local(): settings.set_string('last-uri', '') else: settings.set_string('last-uri', wikiview.get_base_uri()) settings.sync() languages.save() if not settings.get_boolean('keep-historic'): historic.clear() historic.save() if settings.get_boolean('clear-bookmarks'): bookmarks.clear() bookmarks.save() self.quit()
def _theme_sepia(self, action, parameter): self._style_manager.set_color_scheme(Handy.ColorScheme.FORCE_LIGHT) settings.set_int('theme', 2)
def _theme_dark(self, action, parameter): self._style_manager.set_color_scheme(Handy.ColorScheme.FORCE_DARK) settings.set_int('theme', 1)
def _theme_system(self, action, parameter): self._style_manager.set_color_scheme(Handy.ColorScheme.PREFER_LIGHT) settings.set_int('theme', 3)