From bf1c919547d7eee296b4a4500eb740005e73d8f9 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Thu, 12 Jul 2018 12:08:04 +0530
Subject: [PATCH] When de-activating overlay line, mark it dirty

---
 kitty/screen.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kitty/screen.c b/kitty/screen.c
index 3ec4b5a08..d3d625dff 100644
--- a/kitty/screen.c
+++ b/kitty/screen.c
@@ -1582,6 +1582,8 @@ deactivate_overlay_line(Screen *self) {
         Line *line = range_line_(self, self->overlay_line.ynum);
         line_reset_cells(line, self->overlay_line.xstart, self->overlay_line.xnum, self->overlay_line.gpu_cells, self->overlay_line.cpu_cells);
         if (self->cursor->y == self->overlay_line.ynum) self->cursor->x = self->overlay_line.xstart;
+        self->is_dirty = true;
+        linebuf_mark_line_dirty(self->linebuf, self->overlay_line.ynum);
     }
     self->overlay_line.is_active = false;
     self->overlay_line.ynum = 0;