jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-06-14 16:16:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use addressLabel in the UI.

Browse Source 
- for the boards dropdown, and
 - for the `Tools` > `Port` menu.

Closes #1331

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
This commit is contained in:
Akos Kitta 2022-08-23 11:13:26 +02:00 committed by Akos Kitta
parent 474d5e5975
commit fc9107c084
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/browser/boards/boards-toolbar-item.tsx
View File

@ -138,7 +138,7 @@ export class BoardsDropDown extends React.Component<BoardsDropDown.Props> {
{boardLabel} {boardLabel}
</div> </div>
<div className="arduino-boards-dropdown-item--port-label noWrapInfo noselect"> <div className="arduino-boards-dropdown-item--port-label noWrapInfo noselect">
{port.address} {port.addressLabel}
</div> </div>
</div> </div>
{selected ? <div className="fa fa-check" /> : ''} {selected ? <div className="fa fa-check" /> : ''}

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

@ -288,7 +288,7 @@ PID: ${PID}`;
for (let i = 0; i < sortedIDs.length; i++) { for (let i = 0; i < sortedIDs.length; i++) {
const portID = sortedIDs[i]; const portID = sortedIDs[i];
const [port, boards] = ports[portID]; const [port, boards] = ports[portID];
let label = `${port.address}`; let label = `${port.addressLabel}`;
if (boards.length) { if (boards.length) {
const boardsList = boards.map((board) => board.name).join(', '); const boardsList = boards.map((board) => board.name).join(', ');
label = `${label} (${boardsList})`; label = `${label} (${boardsList})`;