GNOME Bugzilla – Bug 706781
tab names are not updated when using 'set title'
Last modified: 2014-04-12 18:41:53 UTC
If I right click on a tab, and try to set the title, The tab title is not actually updated. It just always shows the default <user@host: path> title
Yup I see this too.
This is fixed for me in 3.9.92.
3.9.92 comes from gnome-3-10 which was branched off of gnome-3-8, while this bug only affects master.
Hmm, "only" master? It affected 3.9.91 at least for me... but you know best :)
Updated version to "master" from "3.9.x" as per comment 3.
That's because 3.9.x before 92 were actually from master.
This can be made working again with something like (didn't consider ownership of the returned string yet): --- a/src/terminal-screen.c +++ b/src/terminal-screen.c @@ -708,7 +708,11 @@ terminal_screen_exec (TerminalScreen *screen, const char* terminal_screen_get_title (TerminalScreen *screen) { - return vte_terminal_get_window_title (VTE_TERMINAL (screen)); + TerminalScreenPrivate *priv = screen->priv; + const char *title; + + title = priv->title ? priv->title : vte_terminal_get_window_title (VTE_TERMINAL (screen)); + return title; } const char* @@ -1572,6 +1576,7 @@ terminal_screen_set_user_title (TerminalScreen *screen, g_free (priv->title); priv->title = title && title[0] ? g_strdup (title) : NULL; + g_object_notify (G_OBJECT (screen), "title"); g_object_notify (G_OBJECT (screen), "description"); }
*** This bug has been marked as a duplicate of bug 720693 ***