Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-protocol
Localization
Interface Localization
interface
Localization
{
languageId
:
string
;
languageName
?:
string
;
localizedLanguageName
?:
string
;
minimalTranslations
?:
{
[
key
:
string
]:
string
}
;
translations
:
Translation
[]
;
}
Index
Properties
language
Id
language
Name?
localized
Language
Name?
minimal
Translations?
translations
Properties
language
Id
languageId
:
string
Optional
language
Name
languageName
?:
string
Optional
localized
Language
Name
localizedLanguageName
?:
string
Optional
minimal
Translations
minimalTranslations
?:
{
[
key
:
string
]:
string
}
translations
translations
:
Translation
[]
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
language
Id
language
Name
localized
Language
Name
minimal
Translations
translations
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...