From e9004b09b53ecdd95223d697d5f322e19ec70c20 Mon Sep 17 00:00:00 2001
From: Akos Kitta <a.kitta@arduino.cc>
Date: Wed, 26 Jul 2023 12:21:16 +0200
Subject: [PATCH] feat(dev): can reset board list history

---
 .../src/browser/boards/boards-service-provider.ts     | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/arduino-ide-extension/src/browser/boards/boards-service-provider.ts b/arduino-ide-extension/src/browser/boards/boards-service-provider.ts
index 397285a2f..0d54b6907 100644
--- a/arduino-ide-extension/src/browser/boards/boards-service-provider.ts
+++ b/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)',
+};