diff options
| -rw-r--r-- | src/window.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/window.h b/src/window.h index 6ae50390bc8..a85422c9729 100644 --- a/src/window.h +++ b/src/window.h | |||
| @@ -436,6 +436,10 @@ extern int clip_changed; | |||
| 436 | 436 | ||
| 437 | extern int windows_or_buffers_changed; | 437 | extern int windows_or_buffers_changed; |
| 438 | 438 | ||
| 439 | /* Nonzero means a frame's cursor type has been changed. */ | ||
| 440 | |||
| 441 | extern int cursor_type_changed; | ||
| 442 | |||
| 439 | /* Number of windows displaying the selected buffer. Normally this is | 443 | /* Number of windows displaying the selected buffer. Normally this is |
| 440 | 1, but it can be more. */ | 444 | 1, but it can be more. */ |
| 441 | 445 | ||