Minor tweaks to post-option screen refresh

2022-08-04 09:39:21 +03:00
parent fec7c724a3
commit dd28f8b405
1 changed files with 3 additions and 3 deletions
--- 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();