Closed
Description
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:
📂site-packages
┗━📂my_package
┣━📜__init__.py
┣━📦extension_module.so
┗━📜extension_module.pyi
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,
# pylsp/plugins/definition.py
def _not_internal_definition(definition):
return True
but am wondering if there's been an update to exposing a configuration for them (preferably accessible in both JupyterLab and VSCode)?