[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #32166] dynamic theme switching and in-window menu bar
From: |
Richard Frith-Macdonald |
Subject: |
Re: [bug #32166] dynamic theme switching and in-window menu bar |
Date: |
Fri, 4 Feb 2011 21:28:50 +0000 |
On 4 Feb 2011, at 17:45, Richard Frith-Macdonald wrote:
>
> On 4 Feb 2011, at 17:28, Gregory John Casamento wrote:
>
>>> The old code used to support changing in either direction, this is no
>> longer true.
>>
>> I'll assume you're correct here, but this wasn't always my experience.
>> Switching themes in general has always been a very imperfect process.
>
> I think this is only the case after people started breaking it! Switching
> between themes dynamically used to work very well for me.
More specifically, everything worked perfectly for dynamic theme switching
apart from changing between window manager decorating borders and gui
decorating borders.
The border decoration option was controlled in the backend and the window frame
size offsets were stored in various places, so making the code support
switching between the two was non-trivial and I never got round to it. It's
not that this worked imperfectly, it simply wasn't implemented at all, but it
was definitely the *only* thing which didn't work.