Skip to content

Incorrect tab color in the settings dialog #1179

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
3 tasks done
kittaakos opened this issue Jul 13, 2022 · 1 comment
Closed
3 tasks done

Incorrect tab color in the settings dialog #1179

kittaakos opened this issue Jul 13, 2022 · 1 comment
Assignees
@per1234
Labels
conclusion: duplicate Has already been submitted topic: code Related to content of the project itself topic: theme Related to GUI theming type: imperfection Perceived defect in any part of project

Comments

@kittaakos
Copy link
Contributor

kittaakos commented Jul 13, 2022 •
edited
Loading

Describe the problem

When I have the dark theme active, I want to see the editor tab as dark in the settings dialog.

Screen Shot 2022-07-13 at 14 06 34

To reproduce

  • Open IDE2,
  • Select a dark theme,
  • Open the settings

Expected behavior

If the theme is dark, the editor tab is not light.

Arduino IDE version

b50bf42

Operating system

macOS

Operating system version

12.3.1

Additional context

No response

Issue checklist

  • I searched for previous reports in the issue tracker
  • I verified the problem still occurs when using the latest nightly build
  • My report contains all necessary details
@kittaakos kittaakos added topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project topic: theme Related to GUI theming labels Jul 13, 2022
@per1234
Copy link
Contributor

per1234 commented Jul 19, 2022

Closing as duplicate of #1224

@per1234 per1234 closed this as not planned Won't fix, can't repro, duplicate, stale Jul 19, 2022
@per1234 per1234 self-assigned this Jul 19, 2022
@per1234 per1234 added the conclusion: duplicate Has already been submitted label Jul 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@per1234 per1234

Labels
conclusion: duplicate Has already been submitted topic: code Related to content of the project itself topic: theme Related to GUI theming type: imperfection Perceived defect in any part of project
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@kittaakos @per1234