fix(workspace): check doc.uri equal or not#3106

Merged

chemzqm merged 1 commit intomasterfrom fix/doc-path

May 24, 2021

+1

Commits on May 24, 2021

fix(workspace): check doc.uri equal or not
fannheyward
committed