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

    Provides a terminal profile for the contributed terminal profile when launched via the UI or command.

    interface TerminalProfileProvider {
        provideTerminalProfile(
            token: CancellationToken,
        ): ProviderResult<TerminalProfile>;
    }
    Index

    Methods