Traceback (most recent call last): File "/usr/share/emesene/gui/gtkui/MainMenu.py", line 288, in lambda *args: handler.on_preferences_selected()) File "/usr/share/emesene/gui/base/Handler.py", line 133, in on_preferences_selected self.session) File "/usr/share/emesene/extension.py", line 621, in get_and_instantiate return extension_manager.get_and_instantiate(category_name, *args, **kwargs) File "/usr/share/emesene/extension.py", line 492, in get_and_instantiate return category.get_and_instantiate(*args, **kwargs) File "/usr/share/emesene/extension.py", line 310, in get_and_instantiate inst = cls(*args, **kwargs) File "/usr/share/emesene/gui/gtkui/Preferences.py", line 112, in __init__ self.general = GeneralTab(session) File "/usr/share/emesene/gui/gtkui/Preferences.py", line 1292, in __init__ 'session.config.b_check_for_updates') File "/usr/share/emesene/gui/gtkui/Preferences.py", line 460, in append_check widget = self.create_check(text, property_name) File "/usr/share/emesene/gui/gtkui/Preferences.py", line 452, in create_check widget.set_active(default) TypeError: an integer is required