Re: [bug #32166] dynamic theme switching and in-window menu bar

[Richard Frith-Macdonald]

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.