[webkit-changes] [WebKit/WebKit] d43f02: Cherry-pick 278552 at main (2cc44d12c344). https://bu...

[Adrian Perez]

  Branch: refs/heads/webkitglib/2.44
  Home:   https://github.com/WebKit/WebKit
  Commit: d43f02aad40d825ed462520127b6bfde11fcff5c
      https://github.com/WebKit/WebKit/commit/d43f02aad40d825ed462520127b6bfde11fcff5c
  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:
  -----------
  Cherry-pick 278552 at main (2cc44d12c344). https://bugs.webkit.org/show_bug.cgi?id=255585

    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

Canonical link: https://commits.webkit.org/274313.208@webkitglib/2.44



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