Re: [platform-dev] Linux: handle problematic GTK3 themes

[Eric Williams <ericwill@xxxxxxxxxx>]

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