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 | dc599d7e05f55f4670dbdf5795ccc5faaf6be2f2 (patch) | |
| tree | 63f5c99480d5e07c469100d3328f7e9da7405d59 /src/gtkutil.c | |
| parent | caa01fe01a9137c29539294222472ceb619da6d4 (diff) | |
| download | emacs-dc599d7e05f55f4670dbdf5795ccc5faaf6be2f2.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 |