File tree 2 files changed +5
-1
lines changed
2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change 1
1
{
2
2
"name" : " vscode-arduino-tools" ,
3
3
"private" : true ,
4
- "version" : " 0.0.2-beta.3 " ,
4
+ "version" : " 0.0.2-beta.4 " ,
5
5
"publisher" : " arduino" ,
6
6
"license" : " Apache-2.0" ,
7
7
"author" : " Arduino SA" ,
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
}
You can’t perform that action at this time.
0 commit comments