#
# config/settings.py.  Generated from settings.py.in by configure.
# Module for holding runtime settings.
#

check_for_updates_visible = False
check_for_updates = True
show_tray_icon = True
show_load_splash = False
dpi = 96
editor = "gnome-text-editor"
float_key = (96, 1)  # <Shift> <F12>
