Skip to content

Display documentation of completion item - #263

Merged
katauber merged 1 commit into
mainfrom
262-displayDetailsAndDocumentation
Jul 9, 2026
Merged

Display documentation of completion item#263
katauber merged 1 commit into
mainfrom
262-displayDetailsAndDocumentation

Conversation

@katauber

Copy link
Copy Markdown
Member

Displays by server delivered documentation as documentation instead of details twice.
Resolves #262

@katauber
katauber requested a review from fsteeg July 7, 2026 07:19
@fsteeg fsteeg assigned katauber and unassigned fsteeg Jul 8, 2026
@katauber
katauber merged commit 7cf905a into main Jul 9, 2026
2 of 7 checks passed
@katauber
katauber deleted the 262-displayDetailsAndDocumentation branch July 9, 2026 06:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Display details and documentation of language server

2 participants