This repository has been archived by the owner on Dec 24, 2020. It is now read-only.
Change jedi source shortcut? #35
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
It seems like the shortcut for jedi is hardcoded to
JD. Is there a way to change this? settingjedi.shortcutorcoc.source.jedi.shortcutdon't seem to work.The text was updated successfully, but these errors were encountered: