From 8fd8f585aa0a6744bbf91eb786cd46b3e9bea2f3 Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Thu, 6 Aug 2026 16:22:05 +0200 Subject: [PATCH] docs: the zoom lane records PR #220 Co-Authored-By: Claude Opus 5 --- docs/active-work.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/docs/active-work.md b/docs/active-work.md index 62c6c70..2e4d7d0 100644 --- a/docs/active-work.md +++ b/docs/active-work.md @@ -296,10 +296,12 @@ change to *when* `needs_full_grid` is set — the producer's triggers were verified correct, along with per-frame geometry sync and `view_top` reconciliation on shrink. -## GUI zoom (QoL Stage 2) — IN FLIGHT +## GUI zoom (QoL Stage 2) — PR #220 OPEN -**Written with the lane's first commit, before the PR exists** — the -standing correction from #171 and #215. +**PR #220** — https://github.com/levineuwirth/pmacs/pull/220. **Written +with the lane's first commit, before the PR existed** — the standing +correction from #171 and #215 — so the row below was filled in rather +than invented. - **Branch `gui-zoom`**, base `githubsucks/main` @ `218d2e7` (the #219 merge). `githubsucks/gui-zoom` is the authoritative tip.