Repository navigation

Support Zed in the UI: add to IDE dropdown and fix Open-in-IDE link - #3963

Merged

peterschmidt85 merged 2 commits into

Jun 15, 2026

Merged

Support Zed in the UI: add to IDE dropdown and fix Open-in-IDE link#3963
peterschmidt85 merged 2 commits into
masterfrom
add-zed-ide-ui

Commits on Jun 14, 2026
- Add Zed to the dev environment IDE dropdown in the UI
  
  Andrey Cheptsov
  and
  claude
  committed
  e5a6365
- Fix "Open in IDE" link to use server-provided attached_ide_url
  
  Andrey Cheptsov
  and
  claude
  committed
  70bc0f0