changeset 78762:c4d33a7385f0

(cnt): Rename to menu_grab_callback_cnt for clarity. (menu_grab_callback): All uses changed.
author Glenn Morris <rgm@gnu.org>
date Wed, 12 Sep 2007 17:17:59 +0000
parents 4a2bcaea1323
children 8110f4179a3a
files src/gtkutil.c
diffstat 1 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- 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