patch 8.2.2803: flicker when the popup menu has an info popup
Problem: Flicker when the popup menu has an info popup.
Solution: Avoid drawing over the popup when it's going to be redrawn in the
same position. (closes #8131) Also avoid redrawing the scrollbar.
diff --git a/src/proto/popupmenu.pro b/src/proto/popupmenu.pro
index c6527b8..03019dc 100644
--- a/src/proto/popupmenu.pro
+++ b/src/proto/popupmenu.pro
@@ -7,6 +7,7 @@
void pum_undisplay(void);
void pum_clear(void);
int pum_visible(void);
+int pum_redraw_in_same_position(void);
void pum_may_redraw(void);
int pum_get_height(void);
void pum_set_event_info(dict_T *dict);