--- interface.c.old	Wed Mar 19 00:47:51 2003
+++ interface.c	Wed Mar 19 11:57:49 2003
@@ -1150,7 +1150,6 @@
   MainVBox = gtk_vbox_new (FALSE, 0);
   gtk_container_add (GTK_CONTAINER(MainWindow), MainVBox);
   HandleBox = gtk_handle_box_new();
-  gtk_container_set_border_width (GTK_CONTAINER(HandleBox), 2);
   gtk_box_pack_start (GTK_BOX(MainVBox), HandleBox, FALSE, FALSE, 0);
   init_toolbar (GTK_BOX(MainVBox));
   MainNotebook = gtk_notebook_new ();