Interface TerminalProfileService

interface TerminalProfileService {
    all: [string, TerminalProfile][];
    defaultProfile: undefined | TerminalProfile;
    onAdded: Event<string>;
    onDidChangeDefaultShell: Event<string>;
    onRemoved: Event<string>;
    getProfile(id: string): undefined | TerminalProfile;
    setDefaultProfile(id: string): void;
}

Implemented by

DefaultTerminalProfileService

Index

Properties

all defaultProfile onAdded onDidChangeDefaultShell onRemoved

Methods

getProfile setDefaultProfile

Properties

`Readonly`all

all: [string, TerminalProfile][]

`Readonly`defaultProfile

defaultProfile: undefined | TerminalProfile

onAdded

onAdded: Event<string>

`Readonly`onDidChangeDefaultShell

onDidChangeDefaultShell: Event<string>

onRemoved

onRemoved: Event<string>

Methods

getProfile

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

setDefaultProfile

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