Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-protocol
PluginPackageGrammarsContribution
Interface PluginPackageGrammarsContribution
interface
PluginPackageGrammarsContribution
{
embeddedLanguages
?:
ScopeMap
;
injectTo
?:
string
[]
;
language
?:
string
;
path
:
string
;
scopeName
:
string
;
tokenTypes
?:
ScopeMap
;
}
Index
Properties
embedded
Languages?
inject
To?
language?
path
scope
Name
token
Types?
Properties
Optional
embedded
Languages
embeddedLanguages
?:
ScopeMap
Optional
inject
To
injectTo
?:
string
[]
Optional
language
language
?:
string
path
path
:
string
scope
Name
scopeName
:
string
Optional
token
Types
tokenTypes
?:
ScopeMap
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
embedded
Languages
inject
To
language
path
scope
Name
token
Types
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...