[webkit-changes] [WebKit/WebKit] 2cc44d: Web Inspector: Improve selectors to change title a...

Adrian Perez noreply at github.com
Thu May 9 02:05:11 PDT 2024


  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 2cc44d12c344312c06dcf55fbdd8db7ada26cbd2
      https://github.com/WebKit/WebKit/commit/2cc44d12c344312c06dcf55fbdd8db7ada26cbd2
  Author: Adrian Perez de Castro <aperez at igalia.com>
  Date:   2024-05-09 (Thu, 09 May 2024)

  Changed paths:
    M Source/WebInspectorUI/UserInterface/Views/Variables.css

  Log Message:
  -----------
  Web Inspector: Improve selectors to change title area height
https://bugs.webkit.org/show_bug.cgi?id=255585

Reviewed by Devin Rousso.

Use only :is selectors to match MacOS and apply the non-zero title area
height. The conditions expressed this way in CSS are easier to reason
about when comparing them to the WI.undockedTitleAreaHeight() function.

Improvement suggested by Devin Rousso.

* Source/WebInspectorUI/UserInterface/Views/Variables.css:
(&:is(.mac-platform.monterey, .mac-platform.big-sur):not(.docked)):
(&:is(.mac-platform.catalina):not(.docked)):
(&:is(.mac-platform):not(.mac-platform.monterey, .mac-platform.big-sur):not(.docked)): Deleted.

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



To unsubscribe from these emails, change your notification settings at https://github.com/WebKit/WebKit/settings/notifications


More information about the webkit-changes mailing list