Now it's working

Signed-off-by: Günter Neiß <gneiss@web.de>
arduino · gneiss15 · Apr 22, 2025 · Apr 22, 2025 · Apr 24, 2025 · Apr 24, 2025
commit 27a46a4eac9e537a751871f7da3f0e7080070730
diff --git a/arduino-ide-extension/src/browser/contributions/boards-data-menu-updater.ts b/arduino-ide-extension/src/browser/contributions/boards-data-menu-updater.ts
@@ -7,8 +7,6 @@ import { inject, injectable } from '@theia/core/shared/inversify';
 import PQueue from 'p-queue';
 import {
  BoardIdentifier,
-  // Produces Error: src/browser/contributions/boards-data-menu-updater.ts(10,3): error TS6133: 'ConfigOption' is declared but its value is never read.
-  // ConfigOption,
  isBoardIdentifierChangeEvent,
  Programmer,
 } from '../../common/protocol';
@@ -72,8 +70,11 @@ export class BoardsDataMenuUpdater extends Contribution {
              ...ArduinoMenus.TOOLS__BOARD_SETTINGS_GROUP,
              'z01_boardsConfig',
            ]; // `z_` is for ordering.
-            for (const { label, option, values } of configOptions ) {
-              const menuPath = [...boardsConfigMenuPath, `${option}`];
+            let i:number = 0;
+            for (const { label, option, values } of configOptions) {
+              // We want Menu Entries in order of configOptions
+              const order = String(i++).padStart(4)
+              const menuPath = [...boardsConfigMenuPath, `${order}`];
              const commands = new Map<
                string,
                Disposable & { label: string }

diff --git a/arduino-ide-extension/src/common/protocol/boards-service.ts b/arduino-ide-extension/src/common/protocol/boards-service.ts
@@ -377,12 +377,6 @@ export namespace ConfigOption {
      Object.setPrototypeOf(this, ConfigOptionError.prototype);
    }
  }
-
-  export const LABEL_COMPARATOR = (left: ConfigOption, right: ConfigOption) =>
-    naturalCompare(
-      left.label.toLocaleLowerCase(),
-      right.label.toLocaleLowerCase()
-    );
 }

 export interface ConfigValue {