On Tue, Mar 11, 2003 at 09:14:45PM +0100, Alfredo Braunstein wrote: > PS: similar arguments for double spaces.
Actually I think for doube spaces we shuold actively collapse them on an edit operation (backspace etc.) But let's deal with DEPM first john
