SemanticTokensRegistrationOptions

case class SemanticTokensRegistrationOptions(documentSelector: Opt[DocumentSelector], legend: SemanticTokensLegend, range: Opt[Boolean | S0], full: Opt[Boolean | S1], id: Opt[String])
Value parameters:
documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

full

Server supports providing semantic tokens for a full document.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

legend

The legend used by the server

range

Server supports providing semantic tokens for a specific range of a document.

Since:

3.16.0

Companion:
object
Source:
structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product