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

[andiwand]

The engine moves to 7.2.1, up from 7.1.0, and the editing UI follows
OpenDocument.droid #668, #669, #670, #671, #672, #674, #675, #676 and #677.
Nothing in it has shipped yet, so the Unreleased entries are rewritten rather
than added to.

The bar holds the document, the strip the text

Undo, redo and save are bar buttons, so they do not scroll away, and the page's
own report enables them. Redo stays out over a PDF, where a mark is taken back
one at a time and never put back. The magnifier and the document's name stand
down while an edit is on: six buttons and a name do not fit a phone's bar.

The strip is formatting alone, so a sheet or a plain text file shows no strip at
all.

One tool per tap

Every tool is one square. A tap does the tool's one job and a long press
opens the colours it applies, so the chevrons are gone. The text colour and the
size open on a tap, having no state to turn off. VoiceOver has no long press, so
the colours are the button's accessibilityCustomActions as well.

Each tool is an icon over a slot, and the slot is there whether it holds
anything or not, so the icons sit on one line and no colour bar runs into the
glyph above it. The row is centred where the tools leave room, and scrolls where
they do not.

The fourteen sizes stay a UIMenu, which is the platform's own answer to what
Android solved with a row of chips; the menu marks the size the text is in.

The gate is on the tool, not on the mode

Both editions open every kind the core calls editable, a PDF included. A locked
strip dims what only offers Pro and leaves the highlighter working, under
both the names it has - highlight is the formatting style and the PDF's
marking tool alike. A mode nobody can do anything in is not worth opening.

The two offers say what is still Pro, rewritten in all sixteen languages. iOS
does not fall back to the development language for a missing key, so they are
translated rather than dropped.

Core 7.2.0 is what the free highlighter needs: it takes a format that starts and
ends in one paragraph, which 7.1.0 refused under the paragraph scope Lite
renders with.

The rest

• The same pencil edits a document and marks up a PDF. The two never stand in
  the bar together, so the label separates them.
• The banner leaves the middle of the screen for the top, so the tools stand on
  the document rather than on the ad.
• From iOS 26 the bar keeps a gap above it as well as below: a glass capsule is
  drawn to the bar's height, and the banner would have cut it off.
• The bridge states odr.editing.setSheetOptions({ editOnClick: true }),
  because a web view answers the pointer as a mouse in the simulator.
• The core also brings a PDF mark that covers the glyphs it marks, a selection
  that keeps both handles, and a minimum-scale that lets an A0 page zoom out
  to fit.

The Android window fixes behind #672 and #674 are its action mode's mechanics
and have no counterpart here; only the banner's place carries over.

Checks

Both schemes build. 91 unit tests pass, including new ones for the bar's three
buttons, the sheet's missing strip, the PDF's pencil and the locked strip.
Checked by hand on an iPhone 17 simulator in both editions.

🤖 Generated with Claude Code

https://claude.ai/code/session_01XASU9ZfSJ6QwsAJGE3DrN1