Hello,
It looks like some GTK themes cause more problems on Linux than others,
e.g. we have a couple of problems with Mint-X on Linux Mate 17.1.
According to <https://developer.gnome.org/gtk3/3.20/gtk-running.html> it
should be possible to change the theme of a certain application by
setting the environment variable GTK_THEME before launching the
application (ours usually is launched from a .sh script so adding the
"export GTK_THEME=..." line would be no problem). Unfortunately, this
does not work - it simply uses the default Mint-X theme.
How do you actually manage the problems of different themes in
combination with SWT? Do you suggest the users to switch their system
theme? Do you abort the application with an error if a known buggy theme
is detected?
--
Best regards,
Thomas Singer
=============
syntevo GmbH
https://www.syntevo.com
https://www.syntevo.com/blog
_______________________________________________
platform-dev mailing list
[email protected]
To change your delivery options, retrieve your password, or unsubscribe from
this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev
