Skip to content

Conversation

@shepmaster
Copy link
Member

Something has changed in 1.23 with how themes and keybindings are packaged, causing them to not work with our interesting setup. Rolling back while we investigate.

Reported in #941

Something has changed in 1.23 with how themes and keybindings are
packaged, causing them to not work with our interesting setup. Rolling
back while we investigate.

Reported in #941
@shepmaster shepmaster added bug The playground isn't doing what it was intended to javascript Pull requests that update Javascript code labels Jun 30, 2023
@shepmaster shepmaster closed this Jun 30, 2023
@shepmaster shepmaster reopened this Jun 30, 2023
@shepmaster shepmaster merged commit 80d2adb into main Jun 30, 2023
@shepmaster shepmaster deleted the ace-theme branch June 30, 2023 13:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug The playground isn't doing what it was intended to javascript Pull requests that update Javascript code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants