# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 807321210 0
# Node ID fc5662a15b3d900625f69f9d70a01ad6cb26906a
# Parent  bcaa94db623cdceb061d18e6e2168beed15c1f9e
(do_switch_frame): Do nothing special when switching between terminal frames.

diff -r bcaa94db623c -r fc5662a15b3d src/frame.c
--- a/src/frame.c	Tue Aug 01 23:38:49 1995 +0000
+++ b/src/frame.c	Tue Aug 01 23:53:30 1995 +0000
@@ -475,15 +475,6 @@
 #endif /* HAVE_X_WINDOWS */
 #endif /* ! 0 */
 
-  if (FRAME_TERMCAP_P (XFRAME (frame)))
-    {
-      /* Since frames on an ASCII terminal share the same display area,
-	 switching means we must redisplay the whole thing.  */
-      windows_or_buffers_changed++;
-      SET_FRAME_GARBAGED (XFRAME (frame));
-      XSETFRAME (Vterminal_frame, frame);
-    }
-
   selected_frame = XFRAME (frame);
   if (! FRAME_MINIBUF_ONLY_P (selected_frame))
     last_nonminibuf_frame = selected_frame;