Skip to content

Add buffered NumberInput for decimal-friendly width editing#1919

Merged
kmcginnes merged 5 commits into
mainfrom
width-input-decimal-editing
Jul 10, 2026
Merged

Add buffered NumberInput for decimal-friendly width editing#1919
kmcginnes merged 5 commits into
mainfrom
width-input-decimal-editing

Rewrite NumberInput as focused-draft over derived display

9d6728b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar