On Fri, Mar 20, 2015 at 09:34:09AM +0100, Stéphane Glondu wrote: > It appears to be an interaction with show-paren-mode. In a clean sid chroot: > > 1. apt-get install emacs-nox > 2. apt-get install tuareg-mode > 3. emacs /tmp/toto.ml > 4. Insert "fun () -> assert false" > 5. M-x show-paren-mode > 6. Go to first character and start deleting characters
yes, I can reproduce that. Thanks for having figured that out -Ralf. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
