I think we should not behave as rigidly as that. Instead, we should just use the same behavior common in Emacs when you type something like
( blablabla ] It just outputs "Mismatched parentheses" in the echo area, and that's it. The character still gets inserted. What do you think? -- David Kastrup, Kriemhildstr. 15, 44793 Bochum _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
