diff options
| author | Jason Rumney | 2003-01-22 23:03:44 +0000 |
|---|---|---|
| committer | Jason Rumney | 2003-01-22 23:03:44 +0000 |
| commit | 623cdbf20f4ab6c49f98aef73cd3c7dfa879d8a6 (patch) | |
| tree | b38998f31c0c00795be3e53bc3e540158780ef7e | |
| parent | 4a4a390ec4860a27d7be63016ccb4f66aa652b82 (diff) | |
| download | emacs-623cdbf20f4ab6c49f98aef73cd3c7dfa879d8a6.tar.gz emacs-623cdbf20f4ab6c49f98aef73cd3c7dfa879d8a6.zip | |
(x_set_cursor_type): Set cursor_type_changed,
not update_mode_lines, and always set it to 1.
| -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 |