diff options
| -rw-r--r-- | src/terminal-window.c | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/src/terminal-window.c b/src/terminal-window.c index 3482680..c690dd2 100644 --- a/src/terminal-window.c +++ b/src/terminal-window.c @@ -106,8 +106,6 @@ struct _TerminalWindowPrivate guint disposed : 1; guint present_on_insert : 1; - /* Workaround until gtk+ bug #535557 is fixed */ - guint icon_title_set : 1; time_t focus_time; /* should we copy selection to clibpoard */ @@ -2535,8 +2533,6 @@ sync_screen_icon_title (TerminalScreen *screen, return; gdk_window_set_icon_name (gtk_widget_get_window (GTK_WIDGET (window)), terminal_screen_get_icon_title (screen)); - - priv->icon_title_set = TRUE; } static void @@ -2549,10 +2545,6 @@ sync_screen_icon_title_set (TerminalScreen *screen, if (!gtk_widget_get_realized (GTK_WIDGET (window))) return; - /* No need to restore the title if we never set an icon title */ - if (!priv->icon_title_set) - return; - if (screen != priv->active_screen) return; @@ -2560,12 +2552,7 @@ sync_screen_icon_title_set (TerminalScreen *screen, return; /* Need to reset the icon name */ - /* FIXME: Once gtk+ bug 535557 is fixed, use that to unset the icon title. */ - - g_object_set_qdata (G_OBJECT (gtk_widget_get_window (GTK_WIDGET (window))), - g_quark_from_static_string ("gdk-icon-name-set"), - GUINT_TO_POINTER (FALSE)); - priv->icon_title_set = FALSE; + gdk_window_set_icon_name (gtk_widget_get_window (GTK_WIDGET (window)), NULL); /* Re-setting the right title will be done by the notify::title handler which comes after this one */ } |