lsp: Call workspace/diagnostic/refresh when relevant

Where we would call `sync_diagnostics` in the push model, use the same
trigger to send a refresh request to the clients that support it. This
should ensure diagnostics are reported in a more timely fashion.

Author: alcarney

lib/esbonio/esbonio/server/server.py

@@ -292,14 +292,25 @@ def get_language_at(self, document: TextDocument, position: types.Position) -> s
         return ""
 
     def sync_diagnostics(self) -> None:
-        """Update the client with the currently stored diagnostics.
+        """Update the client with the currently stored diagnostics using
+        a ``textDocument/publishDiagnostics`` notification.
 
-        When the client supports the pull diagnostics model, this is a no-op.
+        When the client supports the pull diagnostics model, this triggers a
+        ``workspace/diagnostic/refresh`` request instead (if supported by the client).
         """
-        pull_support = get_capability(
+        text_diagnostic = get_capability(
             self.client_capabilities, "text_document.diagnostic", None
         )
-        if pull_support is not None:
+        workspace_diagnostic = get_capability(
+            self.client_capabilities,
+            "workspace.diagnostics",
+            types.DiagnosticWorkspaceClientCapabilities(),
+        )
+
+        if text_diagnostic is not None:
+            if workspace_diagnostic.refresh_support:
+                # Signal to the client that is should ask again for more diagnostics
+                self.workspace_diagnostic_refresh(None)
             return
 
         uris = {uri for _, uri in self._diagnostics.keys()}