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

    A cancellation token used to request cancellation on long running or asynchronous task.

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

    Properties

    isCancellationRequested: boolean

    Events

    onCancellationRequested: Event<any>

    An event emitted when cancellation is requested