Skip to content

fix: polish GPUI editor corners and editing controls - #2281

Merged
richiemcilroy merged 2 commits into
mainfrom
improve/gpui-editor-polish
Sep 12, 2026
Merged

fix: polish GPUI editor corners and editing controls#2281
richiemcilroy merged 2 commits into
mainfrom
improve/gpui-editor-polish