Hello again members of the list,
Three questions/suggestions:
1) Should wmaker.inst call wmgenmenu? (I still prefer the old menu though).
2) The default installation doesn't seem to set the appropriate PATH to
WPrefs in the WMRootMenu:
/usr/local/GNUstep/Applications/WPrefs.app/WPrefs
instead of
/usr/local/bin/WPrefs
3) In default setups window maker looks like a combination of the
Traditional /Style/ and the Default /Theme/ (the menu looks like the
traditional style).
I think that setting the Default theme as default would be good and this
could be easily done in the wmaker.inst script.
Regards
--
To unsubscribe, send mail to [email protected].
