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.

    Implements

    Index

    Constructors

    Properties

    Methods

    Constructors

    Properties

    id: string = ...

    Methods