diff options
| -rw-r--r-- | src/w32fns.c | 5 |
1 files 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) | |||
| 2359 | { | 2359 | { |
| 2360 | set_frame_cursor_types (f, arg); | 2360 | set_frame_cursor_types (f, arg); |
| 2361 | 2361 | ||
| 2362 | /* Make sure the cursor gets redrawn. This is overkill, but how | 2362 | /* Make sure the cursor gets redrawn. */ |
| 2363 | often do people change cursor types? */ | 2363 | cursor_type_changed = 1; |
| 2364 | update_mode_lines++; | ||
| 2365 | } | 2364 | } |
| 2366 | 2365 | ||
| 2367 | void | 2366 | void |