re-add debug log on board config changed

Alberto Iannaccone · Alberto Iannaccone · commit c6b67601db80 · 2022-07-15T11:55:33.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
@@ -270,6 +270,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
`@@ -270,6 +270,7 @@ export class BoardsServiceProvider implements FrontendApplicationContribution {`
`270`	`270`	`}`
`271`	`271`
`272`	`272`	`protected setBoardsConfig(config: BoardsConfig.Config): void {`
	`273`	`+ this.logger.debug('Board config changed: ', JSON.stringify(config));`
`273`	`274`	`this._boardsConfig = config;`
`274`	`275`	`this.latestBoardsConfig = this._boardsConfig;`
`275`	`276`	`if (this.canUploadTo(this._boardsConfig)) {`