f9a22111f0
Previously, adjacent tabstops like $1$2 were not handled properly. $2 could be jumped to but no text could be added. See issue #457.