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

    A service to mark a front end as unused. As soon as it disconnects from the back end, the connection context will be discarded.

    interface ConnectionCloseService {
        markForClose(frontEndId: string): Promise<void>;
    }
    Index

    Methods

    Methods