From 836e9d98b4f604e4bbd162c98d2d5b768903d601 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 7 Oct 2017 10:12:16 +0530 Subject: [PATCH] Forgot to actually switch grman on buffer switch --- kitty/screen.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/kitty/screen.c b/kitty/screen.c index 9e17f6aa1..18e48508d 100644 --- a/kitty/screen.c +++ b/kitty/screen.c @@ -440,12 +440,14 @@ screen_toggle_screen_buffer(Screen *self) { screen_save_cursor(self); self->linebuf = self->alt_linebuf; self->tabstops = self->alt_tabstops; + self->grman = self->alt_grman; screen_cursor_position(self, 1, 1); cursor_reset(self->cursor); } else { self->linebuf = self->main_linebuf; self->tabstops = self->main_tabstops; screen_restore_cursor(self); + self->grman = self->main_grman; } screen_history_scroll(self, SCROLL_FULL, false); self->is_dirty = true;