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
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,
I'm using Jupyter Lab's
Jump to definition
, and PR #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,
but am wondering if there's been an update to exposing a configuration for them (preferably accessible in both JupyterLab and VSCode)?
The text was updated successfully, but these errors were encountered: