From 91a1d61cc6010f5d81418e284239b5521521b184 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Thu, 10 May 2018 16:21:26 +0530
Subject: [PATCH] diff: Fix margins not being reset on exit

---
 kittens/diff/main.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kittens/diff/main.py b/kittens/diff/main.py
index 4da511196..d4a8f7828 100644
--- a/kittens/diff/main.py
+++ b/kittens/diff/main.py
@@ -152,6 +152,7 @@ class DiffHandler(Handler):
     def finalize(self):
         self.cmd.set_cursor_visible(True)
         self.cmd.set_default_colors()
+        self.cmd.set_scrolling_region()
 
     def draw_lines(self, num, offset=0):
         offset += self.scroll_pos