> Thanks very much for your review.  What you point out above is certainly
> true, but
> then it is consistent with the current behaviour when searching for the
> beginning-of-line ('^') anchor and the point at the beginning of a
> non-empty line. In that case, the point does not move.

This sounds like a convincing argument for my first version to me, so I
have committed that.  Thanks a lot to both of you.

Reply via email to