Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
plugin/types-impl
SemanticTokensEdits
Class SemanticTokensEdits
Index
Constructors
constructor
Properties
edits
result
Id
Constructors
constructor
new
SemanticTokensEdits
(
edits
:
SemanticTokensEdit
[]
,
resultId
?:
string
,
)
:
SemanticTokensEdits
Parameters
edits
:
SemanticTokensEdit
[]
Optional
resultId
:
string
Returns
SemanticTokensEdits
Properties
Readonly
edits
edits
:
SemanticTokensEdit
[]
Readonly
result
Id
resultId
:
undefined
|
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
edits
result
Id
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...