# HG changeset patch
# User Geoff Voelker <voelker@cs.washington.edu>
# Date 895123014 0
# Node ID 23fda104cd363c2bf16d380ecafcc84c52ce7077
# Parent  8299c71438c48067b019cd25ba21f16eebe50df6
(w32_ring_bell): Flash window correctly.

diff -r 8299c71438c4 -r 23fda104cd36 src/w32term.c
--- a/src/w32term.c	Thu May 14 04:58:47 1998 +0000
+++ b/src/w32term.c	Thu May 14 05:16:54 1998 +0000
@@ -836,7 +836,17 @@
   BLOCK_INPUT;
 
   if (visible_bell)
-      FlashWindow (FRAME_W32_WINDOW (selected_frame), TRUE);
+    {
+      int i;
+      HWND hwnd = FRAME_W32_WINDOW (selected_frame);
+
+      for (i = 0; i < 5; i++) 
+	{
+	  FlashWindow (hwnd, TRUE);
+	  Sleep (10);
+	}
+      FlashWindow (hwnd, FALSE);
+    }
   else
       w32_sys_ring_bell ();