bug#17588: 24.3.91; mouse-face glitchy

[Eli Zaretskii]

> From: Michael Heerdegen <michael_heerdegen@web.de>
> Cc: Christopher Schmidt <ch@ristopher.com>,  17588@debbugs.gnu.org
> Date: Mon, 26 May 2014 23:17:19 +0200
> 
> Michael Heerdegen <michael_heerdegen@web.de> writes:
> 
> > (emacs-version) => "GNU Emacs 24.3.91.1
> >   (x86_64-unknown-linux-gnu, GTK+ Version 3.12.2)
> >   of 2014-05-25 on drachen"
> 
> I have rebuilt Emacs with the lucid X toolkit.  There is no
> difference with that build, it shows exactly the same symptoms.

That's expected: mouse highlight is an Emacs features, for which we
use no toolkit-specific tricks.