Skip to content

**Tools > Board** menu does not display ampersands in platform and board names #34

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
ubidefeo opened this issue Feb 25, 2021 · 1 comment
Closed

**Tools > Board** menu does not display ampersands in platform and board names #34

ubidefeo opened this issue Feb 25, 2021 · 1 comment
Assignees
@fstasi
Labels
conclusion: resolved Issue was resolved criticality: high Of high impact topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project

Comments

@ubidefeo
Copy link

ubidefeo commented Feb 25, 2021 •
edited
Loading

Describe the bug
A clear and concise description of what the bug is.

To Reproduce
Steps to reproduce the behavior:

  1. File > Preferences
  2. To the "Additional Boards Manager URLs" field, add
  1. Click the "OK" button
  2. Use Boards Manager to install the "esp8266" platform
  3. Use Boards Manager to install the "Leonardo & Micro MIDI-USB (arcore)" platform
  4. Tools > Board - The "Leonardo & Micro MIDI-USB (arcore)" platform will be listed as "Leonardo Micro MIDI-USB (arcore)" (note the missing ampersand)
  5. Tools > Board > esp8266 - The "LOLIN(WEMOS) D1 R2 & mini" board will be listed as "LOLIN(WEMOS) D1 R2 mini" (note the missing ampersand).

The ampersand is shown as expected in Boards Manager and the "Select Other Board & Port" menu.
The ampersand is shown as expected in the Java IDE's Tools > Board menus.
The ampersand is shown as expected in the Arduino CLI command line output.
It is HTML encoded in the JSON formatted output.

Expected behavior
Ampersand to be correctly visualised

Screenshots
If applicable, add screenshots to help explain your problem.

Desktop (please complete the following information):

  • OS: Windows 10
  • Version: 2.0.0-beta.2-snapshot.f9730ab
  • CLI Version: 0.16.0 alpha [c977a238]

[ originally reported by @per1234 ]
@ubidefeo ubidefeo added type: bug priority: high Resolution is a high priority labels Feb 25, 2021
@ubidefeo ubidefeo added the priority: medium Resolution is a medium priority label Mar 19, 2021
@per1234 per1234 changed the title **Tools > Board menu does not display ampersands in platform and board names **Tools > Board** menu does not display ampersands in platform and board names Mar 20, 2021
@cmaglie cmaglie removed the type: bug label Sep 16, 2021
@rsora rsora added the type: imperfection Perceived defect in any part of project label Sep 22, 2021
@rsora rsora removed the priority: medium Resolution is a medium priority label Oct 22, 2021
@per1234
Copy link
Contributor

per1234 commented Oct 25, 2021

Fixed by #292

@per1234 per1234 closed this as completed Oct 25, 2021
@per1234 per1234 added conclusion: resolved Issue was resolved topic: code Related to content of the project itself labels Oct 25, 2021
@rsora rsora added criticality: high Of high impact and removed priority: high Resolution is a high priority labels Nov 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@fstasi fstasi

Labels
conclusion: resolved Issue was resolved criticality: high Of high impact topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@cmaglie @fstasi @ubidefeo @per1234 @rsora