diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/menu.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/menu.c b/src/menu.c index 313327d4721..5c61a404420 100644 --- a/src/menu.c +++ b/src/menu.c | |||
| @@ -1286,8 +1286,10 @@ no quit occurs and `x-popup-menu' returns nil. */) | |||
| 1286 | unbind_to (specpdl_count, Qnil); | 1286 | unbind_to (specpdl_count, Qnil); |
| 1287 | 1287 | ||
| 1288 | #ifdef HAVE_MENUS | 1288 | #ifdef HAVE_MENUS |
| 1289 | #ifdef HAVE_WINDOW_SYSTEM | ||
| 1289 | /* Hide a previous tip, if any. */ | 1290 | /* Hide a previous tip, if any. */ |
| 1290 | Fx_hide_tip (); | 1291 | Fx_hide_tip (); |
| 1292 | #endif | ||
| 1291 | 1293 | ||
| 1292 | #ifdef HAVE_NTGUI /* FIXME: Is it really w32-specific? --Stef */ | 1294 | #ifdef HAVE_NTGUI /* FIXME: Is it really w32-specific? --Stef */ |
| 1293 | /* If resources from a previous popup menu still exist, does nothing | 1295 | /* If resources from a previous popup menu still exist, does nothing |