On Mon, 29 Jun 2026 17:41:05 GMT, Michael Strauß <[email protected]> wrote:
>> Add the `-fx-platform` media query (similar to `-moz-platform` in Firefox) >> that allows applications to switch styles based on the operating system on >> which the application is running. >> >> >> --------- >> - [x] I confirm that I make this contribution in accordance with the >> [OpenJDK Interim AI Policy](https://openjdk.org/legal/ai). > > Michael Strauß has updated the pull request incrementally with one additional > commit since the last revision: > > "linux" means "unix but not macOS" modules/javafx.graphics/src/main/java/com/sun/javafx/css/media/MediaFeatures.java line 58: > 56: "android", PlatformUtil::isAndroid, > 57: "ios", PlatformUtil::isIOS, > 58: "linux", PlatformUtil::isUnix, // for our purposes, "linux" means > "unix but not macOS" I wonder if the GTK aspect is more important here, and also in the `cssref.html`? It's not about file path separators or some such, it's about GUI toolkit, isn't it? ------------- PR Review Comment: https://git.openjdk.org/jfx/pull/2193#discussion_r3493685538
