# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 801421657 0
# Node ID 6ecaa3fac4e4d99beceddf8109b46880601405cb
# Parent  d7c32bcc6cc534b41422431c513d6e4c8f86f7e3
(XTread_socket): For MapNotify, call record_asynch_buffer_change.

diff -r d7c32bcc6cc5 -r 6ecaa3fac4e4 src/xterm.c
--- a/src/xterm.c	Thu May 25 17:06:56 1995 +0000
+++ b/src/xterm.c	Thu May 25 17:07:37 1995 +0000
@@ -3532,6 +3532,11 @@
 		      count++;
 		      numchars--;
 		    }
+		  else
+		    /* Force a redisplay sooner or later
+		       to update the frame titles
+		       in case this is the second frame.  */
+		    record_asynch_buffer_change ();
 		}
 #ifdef USE_X_TOOLKIT
 	      goto OTHER;