feat(dev): can discard board config

arduino · Jul 26, 2023 · 35aeae7 · 35aeae7
1 parent 82d3c34
commit 35aeae7
Showing 1 changed file with 13 additions and 2 deletions.
diff --git a/arduino-ide-extension/src/browser/boards/boards-service-provider.ts b/arduino-ide-extension/src/browser/boards/boards-service-provider.ts
@@ -160,6 +160,11 @@ export class BoardsServiceProvider
         this.refreshBoardList({ boardListHistory: {} });
       },
     });
+    registry.registerCommand(CLEAR_BOARDS_CONFIG, {
+      execute: () => {
+        this.refreshBoardList({ boardsConfig: emptyBoardsConfig() });
+      },
+    });
   }
 
   tasks(): StartupTask[] {
@@ -433,12 +438,18 @@ const USE_INHERITED_CONFIG: Command = {
 
 const DUMP_BOARD_LIST: Command = {
   id: 'arduino-dump-board-list',
-  label: 'Dump Board List', // TODO: if remains in IDE2, add translations.
+  label: 'Dump the 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.
+  label: 'Clear the Board List History', // TODO: if remains in IDE2, add translations.
+  category: 'Developer (Arduino)',
+};
+
+const CLEAR_BOARDS_CONFIG: Command = {
+  id: 'arduino-clear-boards-config',
+  label: 'Clear the Board and Port Configuration', // TODO: if remains in IDE2, add translations.
   category: 'Developer (Arduino)',
 };