Report indexing progress to the editor #1257

Closed

Closed

Report indexing progress to the editor#1257

Labels

background indexing

We should report the current indexing progress status to the editor via a WorkDoneProgress.

rdar://127474057

Metadata

Assignees

No one assigned

Labels

background indexing

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests