changeset 37726:1d2bd2c606e8

(note_mouse_highlight): Avoid changing the mouse pointer shape when show_mouse_face has already done it.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 14 May 2001 14:54:29 +0000
parents 7e55768d52fd
children 1944a7ed9138
files src/xterm.c
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/xterm.c	Mon May 14 13:35:09 2001 +0000
+++ b/src/xterm.c	Mon May 14 14:54:29 2001 +0000
@@ -6997,6 +6997,7 @@
 
 	      /* Display it as active.  */
 	      show_mouse_face (dpyinfo, DRAW_MOUSE_FACE);
+	      cursor = None;
 	    }
 	  /* Handle the text property case.  */
 	  else if (!NILP (mouse_face) && BUFFERP (object))
@@ -7038,6 +7039,7 @@
 
 	      /* Display it as active.  */
 	      show_mouse_face (dpyinfo, DRAW_MOUSE_FACE);
+	      cursor = None;
 	    }
 	  else if (!NILP (mouse_face) && STRINGP (object))
 	    {
@@ -7069,6 +7071,7 @@
 		= face_at_string_position (w, object, pos, 0, 0, 0, &ignore,
 					   glyph->face_id, 1);
 	      show_mouse_face (dpyinfo, DRAW_MOUSE_FACE);
+	      cursor = None;
 	    }
 	}