Minor redisplay optimisations

* src/frame.c (Ficonify_frame): No need to redisplay everything.

* src/xdisp.c (overlay_arrows_changed_p): Add `set_redisplay' argument.
(redisplay_internal): Use it to avoid redisplaying everything.
(try_window_id): Use it keep the same behavior as before.

1 files changed, 0 insertions, 3 deletions

diff --git a/src/frame.c b/src/frame.c
index d0f653fc762..5e1e2f19906 100644
--- a/src/frame.c
+++ b/src/frame.c
@@ -2156,9 +2156,6 @@ If omitted, FRAME defaults to the currently selected frame.  */)
 #endif
     }
 
-  /* Make menu bar update for the Buffers and Frames menus.  */
-  windows_or_buffers_changed = 17;
-
   return Qnil;
 }