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)