mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-10 12:56:32 +00:00
Primary action to the right of the notification box (#1234)
This commit is contained in:
parent
71d5a1520a
commit
5087ff08f2
@ -237,6 +237,16 @@ export class BoardsAutoInstaller implements FrontendApplicationContribution {
|
|||||||
);
|
);
|
||||||
|
|
||||||
const actions: AutoInstallPromptActions = [
|
const actions: AutoInstallPromptActions = [
|
||||||
|
{
|
||||||
|
key: manualInstall,
|
||||||
|
handler: () => {
|
||||||
|
this.boardsManagerFrontendContribution
|
||||||
|
.openView({ reveal: true })
|
||||||
|
.then((widget) =>
|
||||||
|
widget.refresh(candidate.name.toLocaleLowerCase())
|
||||||
|
);
|
||||||
|
},
|
||||||
|
},
|
||||||
{
|
{
|
||||||
isAcceptance: true,
|
isAcceptance: true,
|
||||||
key: yes,
|
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;
|
return actions;
|
||||||
|
Loading…
x
Reference in New Issue
Block a user