diff src/gtkutil.c @ 84491:d72079d7688e

(cnt): Rename to menu_grab_callback_cnt for clarity. (menu_grab_callback): All uses changed.

--- a/src/gtkutil.c	Wed Sep 12 07:17:16 2007 +0000
+++ b/src/gtkutil.c	Wed Sep 12 07:18: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