re-add debug log on board config changed

Alberto Iannaccone · francescospissu · commit 56898e84e368 · 2022-07-18T13:00:18.000+02:00
diff --git a/arduino-ide-extension/src/browser/boards/boards-service-provider.ts b/arduino-ide-extension/src/browser/boards/boards-service-provider.ts
@@ -274,6 +274,7 @@ export class BoardsServiceProvider implements FrontendApplicationContribution {
   }
 
   protected setBoardsConfig(config: BoardsConfig.Config): void {
+    this.logger.debug('Board config changed: ', JSON.stringify(config));
     this._boardsConfig = config;
     this.latestBoardsConfig = this._boardsConfig;
     if (this.canUploadTo(this._boardsConfig)) {

Original file line number	Diff line number	Diff line change
`@@ -274,6 +274,7 @@ export class BoardsServiceProvider implements FrontendApplicationContribution {`
`274`	`274`	`}`
`275`	`275`
`276`	`276`	`protected setBoardsConfig(config: BoardsConfig.Config): void {`
	`277`	`+ this.logger.debug('Board config changed: ', JSON.stringify(config));`
`277`	`278`	`this._boardsConfig = config;`
`278`	`279`	`this.latestBoardsConfig = this._boardsConfig;`
`279`	`280`	`if (this.canUploadTo(this._boardsConfig)) {`