--- gnome-terminal-2.14.1/src/terminal-window.c	2006-03-04 00:21:01.000000000 -0600
+++ -	2006-05-23 23:22:24.995084000 -0500
@@ -1587,11 +1587,15 @@
                             TerminalScreen *screen)
 {
   GtkWidget *widget;
+  GtkWidget *old_widget = NULL;
   TerminalProfile *profile;
   
   if (window->priv->active_term == screen)
     return;
   
+  if (window->priv->active_term)
+    old_widget = terminal_screen_get_widget (window->priv->active_term);
+  
   widget = terminal_screen_get_widget (screen);
   
   profile = terminal_screen_get_profile (screen);
@@ -1601,8 +1605,11 @@
 
   window->priv->active_term = screen;
 
+  gtk_widget_show (widget);
   terminal_window_update_geometry (window);
   terminal_window_update_icon (window);
+  if (old_widget)
+    gtk_widget_hide (old_widget);
   
   /* Override menubar setting if it wasn't restored from session */
   if (window->priv->use_default_menubar_visibility)
