Functions applying string properties need to leave point at the place
where they want parsing to continue from.
Previously, since we matched two characters with
groovy-slashy-open-regex, we would put point after the first closing
doublequote, giving """foo/"|"". This would stop us seeing the whole
""" and we wouldn't consider the triple-quoted string literal to be
closed.
In this circumstance, we now set the point immediately after the /.
Functions applying string properties need to leave point at the place where they want parsing to continue from.
Previously, since we matched two characters with groovy-slashy-open-regex, we would put point after the first closing doublequote, giving
"""foo/"|""
. This would stop us seeing the whole"""
and we wouldn't consider the triple-quoted string literal to be closed.In this circumstance, we now set the point immediately after the
/
.