While we get approval for implementing full Live Share support in coq-lsp, we fix some problems with the current implementation of selectors and API calls for goals, in particular:
consolidate and implement Coq document selectors into 3 kinds (all, local, vsls documents)
handle cases for vsls goals request correctly
expose types for infoView protocol, improve such types
display info message about goals not available in VSLS
While we get approval for implementing full Live Share support in
coq-lsp
, we fix some problems with the current implementation of selectors and API calls for goals, in particular: