microsoft / microsoft/language-server-protocol

Allow server to clear a ShowMessage notifications, via timeout or token

Open
#1,840 0 comments 3 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

feature-request show message
Dominant language
TypeScript
Stars
13k
Forks
1k
Avg merge
6d 1h
Merged PRs (30d)
10

Description

When sending a ShowMessage notification, currently the user must clear the message and the protocol does not include a way for the server to clear the message after it has been sent. To give the server more control over these messages, it would be helpful to be able to set a message timeout or provide a way for the server to send a follow-up notification to clear a given message.

There a few possibilities that could be considered:

  • Include a timeout with the message that the client should respect
  • Allow a token to be set with the ShowMessage request that can then be used by the server to later clear the message
  • Use Progress notifications and add a way to have it show a more static looking message that can be updated/cleared.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the ShowMessage notification and Progress notification options described in the issue. Compare timeout, token-based clearing, and progress-based behavior, then define the selected protocol change and the server and client behavior that establishes when a message is cleared.

Written by the indexing model from the issue text.

Assessment

Tech stack
typescript
Domain
api, developer-experience
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.