diff options
| -rw-r--r-- | src/xdisp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index b85fdb4d71e..8dc34b776c4 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -22636,7 +22636,7 @@ note_mouse_highlight (f, x, y) | |||
| 22636 | struct buffer *b; | 22636 | struct buffer *b; |
| 22637 | 22637 | ||
| 22638 | /* When a menu is active, don't highlight because this looks odd. */ | 22638 | /* When a menu is active, don't highlight because this looks odd. */ |
| 22639 | #if defined (USE_X_TOOLKIT) || defined (USE_GTK) || defined (HAVE_NTGUI) | 22639 | #if defined (USE_X_TOOLKIT) || defined (USE_GTK) |
| 22640 | if (popup_activated ()) | 22640 | if (popup_activated ()) |
| 22641 | return; | 22641 | return; |
| 22642 | #endif | 22642 | #endif |