diff --git a/terminal/terminal-screen.c b/terminal/terminal-screen.c index 1a4a8d2..a69f64b 100644 --- a/terminal/terminal-screen.c +++ b/terminal/terminal-screen.c @@ -1998,11 +1998,11 @@ terminal_screen_get_tab_label (TerminalScreen *screen) /* create the box */ hbox = gtk_hbox_new (FALSE, 0); - gtk_container_set_border_width (GTK_CONTAINER (hbox), 3); + gtk_container_set_border_width (GTK_CONTAINER (hbox), 0); gtk_widget_show (hbox); screen->tab_label = gtk_label_new (NULL); - gtk_misc_set_padding (GTK_MISC (screen->tab_label), 2, 0); + gtk_misc_set_padding (GTK_MISC (screen->tab_label), 4, 0); gtk_box_pack_start (GTK_BOX (hbox), screen->tab_label, TRUE, TRUE, 0); exo_binding_new (G_OBJECT (screen), "title", G_OBJECT (screen->tab_label), "label"); exo_binding_new (G_OBJECT (screen->tab_label), "label",