Force a resize of the interface whenever we /set something.

This avoid some garbage on the screen when we set an option that changes the
behaviour of the UI.
This commit is contained in:
Florent Le Coz 2012-11-30 13:51:41 +01:00
parent 5bfbbb2c24
commit 7b9ee9cdb7

View file

@ -1997,6 +1997,7 @@ class Core(object):
elif option == 'plugins_dir':
path = os.path.expanduser(value)
self.plugin_manager.on_plugins_dir_change(path)
self.call_for_resize()
self.information(msg, 'Info')
def completion_set(self, the_input):