On Fri, May 24, 2002 at 12:36:08PM +0300, Dekel Tsur wrote:
> > I think I'll change the format of lib/autocorrect at some point of time, so
> > this is not finished there.
>
> Very nice, but if I type - at the end of a math inset and then space,
> the cursor do not exit the inset as I would expect.
Press space again then.
<space> now
- "cools the cursor" (i.e. disables autocorrect until the next insertion)
if the cursor is "hot" (i.e. last thing was insertion)
or
- removes the selection if present
or
- leaves the inset
Not nice, I know. But there aren't too many free keys...
> If you want that there will be an easy way to get '- >', then
> perhaps the keyboard sequence should be ->* (the star would "break" the auto
> correction).
Actually I think I'll change the behaviour. "Scrolling" though "similar"
symbols could be done by Cursor right/left (no need for <Shift-8> (aka *))
and I have a somewhat more compact format for lib/autocorrect in mind
(like
> = \geq \geqq \geqslant
\geq / \ngeq \ngeqq
such that '>' '=' gives a '\geq', and left/right rotates through the list
of three "similar symbols", and pressing / after any of them gives
'\ngeq' etc.
Andre'
> And why aren't you putting this on CVS?
I just did it... I was getting used to waiting for Lars' nod for trivial
changes ;-)
Andre'
--
Those who desire to give up Freedom in order to gain Security,
will not have, nor do they deserve, either one. (T. Jefferson)
