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
I'm using Jupyter Lab's Jump to definition, and PR palantir/python-language-server#687 completely disables jumping to 📜extension_module.pyi for the following package arrangement:
Personally, I also find the behaviour in the PR (disabling jumping to the Python standard library builtins stubs) quite frustrating, as I frequently refer to the Python standard library's stubs.
I've temporarily disabled the behaviour by making the following change,