On Mon, Dec 10, 2001 at 05:08:31PM +0100, Jean-Marc Lasgouttes wrote: > John, I tried the patch and it seems to work, but I noticed something > else: automatic removal of double spaces is broken (place the cursor > between two spaces and move it). Didn't you change things in this area > recently?
nope ?
I had that stupid lyxcode patch, but it never got applied (I hope)
regards
john
--
"Take the ideas you find useful. Try not to get hung up on the labels."
- Jonathan S. Shapiro
