Mosè Giordano <[email protected]> writes: >>> For the second: >>> 1. press $ twice, but the second pressure will insert only one dollar sign >> >> Uh, why that? IMO, pressing $$ should insert $$|$$ with | being >> (point). > Because that's the current behavior of `TeX-insert-dollar' :-)
Let's see if there's someone relying on that behavior. :-) http://xkcd.com/1172/ >> Well, I consider the $$ gives $$|$ a bug, or at least unexpected >> behavior. > The attached patch finally removes `TeX-math-close-double-dollar'. I > changed the behavior of `TeX-insert-dollar' in the texmathp case: if > point is right between a couple of dollars and `TeX-math-electric' is > non-nil (whatever its value), another couple of dollars is inserted > and point is placed between them. Now I agree that your alternative > is preferable ;-) Ahh, finally. :-) Commit, push, and have a nice weekend! Bye, Tassilo _______________________________________________ auctex-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex-devel
