feat: "deno.forcePushBasedDiagnostics" setting

Author: nayeemrmn

client/src/extension.ts

@@ -47,6 +47,7 @@ function handleConfigurationChange(event: vscode.ConfigurationChangeEvent) {
       event.affectsConfiguration("deno.enablePaths") ||
       event.affectsConfiguration("deno.env") ||
       event.affectsConfiguration("deno.envFile") ||
+      event.affectsConfiguration("deno.forcePushBasedDiagnostics") ||
       event.affectsConfiguration("deno.future") ||
       event.affectsConfiguration("deno.internalInspect") ||
       event.affectsConfiguration("deno.logFile") ||

package.json

@@ -356,6 +356,16 @@
             1000
           ]
         },
+        "deno.forcePushBasedDiagnostics": {
+          "type": "boolean",
+          "markdownDescription": "Disables the server-capability for pull diagnostics to force push-based diagnostics.",
+          "default": false,
+          "scope": "window",
+          "examples": [
+            true,
+            false
+          ]
+        },
         "deno.future": {
           "deprecationMessage": "Deno 2.0 has been released. This setting still affects 1.x.x installations, however.",
           "type": "boolean",