# HG changeset patch
# User Jan Dj¸«£rv <jan.h.d@swipnet.se>
# Date 1110481659 0
# Node ID d22b2f00dcfe8208200107446cb7b228003dd0fd
# Parent  5ace6337c8faf825d119d8add08e4ff8ad7a8225
* dispextern.h: Declare hourglass_started.

diff -r 5ace6337c8fa -r d22b2f00dcfe src/dispextern.h
--- a/src/dispextern.h	Thu Mar 10 18:07:37 2005 +0000
+++ b/src/dispextern.h	Thu Mar 10 19:07:39 2005 +0000
@@ -2817,6 +2817,7 @@
 EXFUN (Fx_hide_tip, 0);
 extern void start_hourglass P_ ((void));
 extern void cancel_hourglass P_ ((void));
+extern int hourglass_started P_ ((void));
 extern int display_hourglass_p;
 
 /* Returns the background color of IMG, calculating one heuristically if