diff -ur gnome-terminal-3.6.1.orig/src/terminal-screen.c gnome-terminal-3.6.1/src/terminal-screen.c
--- gnome-terminal-3.6.1.orig/src/terminal-screen.c	2012-10-16 01:01:59.000000000 +0200
+++ gnome-terminal-3.6.1/src/terminal-screen.c	2012-11-23 23:59:51.379037423 +0100
@@ -311,7 +311,7 @@
 
   update_color_scheme (screen);
 
-  if (gtk_widget_get_realized (widget))
+  if (gtk_widget_get_mapped (widget))
     terminal_screen_change_font (screen);
 }
 
