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

themeable menu bar #2229

Closed
3 tasks done
BPplays opened this issue Sep 17, 2023 · 1 comment
Closed
3 tasks done

themeable menu bar #2229

BPplays opened this issue Sep 17, 2023 · 1 comment
Labels
conclusion: declined Will not be worked on topic: theme Related to GUI theming type: enhancement Proposed improvement

Comments

@BPplays
Copy link

BPplays commented Sep 17, 2023 •
edited
Loading

Describe the request

the menu bar looks somewhat out of place if your theme's backgound differs from pure grey

Describe the current behavior

the menu bar is not effected by your theme

Arduino IDE version

2.2.1

Operating system

Windows

Operating system version

10

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
@BPplays BPplays added the type: enhancement Proposed improvement label Sep 17, 2023
@per1234 per1234 added the topic: theme Related to GUI theming label Sep 17, 2023
@kittaakos kittaakos mentioned this issue Sep 19, 2023
Open
3 tasks
@kittaakos
Copy link
Contributor

Thanks for taking the time to report this to us. The OS renders the menu bar, and we cannot change it. (Previously: #321)

There is a related issue (arduino/arduino-ide#1733) and a PR (arduino/arduino-ide#1870) to restore the default window.titleBarStyle Theia IDE behavior in IDE2. Note this is currently supported on Windows and Linux in Theia. See eclipse-theia/theia#10044 (comment).

I close this issue and move your request to #1733.

@kittaakos kittaakos closed this as not planned Won't fix, can't repro, duplicate, stale Sep 19, 2023
@kittaakos kittaakos added the conclusion: declined Will not be worked on label Sep 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
conclusion: declined Will not be worked on topic: theme Related to GUI theming type: enhancement Proposed improvement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@kittaakos @per1234 @BPplays