Add java.diagnostic.filter setting.

- Suggest project reload when the setting changes.

Signed-off-by: Roland Grunberg <rgrunber@redhat.com>

Author: rgrunber

README.md

@@ -249,6 +249,9 @@ The following settings are supported:
 * `java.configuration.detectJdksAtStart`: Automatically detect JDKs installed on local machine at startup. If you have specified the same JDK version in `java.configuration.runtimes`, the extension will use that version first. Defaults to `true`.
 * `java.completion.collapseCompletionItems`: Enable/disable the collapse of overloaded methods in completion items. Overrides `java.completion.guessMethodArguments`. Defaults to `false`.
 
+New in 1.33.0
+* `java.diagnostic.filter`: Specifies a list of file patterns for whom diagnostics should not be published (eg. '**/Foo.java').
+
 Semantic Highlighting
 ===============
 [Semantic Highlighting](https://github.com/redhat-developer/vscode-java/wiki/Semantic-Highlighting) fixes numerous syntax highlighting issues with the default Java Textmate grammar. However, you might experience a few minor issues, particularly a delay when it kicks in, as it needs to be computed by the Java Language server, when opening a new file or when typing. Semantic highlighting can be disabled for all languages using the `editor.semanticHighlighting.enabled` setting, or for Java only using [language-specific editor settings](https://code.visualstudio.com/docs/getstarted/settings#_languagespecific-editor-settings).

package.json

@@ -1474,6 +1474,15 @@
             "markdownDescription": "Specifies whether to recheck all open Java files for diagnostics when editing a Java file.",
             "scope": "window"
           },
+          "java.diagnostic.filter": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            },
+            "default": [],
+            "description": "Specifies a list of file patterns for whom diagnostics should not be published. (eg. '**/Foo.java' )",
+            "scope": "window"
+          },
           "java.editor.reloadChangedSources": {
             "type": "string",
             "enum": [

src/settings.ts

@@ -136,7 +136,8 @@ function hasJavaConfigChanged(oldConfig: WorkspaceConfiguration, newConfig: Work
 		|| hasConfigKeyChanged('jdt.ls.vmargs', oldConfig, newConfig)
 		|| hasConfigKeyChanged('server.launchMode', oldConfig, newConfig)
 		|| hasConfigKeyChanged('sharedIndexes.location', oldConfig, newConfig)
-		|| hasConfigKeyChanged('transport', oldConfig, newConfig);
+		|| hasConfigKeyChanged('transport', oldConfig, newConfig)
+		|| hasConfigKeyChanged('java.diagnostic.filter', oldConfig, newConfig);
 }
 
 function hasConfigKeyChanged(key, oldConfig, newConfig) {