patch 8.1.1597: cannot scroll a popup window with the mouse
Problem: Cannot scroll a popup window with the mouse.
Solution: If the popup window has a scrollbar let the mouse scroll wheel
scroll the window.
diff --git a/src/screen.c b/src/screen.c
index 56bbee3..5136c13 100644
--- a/src/screen.c
+++ b/src/screen.c
@@ -875,7 +875,7 @@
#endif
#ifdef FEAT_TEXT_PROP
// Update popup_mask if needed.
- may_update_popup_mask(0);
+ may_update_popup_mask(must_redraw);
#endif
}
@@ -1555,7 +1555,11 @@
if (mid_start == 0)
{
mid_end = wp->w_height;
- if (ONE_WINDOW)
+ if (ONE_WINDOW
+#ifdef FEAT_TEXT_PROP
+ && !bt_popup(wp->w_buffer)
+#endif
+ )
{
/* Clear the screen when it was not done by win_del_lines() or
* win_ins_lines() above, "screen_cleared" is FALSE or MAYBE