Currently the status bar and verification panel only shows verifiables inside the currently focussed document. Change this so they show all verifiables in the project of the currently focused document.
Implementations require the client to know to which project the currently focused file maps. This could be done by a StartsWith path comparison on the client, or by letting the server notify the client of document->project mappings for all open documents.
Another option would be not to filter on the currently selected file, then the IDE will show verification for all currently ongoing projects, and the IDE can remain project agnostic. (Currently in favor of this!) Question is when would the IDE then clear the verification state of a file. When it is closed would not be an option. I think the server should then publish reset verification statuses.
Currently the status bar and verification panel only shows verifiables inside the currently focussed document. Change this so they show all verifiables in the project of the currently focused document.
Implementations require the client to know to which project the currently focused file maps. This could be done by a StartsWith path comparison on the client, or by letting the server notify the client of document->project mappings for all open documents.
Another option would be not to filter on the currently selected file, then the IDE will show verification for all currently ongoing projects, and the IDE can remain project agnostic. (Currently in favor of this!) Question is when would the IDE then clear the verification state of a file. When it is closed would not be an option. I think the server should then publish reset verification statuses.