Repository navigation

feat(ui-egui): font name and size combo boxes, OneNote whole sizes - #97

Merged

mameen merged 4 commits into

mainfrom

feat/font-combo-craft-ui/agent-1

Nov 12, 2026

Merged

feat(ui-egui): font name and size combo boxes, OneNote whole sizes#97
mameen merged 4 commits into
mainfrom
feat/font-combo-craft-ui/agent-1

Commits on Nov 12, 2026
- fix(ui-egui): font size list is OneNote's whole sizes, without pt
  
  alientechsw
  and
  claude
  committed
  80f9638
- feat(ui-egui): editable font name and size boxes with shared combo
  
  alientechsw
  and
  claude
  committed
  530825f
- fix(ui-egui): set the inline field on the caret placed for a font choice
  
  alientechsw
  and
  claude
  committed
  d99fd09
- fix(ui-egui): build the Windows font folder loader only on Windows
  
  alientechsw
  and
  claude
  committed
  e56f07f