SemanticTokensWorkspaceSetting.RefreshSupport Property
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Gets or sets a value indicating whether the client implementation supports a refresh request sent from the server to the client.
[Newtonsoft.Json.JsonProperty(DefaultValueHandling=Newtonsoft.Json.DefaultValueHandling.Ignore)]
[System.Runtime.Serialization.DataMember(Name="refreshSupport")]
public bool RefreshSupport { get; set; }[<Newtonsoft.Json.JsonProperty(DefaultValueHandling=Newtonsoft.Json.DefaultValueHandling.Ignore)>]
[<System.Runtime.Serialization.DataMember(Name="refreshSupport")>]
member this.RefreshSupport : bool with get, setPublic Property RefreshSupport As BooleanProperty Value
- Attributes
-
Newtonsoft.Json.JsonPropertyAttribute DataMemberAttribute
Remarks
Note that this event is global and will force the client to refresh all semantic tokens currently shown.It should be used with absolute care and is useful for situation where a server for example detect a project wide change that requires such a calculation.