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. _______________________________________________ Bug-gnustep mailing list Bug-gnustep@gnu.org http://lists.gnu.org/mailman/listinfo/bug-gnustep