> Much nicer would be an effort to fix one or two of the remaining > functional bugs. Just to name two of these functional bugs: > > - the currently not working "Save Theme" function of the Appearance
I think I fixed this one a few weeks ago. I've just tested here and it works. Some changes in the WMRootMenu generated by wmgenmenu together with some fixes in getstyle make it work for me. > - any global definition in /etc/GNUstep/Defaults/WMWindowAttributes > can't be overridden by a users' own private > $HOME/GNUstep/Defaults/WMWindowAttributes entries. Really? -- To unsubscribe, send mail to [email protected].
