New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Improves styling of source editor and crashes #278

Merged

pushchris merged 1 commit into main from chore/improved-source-editor

Oct 9, 2023

Contributor

pushchris commented Oct 9, 2023

Wraps source editor to ensure consistent styling and experience
Prevents crashes from malformed json


          Improves styling of source editor and crashes

9fcfc96

Prevents crashes from malformed json

pushchris merged commit 6497077 into main

3 checks passed

pushchris deleted the chore/improved-source-editor branch

October 9, 2023 16:28

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet