# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1189617479 0
# Node ID c4d33a7385f0a8091820bdd0917640049b2a1677
# Parent  4a2bcaea1323fa564ef321b98d9a1293a46b3e9b
(cnt): Rename to menu_grab_callback_cnt for clarity.
(menu_grab_callback): All uses changed.

diff -r 4a2bcaea1323 -r c4d33a7385f0 src/gtkutil.c
--- a/src/gtkutil.c	Wed Sep 12 08:25:24 2007 +0000
+++ b/src/gtkutil.c	Wed Sep 12 17:17:59 2007 +0000
@@ -1781,18 +1781,18 @@
    CLIENT_DATA is NULL (not used).  */
 
 /* Keep track of total number of grabs.  */
-static int cnt;
+static int menu_grab_callback_cnt;
 
 static void
 menu_grab_callback (GtkWidget *widget,
                     gboolean ungrab_p,
                     gpointer client_data)
 {
-  if (ungrab_p) cnt--;
-  else cnt++;
-
-  if (cnt > 0 && ! xg_timer) xg_start_timer ();
-  else if (cnt == 0 && xg_timer) xg_stop_timer ();
+  if (ungrab_p) menu_grab_callback_cnt--;
+  else menu_grab_callback_cnt++;
+
+  if (menu_grab_callback_cnt > 0 && ! xg_timer) xg_start_timer ();
+  else if (menu_grab_callback_cnt == 0 && xg_timer) xg_stop_timer ();
 }
 
 /* Make a GTK widget that contains both UTF8_LABEL and UTF8_KEY (both