Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-ext
TerminalProfile
Interface TerminalProfile
interface
TerminalProfile
{
icon
?:
string
;
id
:
string
;
title
:
string
;
}
Index
Properties
icon?
id
title
Properties
Optional
icon
icon
?:
string
id
id
:
string
title
title
:
string
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
icon
id
title
Theia TypeDoc
Loading...