Skip to content

feat: codemirror integration.#3

Merged
knightedcodemonkey merged 3 commits intomainfrom
bananas
Mar 15, 2026
Merged

feat: codemirror integration.#3
knightedcodemonkey merged 3 commits intomainfrom
bananas

Conversation

@knightedcodemonkey
Copy link
Owner

No description provided.

Copilot AI review requested due to automatic review settings March 15, 2026 19:28
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Integrates CodeMirror 6 as a rich code editor for the JSX and CSS panels, loaded asynchronously from CDN with graceful textarea fallback.

Changes:

  • Added CodeMirror editor factory (editor-codemirror.js) with full theme, syntax highlighting, and language compartment support
  • Wired CodeMirror initialization into app.js with source abstraction (getJsxSource/getCssSource) and style-mode language reconfiguration
  • Added CDN import specs for all required CodeMirror packages, plus documentation and agent instructions

Reviewed changes

Copilot reviewed 7 out of 7 changed files in this pull request and generated 1 comment.

Show a summary per file
File Description
src/editor-codemirror.js New CodeMirror editor factory with CDN runtime loading, theme, and language support
src/app.js Editor initialization, source abstraction, style-mode language switching
src/cdn.js CDN import specs for 8 CodeMirror packages
src/styles.css Editor host styling, panel height constraints, responsive rules
docs/code-mirror.md Documentation for integration rules, fallback behavior, troubleshooting
docs/build-and-deploy.md Cross-reference to new CodeMirror docs
AGENTS.md Agent instructions for the repository

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@knightedcodemonkey knightedcodemonkey merged commit 0dd4269 into main Mar 15, 2026
1 check passed
@knightedcodemonkey knightedcodemonkey deleted the bananas branch March 15, 2026 19:49
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.

2 participants