Minor tweaks to post-option screen refresh

diff --git a/src/options.c b/src/options.c
index fbb8b44376911f4cd138dd35a762f32c22cbdd1d..29c60ef7c390cdb1793203afaf1e4b30297798ba 100644 (file)
--- 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();