On Mon, 29 Jun 2026 17:44:14 GMT, Michael Strauß <[email protected]> wrote:

>> Michael Strauß has updated the pull request incrementally with one 
>> additional commit since the last revision:
>> 
>>   "linux" means "unix but not macOS"
>
> I think we can define `linux` as "Unix, but not macOS and not Android" so 
> that it includes systems like Solaris. From a UI perspective, there's no need 
> to differentiate between different flavors of Unix, so long as all of those 
> flavors use our GTK pipeline.
> 
> Calling the feature value `unix` would be confusing, because it doesn't match 
> for unix-like systems where our rendering platform is not GTK. And from a 
> developer perspective, I think "linux" is generally understood to also 
> include systems with different branding.
> 
> The developers of 
> [Firefox](https://github.com/mozilla-firefox/firefox/blob/c686530f70e9d4b8b4285d931a5630504939fca8/servo/components/style/gecko/media_features.rs#L562)
>  also chose those semantics with the same rationale:
> 
> 
> pub enum Platform {
>     /// Matches any Android version.
>     Android,
>     /// For our purposes here, "linux" is just "gtk" (so unix-but-not-mac).
>     /// There's no need for our front-end code to differentiate between those
>     /// platforms and they already use the "linux" string elsewhere (e.g.,
>     /// toolkit/themes/linux).
>     Linux,
>     /// Matches any iOS version.
>     Ios,
>     /// Matches any macOS version.
>     Macos,
>     /// Matches any Windows version.
>     Windows,
> }

> @mstr2 unrelated to this PR, do you think the code in `ButtonBar` is a 
> candidate that we should rather solve with the platform media queries instead?

Yes, this looks like a good candidate for the new media query.

-------------

PR Comment: https://git.openjdk.org/jfx/pull/2193#issuecomment-4835405869

Reply via email to