Swipe between a profile's commits and replies under a header that scrolls away

[simonhamp]

A profile's Commits and Replies now swipe, with the pager's own tabs underlined in your lane colour, as on the Log and Notifications. The header (avatar, facts, counts, activity, streaks and achievements) scrolls up with the tab you're on, the tabs pin under the nav bar once it has gone, and the pages swipe under the tabs while the header stays still. Your own profile and someone else's work the same.

This needs NativePHP/mobile-ui#139, which adds a header slot and an overlay slot to the pager. It's merged into combined/dev-null-app and the lock points at it (ca9b7ef).

What changed

• Profile follows the Log's pattern: showPage and backToTop from the pager, a list key per tab, and only the tab you're on is live. The other tab shows the first five commits kept for it, so the frame stays small (about 1,550 nodes with 30 commits on the live tab). Your own profile still opens on the tab you last had (ShownTabs).
• The header moved to partials/profile-header and goes in <native:pager-header>. Each tab's page is partials/profile-page.
• The new commits pill goes in <native:pager-overlay>, which hangs it just under the tabs wherever the header has scrolled them. On the profile that replaces Put the new commits pill under the composer, and pin it when you scroll #9's sticky header between the tabs and the commits; the Log keeps the sticky header.
• Profile now sends every frame in full, like the Log. Without it, tapping the tab you're on did nothing on the phone: only the list's key changes, and EDGE's subtree reuse ignores keys.
• partials/page-tabs is gone, since nothing uses it now.

What I tried

Header rows in each page's list, with PHP tabs or the pager's tabs above, would have slid the header sideways with every swipe, and the tabs couldn't pin. Laying the header over the pages left drags on it scrolling nothing. So the mobile-ui change has each page's list draw the header and pin the tabs, holds them still during a swipe, and keeps the two lists level while any of the header shows. Details are in NativePHP/mobile-ui#139.

What to check

• The pill: it's no longer in the list's page, so it doesn't move when you swipe. It hides again once the swipe settles on the other tab, as before.
• Rebased on main after Open the web's achievements dialog from a profile's badges #4, Mute and block people, and undo it from your account #6, Put a commit's save, link, report and delete in one More menu #7, Wear your lane colour on the main buttons, and make full-width buttons large #8, Put the new commits pill under the composer, and pin it when you scroll #9 and Open a profile's followers and following from its counts #10. The header partial keeps the achievements shelf and sheet, the tappable follower counts, and Follow in your colour. The safety menu, the blocked page and the delete alert are unchanged in Profile.
• The README's list of what combined/dev-null-app carries is already behind (no pager tabs, sticky header or this), so I left it alone.

Known rough edges

On a real iPhone it can be a little glitchy at times. Simon tested it on his phone and is happy to ship it as it is. These are the spots I know of or suspect, for anyone who wants to pick them up.

Seen in the simulator:

• A sideways swipe that starts on the achievements chips scrolls the chips, not the tabs.
• The pill doesn't move during a swipe. It hangs over the other tab until the swipe settles, then hides.
• A swipe made while the profile is still opening sometimes doesn't change tab.
• The tab you leave starts again at its top when you come back, as on the Log.
• A short tab has blank space at its end, so the header can still scroll away above it.

Suspected, since the simulator looked fine:

• The header is held still by moving it against the pager's position every frame. On a device it may shimmer sideways for a frame during a fast swipe.
• The other tab is scrolled to the same height through its UIKit scroll view. A list that was only just made, or rows whose heights are still estimates, can land a little off. Then the two halves of the header don't quite meet mid-swipe, or the header jumps when the swipe settles.
• The pill is placed from where the tabs were last measured, so it can trail them by a frame when you scroll fast.
• The profile now sends every frame in full. A refresh that lands mid-scroll may cause a hitch.
• VoiceOver reads the header on both tabs.

The pager side of these is in NativePHP/mobile-ui#139.

Verified

php artisan test (775 passed) and Pint. On an iPhone 17 Pro simulator (iOS 26.2) against the local API: swipe both ways, tap both tabs, tap the tab you're on to go back to the top, scroll the header part way and swipe (the other tab is level), scroll it away and swipe to a short tab, pull to refresh, the pill under the tabs and following them up, dark mode, my own profile and someone else's. After the rebase, on a fresh simulator: swipes, tab taps, reselect, the header scrolled away, the badge shelf opening the achievements sheet, the followers count opening the list (the shared API site has no followers endpoint, so the list itself 404s there), the ⋯ menu on someone else's profile, and deleting my own commit from my profile. Android was checked with a test screen in NativePHP/mobile-ui#139.

Header at the top	Tabs pinned	Mid-swipe, header still

Someone else's	Pill under the tabs	Pill with the tabs pinned

Recording: ios-profile-pager.mp4

🤖 Generated with Claude Code