Re: How to detect a gtk desktop programmatically
Tres Finocchiaro via desktop-devel-list <[email protected]> Fri, 14 Aug 2020 14:14:06 -0400
| Newsgroups | gmane.comp.gnome.desktop |
|---|---|
| Message-ID | <CANQs7dAYDGgA2JXP4NktrGhrNGEp20oJQG-EiKJGj_sLCyg=+Q@mail.gmail.com> |
Just an update, OpenJDK does not agree that forcing the Gtk theme on desktops such as KDE are warranted. Quoting: The status quo that if it isn't GTK, we use Metal seems like the right > thing to stick with. There'd be larger changes needed to support GTK if > (for example) the > right libraries weren't installed, and who knows what UI defaults would be > set to and if > themes would work properly and even then what's the point ? All in all safe and simpler to use Metal. Unfortunately, the patch goes to similar lengths as the aforementioned Debian scripts, checking for the string "gnome" in the XDG_CURRENT_DESKTOP. I've reached out to the JDK developer to warn them that for distributions such as Pantheon, this solution will fail. The good news is OpenJDK will look correct on *most* desktops. Link to the openjdk mailing list conversation: https://mail.openjdk.java.net/pipermail/swing-dev/2020-August/010620.html - [email protected] On Thu, Apr 30, 2020 at 12:40 PM Emmanuele Bassi <[email protected]> wrote: > On Thu, 30 Apr 2020 at 17:23, Michael Catanzaro <[email protected]> > wrote: > > >> I would worry about the future, though. I'm skeptical that updating to >> GTK 4 will ever be possible (due to the removal of the foreign drawing >> API that allows non-GTK apps to render boxes and buttons and such using >> the GTK theme). So even if it's the best option today, I don't see much >> long-term future here. I'm not sure what the Java community should be >> doing, but probably thinking about this early would be better than >> waiting until GTK 4 is released and it's too late for major changes. >> > > Slight correction: with GTK4 it's still possible to create render nodes > and use them to render CSS state, but you have to handle that state on your > own. In practice, this means you won't be able to use GTK API to render > stuff that looks like a GTK widget according to the current theme; if you > want something that looks like a GtkWidget, you need to use GtkWidget. > > Ciao, > Emmanuele > > -- > https://www.bassi.io > [@] ebassi [@gmail.com] > _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list