fix(web): name the editor picker accurately - #10124
Merged
juliusmarminge merged 3 commits intoSep 6, 2026
Merged
MacroscopeApp / Macroscope - Correctness Check
skipped
Sep 6, 2026 in 4s
Diff unchanged
Diff unchanged since last completed correctness review.
Loading