This is probably true. I will see if I can correct the issues with switching from in-window menus to floating menus asap.
GC On Friday, February 4, 2011, Richard Frith-Macdonald <[email protected]> wrote: > > 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. > > -- Gregory Casamento - GNUstep Lead/Principal Consultant, OLC, Inc. yahoo/skype: greg_casamento, aol: gjcasa (240)274-9630 (Cell) _______________________________________________ Bug-gnustep mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-gnustep
