Skip to content

feat: move to code-server and patch in edit tagging#33

Merged
Vtec234 merged 8 commits into
mainfrom
vscode-edit-patch
Jun 2, 2026
Merged

feat: move to code-server and patch in edit tagging#33
Vtec234 merged 8 commits into
mainfrom
vscode-edit-patch

Conversation

@Vtec234

@Vtec234 Vtec234 commented Jun 2, 2026

Copy link
Copy Markdown
Member
  • Move from openvscode-server, currently stuck at 1.109.5, to code-server which is up to date with upstream at 1.122.1.
  • Apply a patch to code-server (by building it from scratch ourselves) which allows tagging programmatic document change events with where they came from. This allows us to fully reliably distinguish our own edits during collaborative syncing and unbreaks Vim extensions, code actions, etc.
  • Main disadvantage is that building VSC (twice - see the Dockerfile) makes our CI very heavy. A desirable followup might be to put that in its own, cached, CI step (or even another repo).

@Vtec234 Vtec234 requested a review from jcreedcmu June 2, 2026 18:02
@Vtec234 Vtec234 merged commit f178c73 into main Jun 2, 2026
1 check passed
@Vtec234 Vtec234 deleted the vscode-edit-patch branch June 2, 2026 23:34
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