File tree Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change 11{
22 "name" : " vscode-arduino-tools" ,
33 "private" : true ,
4- "version" : " 0.0.2-beta.3 " ,
4+ "version" : " 0.0.2-beta.4 " ,
55 "publisher" : " arduino" ,
66 "license" : " Apache-2.0" ,
77 "author" : " Arduino SA" ,
Original file line number Diff line number Diff line change @@ -27,6 +27,7 @@ interface LanguageServerConfig {
2727 readonly log ?: boolean | string ;
2828 readonly env ?: any ;
2929 readonly flags ?: string [ ] ;
30+ readonly realTimeDiagnostics ?: boolean ;
3031}
3132
3233interface DebugConfig {
@@ -202,6 +203,9 @@ async function buildLanguageClient(config: LanguageServerConfig): Promise<Langua
202203 if ( board . name ) {
203204 args . push ( '-board-name' , board . name ) ;
204205 }
206+ if ( typeof config . realTimeDiagnostics === 'boolean' && ! config . realTimeDiagnostics ) {
207+ args . push ( '-no-real-time-diagnostics' ) ;
208+ }
205209 if ( flags && flags . length ) {
206210 args . push ( ...flags ) ;
207211 }
You can’t perform that action at this time.
0 commit comments