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

    A FrontendIdProvider computes an id for an instance of the front end that may be reconnected to a back end connection context.

    interface FrontendIdProvider {
        getId(): string;
    }

    Implemented by

    Index

    Methods

    Methods