Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-ext
PluginPackageTerminal
Interface PluginPackageTerminal
interface
PluginPackageTerminal
{
profiles
:
PluginPackageTerminalProfile
[]
;
}
Index
Properties
profiles
Properties
profiles
profiles
:
PluginPackageTerminalProfile
[]
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
profiles
Theia TypeDoc
Loading...