diff --git a/arduino-ide-extension/src/browser/boards/boards-widget-frontend-contribution.ts b/arduino-ide-extension/src/browser/boards/boards-widget-frontend-contribution.ts index ea27ef85..f5488e0c 100644 --- a/arduino-ide-extension/src/browser/boards/boards-widget-frontend-contribution.ts +++ b/arduino-ide-extension/src/browser/boards/boards-widget-frontend-contribution.ts @@ -31,7 +31,8 @@ export class BoardsListWidgetFrontendContribution extends ListWidgetFrontendCont if (this.toggleCommand) { menus.registerMenuAction(ArduinoMenus.TOOLS, { commandId: this.toggleCommand.id, - label: 'Boards Manager...' + label: 'Boards Manager...', + order: '4' }); } } diff --git a/arduino-ide-extension/src/browser/monitor/monitor-view-contribution.tsx b/arduino-ide-extension/src/browser/monitor/monitor-view-contribution.tsx index 3125d170..e2a25dfa 100644 --- a/arduino-ide-extension/src/browser/monitor/monitor-view-contribution.tsx +++ b/arduino-ide-extension/src/browser/monitor/monitor-view-contribution.tsx @@ -51,7 +51,7 @@ export class MonitorViewContribution extends AbstractViewContribution