From 27b7219b79280885128e82c0fcf0acdc8ed2eb26 Mon Sep 17 00:00:00 2001 From: mathieui Date: Sat, 17 Nov 2012 23:06:21 +0100 Subject: Changes to the plugin_dir option are now taken into account on runtime --- src/plugin_manager.py | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/plugin_manager.py') diff --git a/src/plugin_manager.py b/src/plugin_manager.py index 4c3007cc..ef0fae08 100644 --- a/src/plugin_manager.py +++ b/src/plugin_manager.py @@ -262,3 +262,10 @@ class PluginManager(object): completion function that completes the name of the plugins that are loaded """ return the_input.auto_completion(list(self.plugins.keys()), '', quotify=False) + + def on_plugins_dir_change(self, new_value): + global plugins_dir + if plugins_dir in sys.path: + sys.path.remove(plugins_dir) + sys.path.append(new_value) + plugins_dir = new_value -- cgit v1.2.3