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.

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

Quick selection menu doesn't show "in sketchbook" label #2270

Closed
3 tasks done
facchinm opened this issue Oct 30, 2023 · 0 comments · Fixed by #2281
Closed
3 tasks done

Quick selection menu doesn't show "in sketchbook" label #2270

facchinm opened this issue Oct 30, 2023 · 0 comments · Fixed by #2281
Assignees
Labels
conclusion: resolved Issue was resolved topic: code Related to content of the project itself type: enhancement Proposed improvement

Comments

@facchinm
Copy link
Member

Describe the request

It would be handy if the quick selection menu would also display (in the overlay) if we are selecting a board from "board manager" core or the sketchbook one.

Screenshot attached
image

Describe the current behavior

Only the platform name is displayed.

Arduino IDE version

2.2.1

Operating system

Linux

Operating system version

Arch

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
@facchinm facchinm added the type: enhancement Proposed improvement label Oct 30, 2023
@kittaakos kittaakos added the topic: code Related to content of the project itself label Oct 30, 2023
kittaakos pushed a commit that referenced this issue Nov 9, 2023
kittaakos pushed a commit that referenced this issue Nov 13, 2023
kittaakos pushed a commit that referenced this issue Nov 13, 2023
kittaakos pushed a commit that referenced this issue Nov 13, 2023
kittaakos pushed a commit that referenced this issue Nov 13, 2023
kittaakos pushed a commit that referenced this issue Dec 13, 2023
kittaakos pushed a commit that referenced this issue Dec 13, 2023
@kittaakos kittaakos added the conclusion: resolved Issue was resolved label Dec 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: resolved Issue was resolved topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants