On Thu, May 23, 2002 at 07:42:07PM +0200, Andre Poenitz wrote: > > See attached patch. > > -> gives \rightarrow > -<space> > gives - > (what ever that should mean) > > 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. 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). And why aren't you putting this on CVS?
