On Wed, Mar 12, 2003 at 09:41:19AM +0100, Alfredo Braunstein wrote: > > Actually I think for doube spaces we shuold actively collapse them on > > an edit operation (backspace etc.) > > You mean to collapse the space far away from where the edit operation > occurs? Or to allow the creation of double spaces eventually? Could you > elaborate?
Like this : blah |a blah after a "delete" key : blah |blah So we maintain the invariant of no two spaces existing like that. As I mentioned there's one special case I'm aware of and that's replace a selected word with a paste. alternatively we could just strip spaces on save/export too. But it's a lot easier to accidentally create two-spaces rather than two-paragraphs, so I'm not sure that's a good idea. regards, john