# HG changeset patch
# User Fred Pierresteguy <F.Pierresteguy@frcl.bull.fr>
# Date 765820644 0
# Node ID 770fe370479b19666cdb1412e32420ae41435762
# Parent  8086a2590e2f352974741846c30125e3ccee61f4
(show_mouse_face): Change the mouse cursor accordingly.

diff -r 8086a2590e2f -r 770fe370479b src/xterm.c
--- a/src/xterm.c	Fri Apr 08 14:36:25 1994 +0000
+++ b/src/xterm.c	Fri Apr 08 15:57:24 1994 +0000
@@ -2208,6 +2208,12 @@
   /* If we turned the cursor off, turn it back on.  */
   if (cursor_off)
     x_display_cursor (f, 1);
+
+  /* Change the mouse cursor according to the value of HL.  */
+  if (hl > 0)
+    XDefineCursor (XDISPLAY FRAME_X_WINDOW (f), f->display.x->cross_cursor);
+  else
+    XDefineCursor (XDISPLAY FRAME_X_WINDOW (f), f->display.x->text_cursor);
 }
 
 /* Clear out the mouse-highlighted active region.