GNOME Bugzilla – Bug 743663
Minor tab-label fixes
Last modified: 2015-02-11 19:32:54 UTC
See patches.
Created attachment 295692 [details] [review] tab-label: Fix the name of the parent type
Created attachment 295693 [details] [review] tab-label: Rely on new GTK+ API to center the label
Comment on attachment 295693 [details] [review] tab-label: Rely on new GTK+ API to center the label I'd rather not bump the gtk req for something so trivial, but I'm ok with #if GTK_CHECK_VERSION this.
Created attachment 296591 [details] [review] tab-label: Rely on new GTK+ API to center the label
Review of attachment 296591 [details] [review]: ::: src/terminal-tab-label.c @@ +202,1 @@ gtk_box_pack_start (GTK_BOX (hbox), label, TRUE, TRUE, 0); This should be outside the #if, I think.
(In reply to Christian Persch from comment #5) > Review of attachment 296591 [details] [review] [review]: > > ::: src/terminal-tab-label.c > @@ +202,1 @@ > gtk_box_pack_start (GTK_BOX (hbox), label, TRUE, TRUE, 0); > > This should be outside the #if, I think. Yes, you are right. I was wrong to assume that gtk_box_set_center_widget will take care of it. Realized that after reading the code.
Created attachment 296632 [details] [review] tab-label: Rely on new GTK+ API to center the label