Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/terminal
browser/terminal-profile-service
DefaultTerminalProfileService
Class DefaultTerminalProfileService
Implements
TerminalProfileService
Index
Constructors
constructor
Properties
default
Profile
Index
on
Added
on
Added
Emitter
on
Did
Change
Default
Shell
on
Did
Change
Default
Shell
Emitter
on
Removed
on
Removed
Emitter
order
stores
Accessors
all
default
Profile
Methods
get
Id
get
Profile
handle
Added
handle
Removed
set
Default
Profile
Constructors
constructor
new
DefaultTerminalProfileService
(
...
stores
:
TerminalProfileStore
[]
,
)
:
DefaultTerminalProfileService
Parameters
...
stores
:
TerminalProfileStore
[]
Returns
DefaultTerminalProfileService
Properties
Protected
default
Profile
Index
defaultProfileIndex
:
number
= 0
on
Added
onAdded
:
Event
<
string
>
= ...
Protected
Readonly
on
Added
Emitter
onAddedEmitter
:
Emitter
<
string
>
= ...
on
Did
Change
Default
Shell
onDidChangeDefaultShell
:
Event
<
string
>
= ...
Protected
Readonly
on
Did
Change
Default
Shell
Emitter
onDidChangeDefaultShellEmitter
:
Emitter
<
string
>
= ...
on
Removed
onRemoved
:
Event
<
string
>
= ...
Protected
Readonly
on
Removed
Emitter
onRemovedEmitter
:
Emitter
<
string
>
= ...
Protected
order
order
:
string
[]
= []
Protected
Readonly
stores
stores
:
TerminalProfileStore
[]
Accessors
all
get
all
()
:
[
string
,
TerminalProfile
]
[]
Returns
[
string
,
TerminalProfile
]
[]
default
Profile
get
defaultProfile
()
:
undefined
|
TerminalProfile
Returns
undefined
|
TerminalProfile
Methods
get
Id
getId
(
profile
:
TerminalProfile
)
:
undefined
|
string
Parameters
profile
:
TerminalProfile
Returns
undefined
|
string
get
Profile
getProfile
(
id
:
string
)
:
undefined
|
TerminalProfile
Parameters
id
:
string
Returns
undefined
|
TerminalProfile
handle
Added
handleAdded
(
id
:
string
)
:
void
Parameters
id
:
string
Returns
void
handle
Removed
handleRemoved
(
id
:
string
)
:
void
Parameters
id
:
string
Returns
void
set
Default
Profile
setDefaultProfile
(
id
:
string
)
:
void
Parameters
id
:
string
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
default
Profile
Index
on
Added
on
Added
Emitter
on
Did
Change
Default
Shell
on
Did
Change
Default
Shell
Emitter
on
Removed
on
Removed
Emitter
order
stores
Accessors
all
default
Profile
Methods
get
Id
get
Profile
handle
Added
handle
Removed
set
Default
Profile
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...