Commit 27b7219b authored by mathieui's avatar mathieui
Browse files

Changes to the plugin_dir option are now taken into account on runtime

parent a1c3d0dc
......@@ -1993,6 +1993,9 @@ class Core(object):
# Remove all gaptabs if switching from gaps to nogaps
if option == 'create_gaps' and value.lower() == 'false':
self.tabs = list(filter(lambda x: bool(x), self.tabs))
elif option == 'plugins_dir':
path = os.path.expanduser(value)
self.information(msg, 'Info')
def completion_set(self, the_input):
......@@ -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:
plugins_dir = new_value
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment