mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-07 19:36:33 +00:00
aligned items under tools.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
5d23cb5270
commit
5788ca3761
@ -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'
|
||||
});
|
||||
}
|
||||
}
|
||||
|
@ -51,7 +51,7 @@ export class MonitorViewContribution extends AbstractViewContribution<MonitorWid
|
||||
menus.registerMenuAction(ArduinoMenus.TOOLS, {
|
||||
commandId: this.toggleCommand.id,
|
||||
label: 'Serial Monitor',
|
||||
order: '4'
|
||||
order: '5'
|
||||
});
|
||||
}
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user