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.
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: