# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1016426323 0
# Node ID 44b653625dac23cca1e3f6abb4e886d227fcc957
# Parent  ea6530f239378584b9e144de835f432d05996d97
(cursor_type_changed): Hew variable.

diff -r ea6530f23937 -r 44b653625dac src/window.h
--- a/src/window.h	Mon Mar 18 04:38:15 2002 +0000
+++ b/src/window.h	Mon Mar 18 04:38:43 2002 +0000
@@ -436,6 +436,10 @@
 
 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.  */