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

    Interface CancellationToken

    interface CancellationToken {
        isCancellationRequested: boolean;
        onCancellationRequested: Event<void>;
    }
    Index

    Properties

    isCancellationRequested

    Events

    onCancellationRequested

    Properties

    isCancellationRequested: boolean

    Events

    onCancellationRequested: Event<void>

    An event emitted when cancellation is requested

    Settings

    Member Visibility

    On This Page

    Properties
    Events