diff options
| -rw-r--r-- | src/xdisp.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 9ae4a6764c2..9cb3d26a49d 100644 --- a/src/xdisp.c +++ b/src/xdisp.c @@ -13451,8 +13451,11 @@ redisplay_window (window, just_this_one_p) #endif - if (redisplay_tool_bar_p) - redisplay_tool_bar (f); + if (redisplay_tool_bar_p && redisplay_tool_bar (f)) + { + extern int ignore_mouse_drag_p; + ignore_mouse_drag_p = 1; + } #endif } |