On Wednesday 24 March 2004 03:20 am, Andre Poenitz wrote: > On Tue, Mar 23, 2004 at 02:56:03PM +0100, Christian Ridderström wrote: > > Just out of curiousity, could you exand on why? Do you dislike > > double-clicking with a mouse for instance? > > First, I'd consider this bad UI as well. > > People are used to the concept of mouse double clicks but not to 'double > keys'. I'd guess a lot of surprise if lyx behaviour depends on your > typing speed...
I'd like to point out that there's no reason whatsoever for this functionality to be time-dependent in any way. C.f. mathed's ctrl-space, space, ... Cheers, Kuba Ober