Skip to content

Add the ability to change the code editor theme#12

Merged
davep merged 3 commits intomainfrom
code-theme
Jul 15, 2025
Merged

Add the ability to change the code editor theme#12
davep merged 3 commits intomainfrom
code-theme

Conversation

@davep
Copy link
Copy Markdown
Owner

@davep davep commented Jul 15, 2025

Closes #2.

@davep davep self-assigned this Jul 15, 2025
@davep davep added Enhancement New feature or request TODO A thing I'm planning on doing labels Jul 15, 2025
@davep davep marked this pull request as ready for review July 15, 2025 09:05
@davep davep merged commit f2f8c51 into main Jul 15, 2025
1 check passed
@davep davep deleted the code-theme branch July 15, 2025 09:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Enhancement New feature or request TODO A thing I'm planning on doing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add the ability to set the theme for the code

1 participant