[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [platform-dev] Linux: handle problematic GTK3 themes
|
https://bugs.eclipse.org/bugs/show_bug.cgi?id=543245
On 2019-01-07 20:23, Eric Williams wrote:
On 1/7/19 11:13 AM, Thomas Singer wrote:
In my Linux Mint installation I can select, e.g. "Clearlooks" in the
GUI for the controls. Adding
export GTK_THEME=Clearlooks
before launching SmartGit has no effect - it still uses the system
setting of Mint-X.
I'm running now an Ubuntu Mate 18.04 and setting GTK_THEME seems to
have some visual effect, but the org.eclipse.swt.internal.gtk.theme
seems to report the system theme, not the actually used one. Is this
expected behavior? Am I logging the wrong option?
This is a bug, that property should consider the GTK_THEME environment
variable -- right now it just queries the OS blindly.
Please open a ticket and add me as CC, thanks.
Eric
_______________________________________________
platform-dev mailing list
platform-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe
from this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev
