builtin scope doesn't load by default anymore. This makes Jedi faster at startup. -> jedi issue 7

2012-10-17 21:26:29 +02:00
parent 25229561fe
commit 3838b5482e
5 changed files with 25 additions and 14 deletions
--- a/jedi/api.py
+++ b/jedi/api.py
@@ -251,7 +251,7 @@ class Script(object):
            if (not scopes or not isinstance(scopes[0], imports.ImportPath)) \
                        and not path:
                # add keywords
-                bs = builtin.builtin_scope
+                bs = builtin.Builtin.scope
                completions += ((k, bs) for k in keywords.get_keywords(
                                                                    all=True))