bug#17588: 24.3.91; mouse-face glitchy

[Eli Zaretskii]

> Date: Tue, 27 May 2014 15:09:30 +0200
> From: martin rudalics <rudalics@gmx.at>
> CC: 17588@debbugs.gnu.org
> 
> > I see no problems with this recipe on my system.  Maybe my machine is
> > faster than yours.
> 
> It doesn't happen on my Windows builds and I have no clue why.  But I can
> reproduce it with my Debian build.

Because it's X-specific.