Theia API Documentation v1.65.0
    Preparing search index...
    interface TerminalProfileStore {
        all: [string, TerminalProfile][];
        onAdded: Event<[string, TerminalProfile]>;
        onRemoved: Event<string>;
        getProfile(id: string): undefined | TerminalProfile;
        hasProfile(id: string): boolean;
        registerTerminalProfile(id: string, profile: TerminalProfile): void;
        unregisterTerminalProfile(id: string): void;
    }

    Implemented by

    Index

    Properties

    all: [string, TerminalProfile][]
    onAdded: Event<[string, TerminalProfile]>
    onRemoved: Event<string>

    Methods