From 9c2d7f765012070b74b553e701f52c405ec71187 Mon Sep 17 00:00:00 2001 From: "K. Lange" Date: Mon, 30 Oct 2023 20:44:38 +0900 Subject: [PATCH] terminal: don't flip window whenever we scroll --- apps/terminal.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/apps/terminal.c b/apps/terminal.c index f436f7c1..e856fe7e 100644 --- a/apps/terminal.c +++ b/apps/terminal.c @@ -1243,14 +1243,10 @@ static void term_shift_region(int top, int height, int how_much) { /* Scroll the terminal up or down. */ static void term_scroll(int how_much) { - term_shift_region(0, term_height, how_much); /* Remove image data for image cells that are no longer on screen. */ flush_unused_images(); - - /* Flip the entire window. */ - yutani_flip(yctx, window); } static void insert_delete_lines(int how_many) {