patch 8.0.1214: accessing freed memory when EXITFREE is set
Problem: Accessing freed memory when EXITFREE is set and there is more than
one tab and window. (Dominique Pelle)
Solution: Free options later. Skip redraw when exiting.
diff --git a/src/screen.c b/src/screen.c
index 3e08b60..c92b17e 100644
--- a/src/screen.c
+++ b/src/screen.c
@@ -203,7 +203,7 @@
win_T *wp,
int type)
{
- if (wp->w_redr_type < type)
+ if (!exiting && wp->w_redr_type < type)
{
wp->w_redr_type = type;
if (type >= NOT_VALID)