RE: Mention mouse-face changes mouse pointer shape

["Drew Adams" <drew.adams@oracle.com>]

> >>     But shouldn't the cursor change to a hand cursor rather
> >>     than an arrow cursor when hoovering over a mouse-face?
> >>
> >> I think the change was a mistake, instead we should have arranged the
> >> relevant areas to have both mouse-face and pointer text properties. But
> >> I don't know how much effort it will be now to go back and change this.
> >
> > I haven't followed this thread closely, but this does indeed
> > sound like a (design) mistake. The two, mouse-face and pointer
> > shape, should be independent, by default. If some particular code
> > wants to couple them for some purpose, that's fine, but such a
> > coupling should not be hard-coded or the default behavior.
>
> Something like 'mouse-face, 'mouse-link-face, 'mouse-pointer with
> appropirate priorities?

I don't know what you're proposing concretely, but any such proposals should
be discussed after the release.

I might have misunderstood, but I interpreted Jason's message to say that
these two properties are now coupled generally, instead of them both just
having been applied to the "relevant mode line areas". Perhaps the coupling
is not so general, and is limited to the mode line as a whole, but the same
argument still applies: they should be coupled only as needed, as particular
code sees fit.

My point was that, if these two properties are now coupled in a general way,
then that is a mistake. That would represent a change from the traditional
behavior, apparently slipped in as a bug fix, and it should be pulled out,
IMO. That's all I meant to say.