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>
This commit is contained in:
Dirk Hohndel 2013-02-17 11:26:56 -08:00
parent 4e90c5d7e8
commit 6b27fb9be5

View file

@ -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);