callisto-debian/gtk3
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Simplify a check

Browse Source 
Whenever titlebar is set, title_box is pointing to the
same widget, so we can just always use title_box here.
Pointed out by Jasper St. Pierre.
This commit is contained in:
Matthias Clasen 2013-12-10 23:19:36 -05:00
parent 50a206223f
commit 8596a34b8b
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gtk/gtkwindow.c
View File

@ -1796,13 +1796,8 @@ gtk_window_set_title_internal (GtkWindow *window,
if (gtk_widget_get_realized (widget))
gdk_window_set_title (gtk_widget_get_window (widget), new_title);
if (update_titlebar)
{
if (GTK_IS_HEADER_BAR (priv->titlebar))
gtk_header_bar_set_title (GTK_HEADER_BAR (priv->titlebar), new_title);
else if (GTK_IS_HEADER_BAR (priv->title_box))
gtk_header_bar_set_title (GTK_HEADER_BAR (priv->title_box), new_title);
}
if (update_titlebar && GTK_IS_HEADER_BAR (priv->title_box))
gtk_header_bar_set_title (GTK_HEADER_BAR (priv->title_box), new_title);
g_object_notify (G_OBJECT (window), "title");
}