>>>>> "Enrico" == Enrico Forestieri <[EMAIL PROTECTED]> writes:
Enrico> Moreover, nuking the checkbox maybe be seen as a regression... Nuking a checkbox is not a regression per se. Adding a pref just because we can't make up our mind is bad. Considering that cygwin users who want such or such kind of paths are technically apt, I'd go as far as advocating a UI-less pref, that people can change only by hand. This would avoid a confusing checkbox. JMarc
