Branch: refs/heads/main Home: https://github.com/WebKit/WebKit Commit: 7128c7a8144c5d486ab1dd3ac4b74f59b33a9de3 https://github.com/WebKit/WebKit/commit/7128c7a8144c5d486ab1dd3ac4b74f59b33a9de3 Author: Patrick Griffis <pgrif...@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 _______________________________________________ webkit-changes mailing list webkit-changes@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-changes