Skip to content

Conversation

@artemmufazalov
Copy link
Member

Closes #805

@artemmufazalov artemmufazalov requested a review from Raubzeug May 17, 2024 10:08
@artemmufazalov artemmufazalov force-pushed the 805-editor-theme branch 2 times, most recently from 37fa817 to 7626142 Compare May 27, 2024 15:01
@artemmufazalov artemmufazalov merged commit 45084a6 into main May 29, 2024
@artemmufazalov artemmufazalov deleted the 805-editor-theme branch May 29, 2024 11:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Editor theme changes when ast is opened

3 participants