diff options
| author | Eli Zaretskii | 2013-09-17 15:47:37 +0300 |
|---|---|---|
| committer | Eli Zaretskii | 2013-09-17 15:47:37 +0300 |
| commit | ffc3882f6ceca6c1516d5dda6f719bbaed1fa7df (patch) | |
| tree | d2413e69344ca46602a136a29f91e3112b96a12a /src/menu.c | |
| parent | 5877bb8d7e55eda3f81a36bfabe4dd816a34269f (diff) | |
| download | emacs-ffc3882f6ceca6c1516d5dda6f719bbaed1fa7df.tar.gz emacs-ffc3882f6ceca6c1516d5dda6f719bbaed1fa7df.zip | |
Minor fixes to interfaces, avoid assertion violation under GLYPH_DEBUG.
Diffstat (limited to 'src/menu.c')
| -rw-r--r-- | src/menu.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/menu.c b/src/menu.c index b9d1b7668b1..2560b00b3c1 100644 --- a/src/menu.c +++ b/src/menu.c | |||
| @@ -1280,7 +1280,8 @@ no quit occurs and `x-popup-menu' returns nil. */) | |||
| 1280 | #ifdef HAVE_MENUS | 1280 | #ifdef HAVE_MENUS |
| 1281 | #ifdef HAVE_WINDOW_SYSTEM | 1281 | #ifdef HAVE_WINDOW_SYSTEM |
| 1282 | /* Hide a previous tip, if any. */ | 1282 | /* Hide a previous tip, if any. */ |
| 1283 | Fx_hide_tip (); | 1283 | if (!FRAME_TERMCAP_P (f)) |
| 1284 | Fx_hide_tip (); | ||
| 1284 | #endif | 1285 | #endif |
| 1285 | 1286 | ||
| 1286 | #ifdef HAVE_NTGUI /* FIXME: Is it really w32-specific? --Stef */ | 1287 | #ifdef HAVE_NTGUI /* FIXME: Is it really w32-specific? --Stef */ |
| @@ -1289,7 +1290,7 @@ no quit occurs and `x-popup-menu' returns nil. */) | |||
| 1289 | can occur if you press ESC or click outside a menu without selecting | 1290 | can occur if you press ESC or click outside a menu without selecting |
| 1290 | a menu item. | 1291 | a menu item. |
| 1291 | */ | 1292 | */ |
| 1292 | if (current_popup_menu) | 1293 | if (current_popup_menu && FRAME_W32_P (f)) |
| 1293 | { | 1294 | { |
| 1294 | discard_menu_items (); | 1295 | discard_menu_items (); |
| 1295 | FRAME_X_DISPLAY_INFO (f)->grabbed = 0; | 1296 | FRAME_X_DISPLAY_INFO (f)->grabbed = 0; |
| @@ -1342,7 +1343,8 @@ no quit occurs and `x-popup-menu' returns nil. */) | |||
| 1342 | #endif | 1343 | #endif |
| 1343 | 1344 | ||
| 1344 | #ifdef HAVE_NTGUI /* FIXME: Is it really w32-specific? --Stef */ | 1345 | #ifdef HAVE_NTGUI /* FIXME: Is it really w32-specific? --Stef */ |
| 1345 | FRAME_X_DISPLAY_INFO (f)->grabbed = 0; | 1346 | if (FRAME_W32_P (f)) |
| 1347 | FRAME_X_DISPLAY_INFO (f)->grabbed = 0; | ||
| 1346 | #endif | 1348 | #endif |
| 1347 | 1349 | ||
| 1348 | #endif /* HAVE_MENUS */ | 1350 | #endif /* HAVE_MENUS */ |