[webkit-changes] [WebKit/WebKit] 3f98b4: [visionOS] Media: fullscreen player controls are n...

[Dean Jackson]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 3f98b4e907f520ed1dc15c8915e6697a6ee89c6d
      https://github.com/WebKit/WebKit/commit/3f98b4e907f520ed1dc15c8915e6697a6ee89c6d
  Author: Dean Jackson <dino at apple.com>
  Date:   2023-10-06 (Fri, 06 Oct 2023)

  Changed paths:
    M Source/WebKit/UIProcess/ios/fullscreen/WKFullScreenViewController.mm

  Log Message:
  -----------
  [visionOS] Media: fullscreen player controls are not up to spec
https://bugs.webkit.org/show_bug.cgi?id=262801
rdar://116372898

Reviewed by Tim Horton.

When visionOS changed its pixels-per-meter value, we forgot
to update the sizes and positions of the fullscreen exit and
related buttons.

* Source/WebKit/UIProcess/ios/fullscreen/WKFullScreenViewController.mm:
(-[WKFullScreenViewController loadView]): Adjust some constants.

Canonical link: https://commits.webkit.org/269013@main