Schedule a resize when hide_user_list changes

This commit is contained in:
mathieui 2015-07-22 20:04:29 +02:00
parent 65c6d600df
commit ce854e1712
No known key found for this signature in database
GPG key ID: C59F84CEEFD616E3

View file

@ -321,6 +321,8 @@ class Core(object):
self.on_nick_determinism_changed)
self.add_configuration_handler("enable_carbons",
self.on_carbons_switch)
self.add_configuration_handler("hide_user_list",
self.on_hide_user_list_change)
self.add_configuration_handler("", self.on_any_config_change)
@ -355,6 +357,12 @@ class Core(object):
for callback in self.configuration_change_handlers[option]:
callback(option, value)
def on_hide_user_list_change(self, option, value):
"""
Called when the hide_user_list option changes
"""
self.call_for_resize()
def on_bookmarks_method_config_change(self, option, value):
"""
Called when the use_bookmarks_method option changes