summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthias Clasen <mclasen@redhat.com>2013-06-29 18:02:17 -0400
committerMatthias Clasen <mclasen@redhat.com>2013-06-29 19:00:39 -0400
commitcacac4f85b4eeec443732bac1105f0cdb5545be1 (patch)
tree16dd3bfc87dd67d66c689b8ebd0fb3913be4f641
parentf0a481d97bc4dc7b28bdf363ef3a85b4e71d7b57 (diff)
downloadgtk+-cacac4f85b4eeec443732bac1105f0cdb5545be1.tar.gz
csd: Improve the window title
Manually create the label, so that we can set its margins.
-rw-r--r--gtk/gtkwindow.c19
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);
}