fix label:set_global_options

This commit is contained in:
Martijn Voncken 2008-07-12 13:20:49 +00:00
parent cce3783c3f
commit f247884e66

View File

@ -364,7 +364,7 @@ class Core(CorePluginBase):
"""
for key in ["hide_zero_hits", "gtk_alfa"]:
if options.has_key(key):
self.config.set(key, key)
self.config.set(key, options[key])
self.config.save()