Decrease the amount of hover info shown when using Jedi #22354
-
Is there a way to remove the |
Beta Was this translation helpful? Give feedback.
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. |
Beta Was this translation helpful? Give feedback.
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.