//gtk_box_pack_start (GTK_BOX (mainbox), table, FALSE, FALSE, 0);
gtk_widget_set_margin_right(table, SPACING_SMALL);
gtk_paned_pack1 (GTK_PANED(hpaned), table, FALSE, FALSE);
//gtk_box_pack_start (GTK_BOX (mainbox), table, FALSE, FALSE, 0);
gtk_widget_set_margin_right(table, SPACING_SMALL);
gtk_paned_pack1 (GTK_PANED(hpaned), table, FALSE, FALSE);