[webkit-changes] [WebKit/WebKit] 7128c7: [GTK] Hook up prefers-contrast media query on GTK3

[Patrick]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 7128c7a8144c5d486ab1dd3ac4b74f59b33a9de3
      https://github.com/WebKit/WebKit/commit/7128c7a8144c5d486ab1dd3ac4b74f59b33a9de3
  Author: Patrick Griffis <pgriffis at igalia.com>
  Date:   2023-05-22 (Mon, 22 May 2023)

  Changed paths:
    M Source/WebCore/css/query/MediaQueryFeatures.cpp
    M Source/WebCore/platform/adwaita/ThemeAdwaita.cpp
    M Source/WebCore/platform/adwaita/ThemeAdwaita.h

  Log Message:
  -----------
  [GTK] Hook up prefers-contrast media query on GTK3
https://bugs.webkit.org/show_bug.cgi?id=256436

Reviewed by Michael Catanzaro.

This implements the prefers-contrast media query on the
GTK3 port by relying on gtk-theme-name.

* Source/WebCore/css/query/MediaQueryFeatures.cpp:
(WebCore::MQ::Features::prefersContrast):
* Source/WebCore/platform/adwaita/ThemeAdwaita.cpp:
(WebCore::ThemeAdwaita::ThemeAdwaita):
(WebCore::ThemeAdwaita::refreshGtkSettings):
(WebCore::ThemeAdwaita::userPrefersContrast const):
* Source/WebCore/platform/adwaita/ThemeAdwaita.h:

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