On Thu, 3 Apr 2003, Andre Poenitz wrote: > On Mon, Mar 31, 2003 at 07:30:03PM +0200, Christian Ridderström wrote: > > Opinions? Objections to filing it as an enhancement request? > > No need for it. I am more than mildly annoyed by this behaviour myself. > Unfortunately there is no obvious solution for it (most notably it's not > just "make it one pixel smaller", as this introduces "sursor droppings"). > I think the situation willl imprve as soon as we have a "full redraw > everytime" policy in place. We can do much better "fine tuning" then... > Ok. Btw, if you want a really _ugly_ example, try ending the math-inset with a '+'. The space between the '+' and the cursor is big... (I'm guessing this is because '+' are coded as having lots of space around them?)
> > > As a temporary "workaround", I can start using <Escape> to leave > > math-mode, but I think I'd prefer <Space>. > > What's wrong with thinking you have pressed space twice? Even if you had, > it qwould not matter much, as usually this space is needed? > Old habits die hard ... guess I (or my fingers) are used to manually remove double spaces or something. Now that I tried repeating it to see what I'm doing, I got annoyed at accidentially deleting the math-inset all the time. Maybe the real problem is that you miss the cases where there isn't a space between the math-inset and the text. /Christian -- Christian Ridderström http://www.md.kth.se/~chr
