diff --git a/terminal/terminal-screen.c b/terminal/terminal-screen.c index a5312eb..b1f26a3 100644 --- a/terminal/terminal-screen.c +++ b/terminal/terminal-screen.c @@ -1979,7 +1979,6 @@ 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_widget_show (hbox); screen->tab_label = gtk_label_new (NULL); diff --git a/terminal/terminal-window.c b/terminal/terminal-window.c index 0d461a4..abc8728 100644 --- a/terminal/terminal-window.c +++ b/terminal/terminal-window.c @@ -376,12 +376,6 @@ terminal_window_init (TerminalWindow *window) exo_binding_new (G_OBJECT (window->preferences), "misc-tab-position", G_OBJECT (window->notebook), "tab-pos"); - /* hide the ugly terminal border when tabs are shown */ - style = gtk_rc_style_new (); - style->xthickness = style->ythickness = 0; - gtk_widget_modify_style (window->notebook, style); - g_object_unref (G_OBJECT (style)); - /* set the notebook group id */ gtk_notebook_set_group (GTK_NOTEBOOK (window->notebook), (gpointer) window_notebook_group);