Print: better name and layout for custom widget

"Dive details" doesn't really capture what this is about and it got very
odd translations. So we just repeat the "Print type" text - this avoids
needing a new translation, too.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>

1 files changed, 2 insertions, 2 deletions

diff --git a/print.c b/print.c
index 2ccab9b4d..169c22f7c 100644
--- a/print.c
+++ b/print.c
@@ -864,9 +864,9 @@ static GtkWidget *print_dialog(GtkPrintOperation *operation, gpointer user_data)
 {
 	GtkWidget *vbox, *radio1, *radio2, *radio3, *frame, *box;
 	int dives;
-	gtk_print_operation_set_custom_tab_label(operation, _("Dive details"));
+	gtk_print_operation_set_custom_tab_label(operation, _("Print type"));
 
-	vbox = gtk_vbox_new(TRUE, 5);
+	vbox = gtk_vbox_new(FALSE, 5);
 
 	frame = gtk_frame_new(_("Print type"));
 	gtk_box_pack_start(GTK_BOX(vbox), frame, FALSE, FALSE, 1);