diff options
author | Matthias Clasen <mclasen@redhat.com> | 2013-06-29 18:02:17 -0400 |
---|---|---|
committer | Matthias Clasen <mclasen@redhat.com> | 2013-06-29 19:00:39 -0400 |
commit | cacac4f85b4eeec443732bac1105f0cdb5545be1 (patch) | |
tree | 16dd3bfc87dd67d66c689b8ebd0fb3913be4f641 | |
parent | f0a481d97bc4dc7b28bdf363ef3a85b4e71d7b57 (diff) | |
download | gtk+-cacac4f85b4eeec443732bac1105f0cdb5545be1.tar.gz |
csd: Improve the window title
Manually create the label, so that we can set its margins.
-rw-r--r-- | gtk/gtkwindow.c | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/gtk/gtkwindow.c b/gtk/gtkwindow.c index 4c96e65d61..5e73e18316 100644 --- a/gtk/gtkwindow.c +++ b/gtk/gtkwindow.c @@ -5198,7 +5198,8 @@ create_decoration (GtkWidget *widget) GtkWindow *window = GTK_WINDOW (widget); GtkWindowPrivate *priv = window->priv; GtkStyleContext *context; - const gchar *title; + gchar *title; + GtkWidget *label; /* Client decorations already created */ if (priv->client_decorated) @@ -5244,11 +5245,17 @@ create_decoration (GtkWidget *widget) gtk_style_context_add_class (context, "titlebar"); gtk_widget_set_parent (priv->title_box, GTK_WIDGET (window)); - if (priv->title) - title = priv->title; - else - title = get_default_title (); - gtk_header_bar_set_title (GTK_HEADER_BAR (priv->title_box), title); + title = g_markup_printf_escaped ("<b>%s</b>", + priv->title ? priv->title : get_default_title ()); + label = gtk_label_new (title); + g_free (title); + g_object_set (label, + "use-markup", TRUE, + "ellipsize", PANGO_ELLIPSIZE_END, + "margin", 6, + NULL); + + gtk_header_bar_set_custom_title (GTK_HEADER_BAR (priv->title_box), label); gtk_widget_show_all (priv->title_box); } |