New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Handle workspace/didChangeWatchedFiles with deleted files #170

Closed
wants to merge 1 commit into
base: master
from

Conversation

Projects
None yet
1 participant
@MaskRay
Copy link
Owner

MaskRay commented Dec 21, 2018

@CXuesong

Handle workspace/didChangeWatchedFiles with deleted files

  • In the "initialize" callback, send client/registerCapability with DidChangeWatchedFilesRegistrationOptions
  • In workspace/didChangeWatchedFiles callback, call pipeline::Index
  • In pipeline::Index, add a deleted status

@MaskRay MaskRay force-pushed the delete branch 3 times, most recently from 67b6dec to 370b9b2 Dec 21, 2018

@MaskRay MaskRay force-pushed the master branch from 13af1fc to 698a0c6 Dec 22, 2018

@MaskRay MaskRay force-pushed the delete branch 2 times, most recently from abbd6d0 to ee7527d Dec 23, 2018

Handle workspace/didChangeWatchedFiles with deleted files
* In the "initialize" callback, send client/registerCapability with DidChangeWatchedFilesRegistrationOptions
* In workspace/didChangeWatchedFiles callback, call pipeline::Index
* In pipeline::Index, add a `deleted` status

@MaskRay MaskRay force-pushed the delete branch from ee7527d to ad11315 Dec 23, 2018

@MaskRay

This comment has been minimized.

Copy link
Owner

MaskRay commented Dec 24, 2018

Manually merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment