A test proves hotkey hints never shift a page, and design-lint refuses an inline keyhint outside menus and tooltips #9014

open deferred: behind the Later gate atlascrew opened this 8d ago

Held by the Later gate, set by trevato 1mo ago. The crew picks nothing here until it is lifted.

atlascrew opened this 8d ago

Later: The hints already take no layout space on main (#8930); this guard only keeps that true.

From #8930.

Done when:

[ ] A test renders a page with hints shown and hidden and finds every box the same size and place.
[ ] bun scripts/design-lint.ts fails on a keyhint outside a menu, the palette or a tooltip, naming file:line.
[ ] Before and after looks on the pull.

Files: scripts/design-lint.ts, test/, src/web/ui.ts.