GNOME Bugzilla – Bug 679140
Make it possible to hide tabs when one has multiple tabs open
Last modified: 2012-08-24 20:38:31 UTC
It's currently harcoded like this: terminal-window.c: static void update_tab_visibility (TerminalWindow *window, int change) { TerminalWindowPrivate *priv = window->priv; gboolean show_tabs; guint num; num = gtk_notebook_get_n_pages (GTK_NOTEBOOK (priv->notebook)); show_tabs = (num + change) > 1; gtk_notebook_set_show_tabs (GTK_NOTEBOOK (priv->notebook), show_tabs); } so whenever there's more than 1 tab the visibility is always true. It would be nice to have this configurable so user can disable this.
Covered by byg 78776. *** This bug has been marked as a duplicate of bug 78776 ***