diff src/w32fns.c @ 49392:4e6b3d53732a

(x_set_cursor_type): Set cursor_type_changed, not update_mode_lines, and always set it to 1.
author Jason Rumney <jasonr@gnu.org>
date Wed, 22 Jan 2003 23:03:44 +0000
parents 5518e109ec3b
children 8185febf8361
line wrap: on
line diff
--- a/src/w32fns.c	Wed Jan 22 20:36:14 2003 +0000
+++ b/src/w32fns.c	Wed Jan 22 23:03:44 2003 +0000
@@ -2359,9 +2359,8 @@
 {
   set_frame_cursor_types (f, arg);
 
-  /* 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