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... > 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? Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson or B. Franklin or both...)
