diff options
| author | Florent Le Coz <louiz@louiz.org> | 2012-11-30 13:51:41 +0100 |
|---|---|---|
| committer | Florent Le Coz <louiz@louiz.org> | 2012-11-30 15:14:47 +0100 |
| commit | 7b9ee9cdb706c2ab2b7c9a32cb022f389166f417 (patch) | |
| tree | 4b6f32b70c75ef9de23ac6333c9d1a732a26f10d | |
| parent | 5bfbbb2c245ac8eb16268856d8c06559ced1a7fe (diff) | |
| download | poezio-7b9ee9cdb706c2ab2b7c9a32cb022f389166f417.tar.gz poezio-7b9ee9cdb706c2ab2b7c9a32cb022f389166f417.tar.bz2 poezio-7b9ee9cdb706c2ab2b7c9a32cb022f389166f417.tar.xz poezio-7b9ee9cdb706c2ab2b7c9a32cb022f389166f417.zip | |
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.
| -rw-r--r-- | src/core.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core.py b/src/core.py index 335c0181..1a1ff433 100644 --- a/src/core.py +++ b/src/core.py @@ -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): |