Refactor the plugin registry

2019-07-16 12:48:54 +02:00
parent 8329e2e969
commit dea887d27d
6 changed files with 66 additions and 53 deletions
@@ -0,0 +1,10 @@
+"""
+This is not a plugin, this is just the place were plugins are registered.
+"""
+
+from jedi.plugins import stdlib
+from jedi.plugins import flask
+from jedi.plugins import plugin_manager
+
+
+plugin_manager.register(stdlib, flask)