arduino
diff --git a/‎package.json
Copy file name to clipboardExpand all lines: package.json
+1-1Lines changed: 1 addition & 1 deletion b/‎package.json
Copy file name to clipboardExpand all lines: package.json
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎src/extension.ts
Copy file name to clipboardExpand all lines: src/extension.ts
+4Lines changed: 4 additions & 0 deletions b/‎src/extension.ts
Copy file name to clipboardExpand all lines: src/extension.ts
+4Lines changed: 4 additions & 0 deletions
@@ -1,7 +1,7 @@
 {
   "name": "vscode-arduino-tools",
   "private": true,
-  "version": "0.0.2-beta.3",
+  "version": "0.0.2-beta.4",
   "publisher": "arduino",
   "license": "Apache-2.0",
   "author": "Arduino SA",
 
@@ -27,6 +27,7 @@ interface LanguageServerConfig {
     readonly log?: boolean | string;
     readonly env?: any;
     readonly flags?: string[];
+    readonly realTimeDiagnostics?: boolean;
 }
 
 interface DebugConfig {
@@ -202,6 +203,9 @@ async function buildLanguageClient(config: LanguageServerConfig): Promise<Langua
     if (board.name) {
         args.push('-board-name', board.name);
     }
+    if (typeof config.realTimeDiagnostics === 'boolean' && !config.realTimeDiagnostics) {
+        args.push('-no-real-time-diagnostics');
+    }
     if (flags && flags.length) {
         args.push(...flags);
     }
Original file line number	Diff line number	Diff line change
`@@ -27,6 +27,7 @@ interface LanguageServerConfig {`
`27`	`27`	`readonly log?: boolean \| string;`
`28`	`28`	`readonly env?: any;`
`29`	`29`	`readonly flags?: string[];`
	`30`	`+ readonly realTimeDiagnostics?: boolean;`
`30`	`31`	`}`
`31`	`32`
`32`	`33`	`interface DebugConfig {`
`@@ -202,6 +203,9 @@ async function buildLanguageClient(config: LanguageServerConfig): Promise<Langua`
`202`	`203`	`if (board.name) {`
`203`	`204`	`args.push('-board-name', board.name);`
`204`	`205`	`}`
	`206`	`+ if (typeof config.realTimeDiagnostics === 'boolean' && !config.realTimeDiagnostics) {`
	`207`	`+ args.push('-no-real-time-diagnostics');`
	`208`	`+ }`
`205`	`209`	`if (flags && flags.length) {`
`206`	`210`	`args.push(...flags);`
`207`	`211`	`}`