You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: