GNU bug report logs - #23200
XFCE: selecting a style has no effect

Previous Next

Full log

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: Jookia <166291 <at> gmail.com>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 23200-done <at> debbugs.gnu.org, Chris Marusich <cmmarusich <at> gmail.com>
Subject: bug#23200: XFCE: selecting a style has no effect
Date: Tue, 05 Apr 2016 10:11:01 +0200

Jookia <166291 <at> gmail.com> skribis:

> On Mon, Apr 04, 2016 at 09:19:47PM -0700, Chris Marusich wrote:
>> ludo <at> gnu.org (Ludovic Courtès) writes:
>> 
>> > ludo <at> gnu.org (Ludovic Courtès) skribis:
>> >
>> >> I’ve tested that with this patch changing colors under the “Style” tab
>> >> in Xfce does have an effect.
>> >>
>> >> I’ll commit it shortly if there are no objections.
>> >
>> > Pushed a slightly different version as
>> > ae05e366bea4517f1e428799f00f11997ccef661.
>> 
>> This fixed the issue for me.  Thanks!
>> 
>> -- 
>> Chris
>
> I heavily disagree with this approach for two reasons:
>
> 1) It doesn't work with user theme installs.

Right, it’s mostly a hack to fix the immediate issue, which probably
covers many use cases since ‘xfce-desktop-service’ and
‘gnome-desktop-service’ install things globally.

> 2) I have a patch that fixes this problem completely.
> 3) The fix I provided has been duplicated upstream in GTK+.
>
> I suggest reverting this and applying my patch and read the full breakdown of
> the issue and solution here:
>
> https://lists.gnu.org/archive/html/guix-devel/2016-03/msg00492.html

Oh, I had overlooked this one, sorry about that!

Ricardo raised some concerns in that thread, namely that the patch
hard-codes a specific profile name as well.  Did you have a chance to
look into it?

Thanks for the heads-up, and my apologies for overlooking it!

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.