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 index 382e0f2ef..a467bb47d 100644 --- 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,7 +7,6 @@ import { inject, injectable } from '@theia/core/shared/inversify'; import PQueue from 'p-queue'; import { BoardIdentifier, - ConfigOption, isBoardIdentifierChangeEvent, Programmer, } from '../../common/protocol'; @@ -71,10 +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.sort( - ConfigOption.LABEL_COMPARATOR - )) { - 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 index a97dc9057..81c3d8268 100644 --- 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 {