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

Theia TypeDoc
plugin-ext
TabInputDto

Interface TabInputDto

interface TabInputDto {
kind: TerminalEditorInput;
}

Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:2162

Index

Properties

Properties

kind

kind: TerminalEditorInput

Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:2163

Settings

Member Visibility

Protected
Private
Inherited

Theme

On This Page

Loading...