Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/terminal
browser/terminal-profile-service
TerminalProfileStore
Interface TerminalProfileStore
interface
TerminalProfileStore
{
all
:
[
string
,
TerminalProfile
]
[]
;
onAdded
:
Event
<
[
string
,
TerminalProfile
]
>
;
onRemoved
:
Event
<
string
>
;
getProfile
(
id
:
string
)
:
undefined
|
TerminalProfile
;
hasProfile
(
id
:
string
)
:
boolean
;
registerTerminalProfile
(
id
:
string
,
profile
:
TerminalProfile
)
:
void
;
unregisterTerminalProfile
(
id
:
string
)
:
void
;
}
Implemented by
DefaultProfileStore
Index
Properties
all
on
Added
on
Removed
Methods
get
Profile
has
Profile
register
Terminal
Profile
unregister
Terminal
Profile
Properties
Readonly
all
all
:
[
string
,
TerminalProfile
]
[]
on
Added
onAdded
:
Event
<
[
string
,
TerminalProfile
]
>
on
Removed
onRemoved
:
Event
<
string
>
Methods
get
Profile
getProfile
(
id
:
string
)
:
undefined
|
TerminalProfile
Parameters
id
:
string
Returns
undefined
|
TerminalProfile
has
Profile
hasProfile
(
id
:
string
)
:
boolean
Parameters
id
:
string
Returns
boolean
register
Terminal
Profile
registerTerminalProfile
(
id
:
string
,
profile
:
TerminalProfile
)
:
void
Parameters
id
:
string
profile
:
TerminalProfile
Returns
void
unregister
Terminal
Profile
unregisterTerminalProfile
(
id
:
string
)
:
void
Parameters
id
:
string
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
all
on
Added
on
Removed
Methods
get
Profile
has
Profile
register
Terminal
Profile
unregister
Terminal
Profile
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...