From 9117089cf7a7611d3b7ba1dbe60a1e060a4e9b20 Mon Sep 17 00:00:00 2001 From: cancel Date: Wed, 29 Jan 2020 23:53:03 +0900 Subject: [PATCH] Change to split highlighting prediction based on is_playing --- tui_main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tui_main.c b/tui_main.c index 1d900e0..05f0f8c 100644 --- a/tui_main.c +++ b/tui_main.c @@ -1418,7 +1418,7 @@ staticni void ged_draw(Ged *a, WINDOW *win, char const *filename, // mark buffer that it produces, then roll back the glyph buffer to where it // was before. This should produce results similar to having specialized UI // code that looks at each glyph and figures out the ports, etc. - if (a->needs_remarking) { + if (a->needs_remarking && !a->is_playing) { field_resize_raw_if_necessary(&a->scratch_field, a->field.height, a->field.width); field_copy(&a->field, &a->scratch_field);