diff: src/prefs.c
src/prefs.c
- changeset 4417
- 43ddfb896fb5
- parent 4377
- 5b7404f03845
- child 4419
- da74a4c9765d
--- a/src/prefs.c Sun Jan 26 01:39:46 2003 +0000 +++ b/src/prefs.c Sun Jan 26 03:52:58 2003 +0000 @@ -144,6 +144,7 @@ GtkWidget *vbox, *label, *hbox; char labeltext[256]; + gtk_container_set_border_width (GTK_CONTAINER (ret), 12); vbox = gtk_vbox_new(FALSE, 6); gtk_box_pack_start(GTK_BOX(ret), vbox, FALSE, FALSE, 0); label = gtk_label_new(NULL);
