def show(self):
self.initial_options = dict(
fullscreen = gg.fullscreen,
sound = not g.nosound,
grab = pygame.event.get_grab(),
daynight = g.daynight,
resolution = gg.screen_size,
language = g.language,
)
self.set_options(self.initial_options)
retval = super(OptionsScreen, self).show()
if retval:
if self.resolution_custom.active:
try:
old_size = gg.screen_size
gg.set_screen_size((int(self.resolution_custom_horiz.text),
int(self.resolution_custom_vert.text)))
if gg.screen_size != old_size:
dialog.Dialog.top.needs_resize = True
except ValueError:
pass
save_options()
else:
# Cancel, revert all options to initial state
self.set_options(self.initial_options)
return retval
def show(self):
self.initial_options = dict(
fullscreen=gg.fullscreen,
sound=not g.nosound,
grab=pygame.event.get_grab(),
daynight=g.daynight,
resolution=gg.screen_size,
language=g.language,
)
self.set_options(self.initial_options)
retval = super(OptionsScreen, self).show()
if retval:
if self.resolution_custom.active:
try:
old_size = gg.screen_size
gg.set_screen_size((int(self.resolution_custom_horiz.text),
int(self.resolution_custom_vert.text)))
if gg.screen_size != old_size:
dialog.Dialog.top.needs_resize = True
except ValueError:
pass
save_options()
else:
# Cancel, revert all options to initial state
self.set_options(self.initial_options)
return retval
def apply_options(self):
if self.resolution_custom.active:
try:
old_size = gg.screen_size
gg.set_screen_size((int(self.resolution_custom_horiz.text),
int(self.resolution_custom_vert.text)))
if gg.screen_size != old_size:
dialog.Dialog.top.needs_resize = True
except ValueError:
pass
def apply_options(self):
if self.resolution_custom.active:
try:
old_size = gg.screen_size
gg.set_screen_size((int(self.resolution_custom_horiz.text),
int(self.resolution_custom_vert.text)))
if gg.screen_size != old_size:
dialog.Dialog.top.needs_resize = True
except ValueError:
pass
def set_resolution(self, value):
if gg.screen_size != value:
gg.set_screen_size(value)
dialog.Dialog.top.needs_resize = True
def set_resolution(self, value):
if gg.screen_size != value:
gg.set_screen_size(value)
dialog.Dialog.top.needs_resize = True
sys.stderr.write("Invalid or missing 'soundbuf' setting in preferences.\n")
xres, yres = (0, 0)
try:
xres = prefs.getint("Preferences", "xres")
except Exception:
sys.stderr.write("Invalid or missing 'xres' resolution in preferences.\n")
try:
yres = prefs.getint("Preferences", "yres")
except Exception:
sys.stderr.write("Invalid or missing 'yres' resolution in preferences.\n")
if xres and yres:
gg.set_screen_size((xres, yres))
try:
set_theme = prefs.get("Preferences", "theme")
except Exception:
pass # don't be picky (for now...)
for name in mixer.itervolumes():
try:
volume = prefs.getint("Preferences", name + "_volume")
except Exception:
# Work around old preferences where a float was stored by mistake
try:
volume = prefs.getfloat("Preferences", name + "_volume")
except Exception:
continue
