From d863cbd7c070cd3fd3b7e4f55e047a389249556d Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 2 Jan 2024 15:48:01 +0530 Subject: [PATCH] Ensure selection data is updated on GPU after paused rendering --- kitty/screen.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/kitty/screen.c b/kitty/screen.c index 89f86f68e..51d013577 100644 --- a/kitty/screen.c +++ b/kitty/screen.c @@ -2387,7 +2387,10 @@ screen_pause_rendering(Screen *self, bool pause, int for_in_ms) { if (!pause) { if (!self->paused_rendering.expires_at) return false; self->paused_rendering.expires_at = 0; + // ensure cell data is updated on GPU self->is_dirty = true; + // ensure selection data is updated on GPU + self->selections.last_rendered_count = SIZE_MAX; self->url_ranges.last_rendered_count = SIZE_MAX; return true; } if (self->paused_rendering.expires_at) return false;