Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/external-terminal
electron-browser/external-terminal-preference
ExternalTerminalPreferenceService
Class ExternalTerminalPreferenceService
Index
Constructors
constructor
Properties
preferences
preference
Schema
Provider
promised
Schema
Methods
do
Init
get
External
Terminal
Configuration
init
Constructors
constructor
new
ExternalTerminalPreferenceService
()
:
ExternalTerminalPreferenceService
Returns
ExternalTerminalPreferenceService
Properties
Protected
Readonly
preferences
preferences
:
ExternalTerminalPreferences
Protected
Readonly
preference
Schema
Provider
preferenceSchemaProvider
:
PreferenceSchemaService
Protected
Readonly
promised
Schema
promisedSchema
:
ExternalTerminalSchemaProvider
Methods
Protected
do
Init
doInit
()
:
Promise
<
void
>
Returns
Promise
<
void
>
get
External
Terminal
Configuration
getExternalTerminalConfiguration
()
:
ExternalTerminalConfiguration
Get the external terminal configurations from preferences.
Returns
ExternalTerminalConfiguration
Protected
init
init
()
:
void
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
preferences
preference
Schema
Provider
promised
Schema
Methods
do
Init
get
External
Terminal
Configuration
init
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...
Get the external terminal configurations from preferences.