From dd28f8b4059e923c0a750bd35e794371a39da7a7 Mon Sep 17 00:00:00 2001 From: Pasi Kallinen Date: Thu, 4 Aug 2022 09:39:21 +0300 Subject: [PATCH] Minor tweaks to post-option screen refresh --- src/options.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/options.c b/src/options.c index fbb8b4437..29c60ef7c 100644 --- a/src/options.c +++ b/src/options.c @@ -7844,8 +7844,8 @@ rerun: if (g.opt_need_redraw) { check_gold_symbol(); reglyph_darkroom(); - (void) doredraw(); - flush_screen(FALSE); + docrt(); + flush_screen(1); } if (g.context.botl || g.context.botlx) { bot(); @@ -8090,7 +8090,7 @@ doset(void) /* changing options via menu by Per Liboriussen */ if (g.opt_need_redraw) { check_gold_symbol(); reglyph_darkroom(); - (void) doredraw(); + docrt(); } if (g.context.botl || g.context.botlx) { bot(); -- 2.50.0