preferences_widgets -- Delete spinctrl hack for WIN32 (not needed with updated wxwidgets).  People using Cygwin:  either need a new contrib set, else compile wxwidgets CVS, at least the 6 Feb version.