Skip to content

Hide Top Bar: the Desktop edge to edge on a display of the device's own size (after #197) - #312

Open
lepeos wants to merge 6 commits into
Saffsanity:mainfrom
lepeos:device-desktop
Open

lepeos wants to merge 6 commits into
Saffsanity:mainfrom
lepeos:device-desktop

Conversation

@lepeos

@lepeos lepeos commented Nov 5, 2026

Copy link
Copy Markdown

The Desktop edge to edge under Hide Top Bar. Replaces #161 and builds on #197 (#92's decision).

What it does

Checks

  • Tests/checks/phone-portrait/run.sh: 494 passed, including 6 new checks, one of them 5,000 random sequences of switch, rotation, source and overlay. Mutants: 83 of 83 caught, including the new B6 to B10.
  • protocol: ALL PASS. compatibility: 151 checks, 0 failed.
  • swift build builds the host, with only the known CaptureProbe warning. The iOS simulator build succeeds.

Not yet tested

  • A live session against the real host on an iPad. I haven't watched the Desktop edge to edge, a rotation, or going into and out of Settings while the device desktop is live.
  • Fork PR, so CI waits for workflow approval.

addhumal and others added 6 commits October 21, 2026 09:27
The host half of Saffsanity#156 (dr-apple), unchanged, for Immersive on the iPad; if
mode (a second tap on Desktop) is not taken: Immersive asks for the display
instead.

The device's viewport says so (Viewport.deviceDesktop, optional; an older host
ignores it and the Mac's own screen fills the picture). The host then makes a
virtual display of the device's size (÷ Aa's scale, at 2x) and makes it the
main display while the Desktop streams, as Screen Sharing's High Performance
mode does: menu bar and Dock move there, and the device shows a whole Mac
desktop edge to edge at its own resolution (DeviceDesktop.swift). A rotation
or an Aa step makes it again; anything else streaming, the flag off, the last
device leaving or Quit gives the main role back and removes it. The catalog
never takes one of Sill's virtual displays for the real screen.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… own size

With Hide Top Bar on, the device sideways and the Desktop streaming, the viewport sets
deviceDesktop, so the Mac makes a display of the device's size (DeviceDesktop, the commit
before) and the Desktop fills the screen with no letterbox. An overlay that brings the bar
back keeps the last full-screen size, so the Mac does not recreate its display for a drawer
or a Settings visit. TopBarVisibility.wantsDeviceDesktop and .viewportSize, with checks and
mutants B6-B10 in Tests/checks/phone-portrait.
dr-apple added a commit to dr-apple/sill that referenced this pull request Nov 6, 2026
Conflicts:
- StreamCoordinator: the Desktop's capture moved into desktopCapture(). It
  takes the device's own display (on:), as Saffsanity#312 resolves it, and the one more
  try after a failed start passes it too while it lives, so capture and input
  stay on one display.
- StreamScreen, PortraitStreamScreen: both sides kept (the caret note and the
  pinch zoom beside the full-screen mode).

The full-screen picture follows the layouts' since main: ZoomedStreamView and
the zoom, the Mac's key repeat for a hardware keyboard, the locked Mac's cover.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants