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;
 
 extern int windows_or_buffers_changed;
 
+/* Nonzero means a frame's cursor type has been changed.  */
+
+extern int cursor_type_changed;
+
 /* Number of windows displaying the selected buffer.  Normally this is
    1, but it can be more.  */