(cnt): Rename to menu_grab_callback_cnt for clarity.

(menu_grab_callback): All uses changed.

diff --git a/src/gtkutil.c b/src/gtkutil.c
index c057cc719e0bc58b59578a85eb661e40a26a52c9..7b1e4c5272ddf57d3ebc8cd5459df3ec17d60158 100644 (file)
--- a/src/gtkutil.c
+++ b/src/gtkutil.c
@@ -1781,18 +1781,18 @@ menu_destroy_callback (w, client_data)
    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 (ungrab_p) menu_grab_callback_cnt--;
+  else menu_grab_callback_cnt++;
 
-  if (cnt > 0 && ! xg_timer) xg_start_timer ();
-  else if (cnt == 0 && xg_timer) xg_stop_timer ();
+  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