diff options
| author | Glenn Morris <rgm@gnu.org> | 2007-09-12 07:18:59 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2007-09-12 07:18:59 +0000 |
| commit | e4cb1b559bdf3051ef80df0bac0170af4946a782 (patch) | |
| tree | 1e763ba54ed25fc34a5c752e08e73a3eecd70ce3 /src/gtkutil.c | |
| parent | 4662c91cb2cba9697ea80512d10afbe935c20383 (diff) | |
| download | emacs-e4cb1b559bdf3051ef80df0bac0170af4946a782.tar.gz | |
(cnt): Rename to menu_grab_callback_cnt for clarity.
(menu_grab_callback): All uses changed.
Diffstat (limited to 'src/gtkutil.c')
| -rw-r--r-- | src/gtkutil.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/gtkutil.c b/src/gtkutil.c index c057cc719e0..7b1e4c5272d 100644 --- 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 |