jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-09 12:26:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix Tools > Board and Tools > Port labels (#558)

Browse Source
This commit is contained in:
Silvano Cerza 2021-10-18 11:35:26 +02:00 committed by GitHub
parent 11b75bd610
commit 5c958bc6c7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
arduino-ide-extension/src/browser/contributions/board-selection.ts
View File

@ -138,9 +138,7 @@ PID: ${PID}`;
// The board specific items, and the rest, have order with `z`. We needed something between `0` and `z` with natural-order.
this.menuModelRegistry.registerSubmenu(
boardsSubmenuPath,
nls.localize('arduino/board/board', 'Board') + !!boardsSubmenuLabel
? `: "${boardsSubmenuLabel}"`
: '',
nls.localize('arduino/board/board', 'Board{0}', !!boardsSubmenuLabel ? `: "${boardsSubmenuLabel}"` : ''),
{ order: '100' }
);
this.toDisposeBeforeMenuRebuild.push(
@ -157,9 +155,7 @@ PID: ${PID}`;
const portsSubmenuLabel = config.selectedPort?.address;
this.menuModelRegistry.registerSubmenu(
portsSubmenuPath,
nls.localize('arduino/board/port', 'Port') + portsSubmenuLabel
? `: "${portsSubmenuLabel}"`
: '',
nls.localize('arduino/board/port', 'Port{0}', portsSubmenuLabel ? `: "${portsSubmenuLabel}"` : ''),
{ order: '101' }
);
this.toDisposeBeforeMenuRebuild.push(
@ -197,8 +193,7 @@ PID: ${PID}`;
const packageLabel =
packageName +
`${
manuallyInstalled
`${manuallyInstalled
? nls.localize('arduino/board/inSketchbook', ' (in Sketchbook)')
: ''
}`;
@ -273,8 +268,7 @@ PID: ${PID}`;
});
}
for (const { name, fqbn } of boards) {
const id = `arduino-select-port--${address}${
fqbn ? `--${fqbn}` : ''
const id = `arduino-select-port--${address}${fqbn ? `--${fqbn}` : ''
}`;
const command = { id };
const handler = {