changeset 6757:770fe370479b

(show_mouse_face): Change the mouse cursor accordingly.
author Fred Pierresteguy <F.Pierresteguy@frcl.bull.fr>
date Fri, 08 Apr 1994 15:57:24 +0000
parents 8086a2590e2f
children 2395a59123b8
files src/xterm.c
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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.