Theia API Documentation v1.65.0
    Preparing search index...

    Implements

    Index

    Constructors

    Properties

    onAdded: Event<[string, TerminalProfile]> = ...
    onAddedEmitter: Emitter<[string, TerminalProfile]> = ...
    onRemoved: Event<string> = ...
    onRemovedEmitter: Emitter<string> = ...
    profiles: Map<string, TerminalProfile> = ...

    Accessors

    Methods