Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

Automated changes by create-pull-request GitHub action

@github-actions github-actions bot force-pushed the themes/themes-update branch from f6c7f08 to 9954c8b Compare June 28, 2022 13:33
@francescospissu francescospissu linked an issue Jun 28, 2022 that may be closed by this pull request
3 tasks
@francescospissu francescospissu self-requested a review June 28, 2022 14:24
@francescospissu francescospissu added type: enhancement Proposed improvement topic: code Related to content of the project itself labels Jun 28, 2022
@francescospissu francescospissu merged commit 75abb70 into main Jun 28, 2022
@francescospissu francescospissu deleted the themes/themes-update branch June 28, 2022 14:38
@per1234 per1234 added the topic: theme Related to GUI theming label Jul 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
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 this pull request may close these issues.

"Dark (Arduino)" theme highlight color harms readability
2 participants