diff options
| author | Paul Eggert | 2013-06-30 08:24:14 -0700 |
|---|---|---|
| committer | Paul Eggert | 2013-06-30 08:24:14 -0700 |
| commit | 8f5f35ccca84dd9d518bae3bb7ff4134d603b96f (patch) | |
| tree | a1a003ef6fb5c2875275b76cb04d8688bca92b42 /src/xmenu.c | |
| parent | e6c6c8c7748471aec72f2e98ade5416e19a20e61 (diff) | |
| download | emacs-8f5f35ccca84dd9d518bae3bb7ff4134d603b96f.tar.gz emacs-8f5f35ccca84dd9d518bae3bb7ff4134d603b96f.zip | |
Do not use GTK 3 if it exists but cannot be compiled.
* configure.ac: Leave GTK_OBJ and term_header alone if GTK 3
exists but cannot be compiled.
* src/xmenu.c (x_menu_wait_for_event) [!USE_GTK]:
* src/xterm.c (x_error_handler) [!USE_GTK]:
Do not use GTK 3.
Diffstat (limited to 'src/xmenu.c')
| -rw-r--r-- | src/xmenu.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/xmenu.c b/src/xmenu.c index 9993bd87d5b..48ab3519723 100644 --- a/src/xmenu.c +++ b/src/xmenu.c | |||
| @@ -397,7 +397,7 @@ x_menu_wait_for_event (void *data) | |||
| 397 | else | 397 | else |
| 398 | ntp = &next_time; | 398 | ntp = &next_time; |
| 399 | 399 | ||
| 400 | #ifdef HAVE_GTK3 | 400 | #if defined USE_GTK && defined HAVE_GTK3 |
| 401 | /* Gtk3 have arrows on menus when they don't fit. When the | 401 | /* Gtk3 have arrows on menus when they don't fit. When the |
| 402 | pointer is over an arrow, a timeout scrolls it a bit. Use | 402 | pointer is over an arrow, a timeout scrolls it a bit. Use |
| 403 | xg_select so that timeout gets triggered. */ | 403 | xg_select so that timeout gets triggered. */ |