From 623cdbf20f4ab6c49f98aef73cd3c7dfa879d8a6 Mon Sep 17 00:00:00 2001 From: Jason Rumney Date: Wed, 22 Jan 2003 23:03:44 +0000 Subject: [PATCH] (x_set_cursor_type): Set cursor_type_changed, not update_mode_lines, and always set it to 1. --- src/w32fns.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/w32fns.c b/src/w32fns.c index 3e1f678d02c..a1fa27cf742 100644 --- a/src/w32fns.c +++ b/src/w32fns.c @@ -2359,9 +2359,8 @@ x_set_cursor_type (f, arg, oldval) { 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 -- 2.39.2