Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
LanguageStatus
Interface LanguageStatus
interface
LanguageStatus
{
accessibilityInfo
:
undefined
|
AccessibilityInformation
;
busy
:
boolean
;
command
:
undefined
|
Command
;
detail
:
string
;
id
:
string
;
label
:
string
;
name
:
string
;
selector
:
SerializedDocumentFilter
[]
;
severity
:
Severity
;
source
:
string
;
}
Index
Properties
accessibility
Info
busy
command
detail
id
label
name
selector
severity
source
Properties
Readonly
accessibility
Info
accessibilityInfo
:
undefined
|
AccessibilityInformation
Readonly
busy
busy
:
boolean
Readonly
command
command
:
undefined
|
Command
Readonly
detail
detail
:
string
Readonly
id
id
:
string
Readonly
label
label
:
string
Readonly
name
name
:
string
Readonly
selector
selector
:
SerializedDocumentFilter
[]
Readonly
severity
severity
:
Severity
Readonly
source
source
:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
accessibility
Info
busy
command
detail
id
label
name
selector
severity
source
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...