Interface TerminalProfileStore

interface TerminalProfileStore {
    all: [string, TerminalProfile][];
    onAdded: Event<[string, TerminalProfile]>;
    onRemoved: Event<string>;
    getProfile(id): undefined | TerminalProfile;
    hasProfile(id): boolean;
    registerTerminalProfile(id, profile): void;
    unregisterTerminalProfile(id): void;
}

Implemented by

DefaultProfileStore

Index

Properties

all onAdded onRemoved

Methods

getProfile hasProfile registerTerminalProfile unregisterTerminalProfile

Properties

`Readonly` all

all: [string, TerminalProfile][]

onAdded

onAdded: Event<[string, TerminalProfile]>

onRemoved

onRemoved: Event<string>

Methods

getProfile

getProfile(id): undefined | TerminalProfile
Parameters
- id: string
Returns undefined | TerminalProfile
- Defined in packages/terminal/src/browser/terminal-profile-service.ts:50

hasProfile

hasProfile(id): boolean
Parameters
- id: string
Returns boolean
- Defined in packages/terminal/src/browser/terminal-profile-service.ts:49

registerTerminalProfile

registerTerminalProfile(id, profile): void
Parameters
- id: string
- profile: TerminalProfile
Returns void
- Defined in packages/terminal/src/browser/terminal-profile-service.ts:47

unregisterTerminalProfile

unregisterTerminalProfile(id): void
Parameters
- id: string
Returns void
- Defined in packages/terminal/src/browser/terminal-profile-service.ts:48