static void sync_tab_label (TerminalScreen *screen, GParamSpec *pspec, GtkWidget *label) { GtkWidget *hbox; const char *title; TerminalWindow *window; title = terminal_screen_get_title (screen); hbox = gtk_widget_get_parent (label); gtk_label_set_text (GTK_LABEL (label), title && title[0] ? title : _("Terminal")); gtk_widget_set_tooltip_text (hbox, title); /* This call updates the window size: bug 732588. * FIXMEchpe: This is probably a GTK+ bug, should get them fix it. */ window = TERMINAL_WINDOW (gtk_widget_get_ancestor (GTK_WIDGET (label), TERMINAL_TYPE_WINDOW)); if (window != NULL) terminal_window_update_size (window); }
static void sync_tab_label (TerminalScreen *screen, GParamSpec *pspec, GtkWidget *label) { GtkWidget *hbox; const char *title; title = terminal_screen_get_title (screen); hbox = gtk_widget_get_parent (label); gtk_label_set_text (GTK_LABEL (label), title); gtk_widget_set_tooltip_text (hbox, title); }