public void OnWindowWorkDoneProgressCreate(int id, WorkDoneProgressCreateParams param)
{
//Todo: window/workDoneProgress/create
if (param_.logger.IsTraceEnabled)
{
param_.logger.Trace("Todo: window/workDoneProgress/create");
}
}
Task <Unit> IRequestHandler <WorkDoneProgressCreateParams, Unit> .Handle(WorkDoneProgressCreateParams request, CancellationToken cancellationToken)
{
if (request.Token != null)
{
Monitor(request.Token);
}
return(Unit.Task);
}
public abstract Task <Unit> Handle(WorkDoneProgressCreateParams request, CancellationToken cancellationToken);
public static async Task Create(this ILanguageServerWindowProgress mediator, WorkDoneProgressCreateParams @params, CancellationToken cancellationToken = default)
{
await mediator.SendRequest(@params, cancellationToken);
}
public static async Task Create(this ILanguageServerWindowProgress mediator, WorkDoneProgressCreateParams @params)
{
await mediator.SendRequest(WindowNames.WorkDoneProgressCreate, @params);
}
public override Task <Unit> Handle(WorkDoneProgressCreateParams request, CancellationToken cancellationToken) => _handler.Invoke(request, cancellationToken);
