Skip to content

Do not prefix message with "[eglot]"#97

Merged
xvw merged 1 commit into
tarides:mainfrom
janestreet:fix-message
May 26, 2026
Merged

Do not prefix message with "[eglot]"#97
xvw merged 1 commit into
tarides:mainfrom
janestreet:fix-message

Conversation

@bcc32

@bcc32 bcc32 commented May 26, 2026

Copy link
Copy Markdown
Contributor

That causes the output to look substantially uglier, and also is
misleading (the message did not come from Eglot or the language
server---it came from this package instead).

@xvw

xvw commented May 26, 2026

Copy link
Copy Markdown
Member

Thanks !

@xvw xvw merged commit 1edc885 into tarides:main May 26, 2026
5 checks passed
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.

2 participants