From 691c727d0a5f17371dc8497477e9c7faf3535192 Mon Sep 17 00:00:00 2001
From: Pasi Kallinen <paxed@alt.org>
Date: Wed, 3 Aug 2022 19:57:57 +0300
Subject: [PATCH] Flush screen when toggling map-related option

---
 src/options.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/options.c b/src/options.c
index 2d8c54581..fbb8b4437 100644
--- a/src/options.c
+++ b/src/options.c
@@ -7845,6 +7845,7 @@ rerun:
         check_gold_symbol();
         reglyph_darkroom();
         (void) doredraw();
+        flush_screen(FALSE);
     }
     if (g.context.botl || g.context.botlx) {
         bot();