>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
Andre> On Tue, Sep 10, 2002 at 03:37:31PM +0100, John Levon wrote: >> On Tue, Sep 10, 2002 at 01:24:25PM +0300, Dekel Tsur wrote: >> >> > > I would prefer this to happen but ONLY at the end of a >> paragraph. Why ? > > Because I can do this : >> > >> > The code would be cleaner if we always make the distinction. >> >> No doubt. But sometimes we need to sacrifice some code for a better >> UI experience. I think this is one of those cases. Andre> I am not sure about that. I things happen _always_ it is easier Andre> to get used to them than if they occur only under very rare Andre> circumstances. Yes. Having a special behaviour at end of paragraphs is broken. JMarc
