You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Read plugins.jedi.extra_paths configuration also from files
Before this commit, plugins.jedi.extra_paths can be configured only
via Language Server Protocol didChangeConfiguration method.
This is inconvenient, if:
- it is difficult to issue LSP didChangeConfiguration method with
per-workspace configuration
- such configuration should be persisted inside workspace
This commit reads plugins.jedi.extra_paths configuration also from
project-level configuration "setup.cfg" and "tox.ini".
0 commit comments