Skip to content
New issue

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

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

Already on GitHub? # to your account

Live change of theme after selecting from preferences dropdown #1048

Closed
3 tasks done
per1234 opened this issue Jun 12, 2022 · 1 comment · Fixed by #1296
Closed
3 tasks done

Live change of theme after selecting from preferences dropdown #1048

per1234 opened this issue Jun 12, 2022 · 1 comment · Fixed by #1296
Assignees
Labels
conclusion: resolved Issue was resolved topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement

Comments

@per1234
Copy link
Contributor

per1234 commented Jun 12, 2022

Describe the request

The Arduino IDE should change theme immediately upon the user selecting a different theme from the "Theme" menu in the "Preferences" dialog.

If the user then clicks the Cancel button, the IDE should return to using the previously configured theme preference.

🙂 This will provide the user with an immediate preview of the appearance of the various available themes.

Describe the current behavior

The Arduino IDE theme only changes after clicking the OK button in the "Preferences" dialog.

🙁 It is less convenient to evaluate the appearance of the various available themes.

Arduino IDE version

2.0.0-rc7

Operating system

Windows, Linux

Operating system version

Windows 10, Ubuntu 20.04

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
@per1234 per1234 added topic: code Related to content of the project itself type: enhancement Proposed improvement labels Jun 12, 2022
@ubidefeo
Copy link

I remember discussing this one with either @fstasi or @AlbyIanna because if you select the theme via Theia's preference menu you do get the preview which can be confirmed with ENTER or discarded with ESC

@per1234 per1234 added the topic: theme Related to GUI theming label Jul 4, 2022
@per1234 per1234 added the conclusion: resolved Issue was resolved label Aug 9, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
conclusion: resolved Issue was resolved topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants