On Tuesday 25 February 2003 03:27 pm, Joseph A. Caputo wrote: > Here is a revised patch. It includes a new setting to control whether > file type extensions are displayed in the browser. > > -Joe C. Thanks -- it's in CVS now. Isaac