Re: address@hidden: hl-line should be updated when overlay-arrow-position is changed]

[Dave Love]

>>>>> Richard Stallman writes:

 > You're the maintainer of hl-line; could you please look at this?

As far as I remember, it got modified by others since I contributed
it, and I don't have any real interest in it.

However, it seems unlikely that there's a problem with the mode as
such.  It just depends (or did) on pre- and post- command hooks being
run, and the value of point.