Follow embedded PDF links through Look

1 files changed, 9 insertions, 0 deletions

diff --git a/docs/design.typ b/docs/design.typ
index 88bb49d6..f6e2e240 100644
--- a/docs/design.typ
+++ b/docs/design.typ
@@ -1954,6 +1954,15 @@ palettes, ascii glyph set toggle). PDF (`-Dmupdf`, native default on): MuPDF
 rendering as one continuous page strip, real text search, mouse text
 selection, the document outline into `+PdfSections`, fit-width/fit-height and
 a themed duotone tint — the last three named in the pane's own live tag.
+Embedded PDF links use the ordinary right-click Look gesture. Hovering one
+shows an accent highlight and a pointing hand in graphical frontends; dragging
+still selects text. Internal links reveal their page and anchor. When the
+annotation's visible label resolves to a different Look location, a `+Links`
+output lists the visible destination and the embedded destination for you to
+choose with Look. Internal destinations in that list use `document.pdf:page`.
+Labels that are not locations follow the embedded link directly; identical
+destinations open once. Links use the same supported URL and file-location
+rules as Look.
 Tutor: embedded text as file pane.
 
 *Language.* The native host snapshots each request and runs it outside the UI