# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1016426295 0
# Node ID ea6530f239378584b9e144de835f432d05996d97
# Parent  63aef9a3adbf695169f85c202654bb4832f8d695
(x_set_cursor_type): Set cursor_type_changed,
not update_mode_lines, and always set it to 1.

diff -r 63aef9a3adbf -r ea6530f23937 src/xfns.c
--- a/src/xfns.c	Mon Mar 18 04:33:33 2002 +0000
+++ b/src/xfns.c	Mon Mar 18 04:38:15 2002 +0000
@@ -1884,9 +1884,8 @@
   FRAME_DESIRED_CURSOR (f) = x_specified_cursor_type (arg, &width);
   f->output_data.x->cursor_width = width;
 
-  /* Make sure the cursor gets redrawn.  This is overkill, but how
-     often do people change cursor types?  */
-  update_mode_lines++;
+  /* Make sure the cursor gets redrawn.  */
+  cursor_type_changed = 1;
 }
 
 void