diff --git a/arduino-ide-extension/src/browser/boards/boards-auto-installer.ts b/arduino-ide-extension/src/browser/boards/boards-auto-installer.ts index 88adcf0f0..845f97b59 100644 --- a/arduino-ide-extension/src/browser/boards/boards-auto-installer.ts +++ b/arduino-ide-extension/src/browser/boards/boards-auto-installer.ts @@ -237,6 +237,16 @@ export class BoardsAutoInstaller implements FrontendApplicationContribution { ); const actions: AutoInstallPromptActions = [ + { + key: manualInstall, + handler: () => { + this.boardsManagerFrontendContribution + .openView({ reveal: true }) + .then((widget) => + widget.refresh(candidate.name.toLocaleLowerCase()) + ); + }, + }, { isAcceptance: true, key: yes, @@ -250,16 +260,6 @@ export class BoardsAutoInstaller implements FrontendApplicationContribution { }); }, }, - { - key: manualInstall, - handler: () => { - this.boardsManagerFrontendContribution - .openView({ reveal: true }) - .then((widget) => - widget.refresh(candidate.name.toLocaleLowerCase()) - ); - }, - }, ]; return actions;