--- gnome-terminal-3.12.0/src/terminal-window.c.set-title	2014-03-03 20:48:49.000000000 +0000
+++ gnome-terminal-3.12.0/src/terminal-window.c	2014-04-12 08:51:58.488604260 +0100
@@ -2972,7 +2972,9 @@ sync_screen_title (TerminalScreen *scree
   if (screen != priv->active_screen)
     return;
 
-  title = terminal_screen_get_title (screen);
+  title = terminal_screen_get_user_title (screen);
+  if (!title || !g_strcmp0 (title, _("Terminal")))
+    title = terminal_screen_get_title (screen);
   gtk_window_set_title (GTK_WINDOW (window), 
                         title && title[0] ? title : _("Terminal"));
 }
@@ -3355,6 +3357,8 @@ mdi_screen_added_cb (TerminalMdiContaine
   /* FIXME: only connect on the active screen, not all screens! */
   g_signal_connect (screen, "notify::title",
                     G_CALLBACK (sync_screen_title), window);
+  g_signal_connect (screen, "notify::description",
+                    G_CALLBACK (sync_screen_title), window);
   g_signal_connect (screen, "notify::icon-title",
                     G_CALLBACK (sync_screen_icon_title), window);
   g_signal_connect (screen, "notify::icon-title-set",
