Skip to content

Switch to CodeMirror #141

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
Draft
wants to merge 5 commits into
base: main
Choose a base branch
from
Draft

Switch to CodeMirror #141

wants to merge 5 commits into from
+1,698 −420

Conversation

@funnyboy-roks
Copy link
Member

@funnyboy-roks funnyboy-roks commented Oct 10, 2025 •
edited
Loading

Switch to CodeMirror, largely to fix #65

Features still needed:

  • Proper syntax mapping (may require updating bedrock)
    • Supported languages should be a super set of current support.
  • Editor settings
  • Themes
  • Keymaps

@funnyboy-roks funnyboy-roks self-assigned this Oct 10, 2025
@funnyboy-roks funnyboy-roks added bug Something isn't working Competitor UI The issue or pull request affects the competitor UI Host UI The issue or pull request affects the host UI labels Oct 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@funnyboy-roks funnyboy-roks

Labels

bug Something isn't working Competitor UI The issue or pull request affects the competitor UI Host UI The issue or pull request affects the host UI

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Building the application takes 5+ minutes

2 participants

@funnyboy-roks