# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 819704857 0
# Node ID cbe1d1a07eb2a1eb73a101713cc47b30a9870fec
# Parent  dc1c03408169273d4e5ad6cfeffba0cdc315eff7
(prepare_menu_bars): If update_mode_lines,
update all frame titles too.

diff -r dc1c03408169 -r cbe1d1a07eb2 src/xdisp.c
--- a/src/xdisp.c	Sat Dec 23 07:46:41 1995 +0000
+++ b/src/xdisp.c	Sat Dec 23 07:47:37 1995 +0000
@@ -709,7 +709,7 @@
      has yet been specified."
      I think that is no longer a concern.  */
 #ifdef HAVE_WINDOW_SYSTEM
-  if (windows_or_buffers_changed)
+  if (windows_or_buffers_changed || update_mode_lines)
     {
       Lisp_Object tail, frame;