Skip to content

Promote develop → main: Remote Workspace CodeMirror + Material icons (#179)#180

Merged
haowei2000 merged 3 commits into
mainfrom
develop
Jul 13, 2026
Merged

Promote develop → main: Remote Workspace CodeMirror + Material icons (#179)#180
haowei2000 merged 3 commits into
mainfrom
develop

Conversation

@haowei2000

Copy link
Copy Markdown
Collaborator

Promotes develop to main. Since the last promotion (#178), develop gained:

Standard feature→develop→main promotion. CI green on develop.

🤖 Generated with Claude Code

haowei2000 and others added 3 commits July 13, 2026 23:44
The Remote Workspace file viewer (real repo source — .ts/.rs/.py/Dockerfile)
was a plain <textarea>; it's the more editor-like surface than the workbench
and was what the "online editor" ask was really about. Swap it for the same
click-gated CodeEditor, wired to the panel's edit/dirty state and keyed by
filename.

To highlight arbitrary repo files, resolve languages via
@codemirror/language-data by filename. markdown/json keep a synchronous
fast path (no flash); every other grammar is a dynamic import that Vite
code-splits into its own chunk, so only the languages a user actually opens
are fetched. Load is race-guarded against fast file switches, and a failed
grammar load degrades to plain text rather than crashing the editor.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…tree

Replace the flat lucide File/Folder glyphs in the Remote Workspace file
tree with VS Code's Material Icon Theme icons (react-material-icon-theme),
resolved per filename — best-in-class file-type differentiation.

The library is a ~279 kB-gzip monolith with no code-splitting or
tree-shaking, so it's wrapped in a single React.lazy boundary
(MaterialFsIcon) that Vite emits as its own chunk: it downloads only when
the tree first renders, and each row shows the lucide glyph as the Suspense
fallback until it lands. Never touches the chat critical path.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…49c9c

feat(remote-workspace): CodeMirror editor + multi-language + Material Icon Theme icons
@haowei2000
haowei2000 merged commit a54eefb into main Jul 13, 2026
11 checks passed
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.

1 participant