Catch up with the Android app's editing UI, on core 7.2.1 - #196

Merged

andiwand merged 5 commits into

mainfrom

catch-up-with-android-editing

Sep 21, 2026

Commits on Sep 20, 2026

Catch up with the Android app's editing UI, on core 7.2.1

andiwand
and
claude
committed
05ab489
Compress the tools strip, and put the right glyph on each pdf mark

andiwand
and
claude
committed
ed79845
Give the squiggly mark a letter, as the underline beside it has

andiwand
and
claude
committed
c9a7a88

Commits on Sep 21, 2026

Take core 7.2.2, where ink lands where the finger went

andiwand
and
claude
committed
40836c3
Open the colours only on a tool that has them, and cut the comments

andiwand
and
claude
committed
9500d48