From c323e5372cd10ec18172812473f15d9c30be1fca Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sun, 18 Dec 2016 14:04:42 +0530
Subject: [PATCH] Fix a memory leak when deleting screens

The HistoryBuf object was not being de-allocated
---
 kitty/screen.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kitty/screen.c b/kitty/screen.c
index 1241d9825..1ef6b7306 100644
--- a/kitty/screen.c
+++ b/kitty/screen.c
@@ -159,6 +159,7 @@ dealloc(Screen* self) {
     Py_CLEAR(self->main_linebuf); 
     Py_CLEAR(self->alt_linebuf);
     Py_CLEAR(self->change_tracker);
+    Py_CLEAR(self->historybuf);
     PyMem_Free(self->main_tabstops);
     Py_TYPE(self)->tp_free((PyObject*)self);
 } // }}}