Decrease the amount of hover info shown when using Jedi #22354
|
Is there a way to remove the
|
Answered by
brettcannon
Oct 26, 2023
Replies: 1 comment
|
That information comes from the Jedi language server, so that would be a question for them. |
0 replies
Answer selected by
xshapira
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
That information comes from the Jedi language server, so that would be a question for them.