Preparing search index...
The search index is not available

Theia TypeDoc
plugin-ext
PluginPackageTerminal

Interface PluginPackageTerminal

interface PluginPackageTerminal {
profiles: PluginPackageTerminalProfile[];
}

Defined in packages/plugin-ext/src/common/plugin-protocol.ts:140

Index

Properties

Properties

profiles

profiles: PluginPackageTerminalProfile[]

Defined in packages/plugin-ext/src/common/plugin-protocol.ts:141

Settings

Member Visibility

Protected
Private
Inherited

Theme

On This Page

Loading...