Skip to content
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

Highlight board family group in Tools > Board menu #2035

Closed
3 tasks done
ubidefeo opened this issue Apr 28, 2023 · 1 comment
Closed
3 tasks done

Highlight board family group in Tools > Board menu #2035

ubidefeo opened this issue Apr 28, 2023 · 1 comment
Assignees
@per1234
Labels
conclusion: resolved Issue was resolved topic: code Related to content of the project itself type: enhancement Proposed improvement

Comments

@ubidefeo
Copy link

Describe the request

When multiple platforms are installed, it is nearly impossible to identify, at a glance, which family the currently selected board belongs to.
The menu item in which to find the board we're using should be selected or highlighted.
I would expect it to be easily identifiable in some way

CleanShot 2023-04-28 at 08 01 24@2x

Describe the current behavior

CleanShot 2023-04-28 at 08 01 24@2x

CleanShot 2023-04-28 at 08 01 34@2x

Arduino IDE version

2.x

Operating system

N/A

Operating system version

n/a

Additional context

No response

Issue checklist

  • I searched for previous requests in the issue tracker
  • I verified the feature was still missing when using the latest nightly build
  • My request contains all necessary details
@ubidefeo ubidefeo added the type: enhancement Proposed improvement label Apr 28, 2023
@kittaakos kittaakos added the topic: code Related to content of the project itself label Apr 28, 2023
@per1234
Copy link
Contributor

per1234 commented Aug 22, 2023

Closing as fixed by #2165

image

@per1234 per1234 closed this as completed Aug 22, 2023
@per1234 per1234 added the conclusion: resolved Issue was resolved label Aug 22, 2023
@per1234 per1234 assigned per1234 and unassigned davegarthsimpson Aug 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@per1234 per1234

Labels
conclusion: resolved Issue was resolved topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@kittaakos @ubidefeo @per1234 @davegarthsimpson