feat(dev): can reset board list history

Author: Akos Kitta

Diff for: arduino-ide-extension/src/browser/boards/boards-service-provider.ts

@@ -155,6 +155,11 @@ export class BoardsServiceProvider
         this.outputChannel.append(this._boardList.toString() + '\n');
       },
     });
+    registry.registerCommand(CLEAR_BOARD_LIST_HISTORY, {
+      execute: () => {
+        this.refreshBoardList({ boardListHistory: {} });
+      },
+    });
   }
 
   tasks(): StartupTask[] {
@@ -431,3 +436,9 @@ const DUMP_BOARD_LIST: Command = {
   label: 'Dump Board List', // TODO: if remains in IDE2, add translations.
   category: 'Developer (Arduino)',
 };
+
+const CLEAR_BOARD_LIST_HISTORY: Command = {
+  id: 'arduino-clear-board-list-history',
+  label: 'Clear Board List History', // TODO: if remains in IDE2, add translations.
+  category: 'Developer (Arduino)',
+};