diff: Fix margins not being reset on exit

This commit is contained in:
Kovid Goyal 2018-05-10 16:21:26 +05:30
parent b8e9921f3d
commit 91a1d61cc6
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -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