Interface NotificationExt

interface NotificationExt {
    $acceptProgressCanceled(progressId: string): void;
    withProgress<R>(
        options: ProgressOptions,
        task: (
            progress: Progress<{ increment?: number; message?: string }>,
            token: CancellationToken,
        ) => PromiseLike<R>,
    ): PromiseLike<R>;
}