Skip to content

Set default base font to 15px and fix numeric editing#79

Merged
yaacovcorcos merged 7 commits into
mainfrom
agent/default-base-font-size-15
Jul 23, 2026
Merged

Set default base font to 15px and fix numeric editing#79
yaacovcorcos merged 7 commits into
mainfrom
agent/default-base-font-size-15

Merge remote-tracking branch 'origin/main' into agent/default-base-fo…

a95a809
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Prepare PR size config
succeeded Jul 22, 2026 in 3s