300
300
gtk_box_pack_start (GTK_BOX (box2), label, FALSE, FALSE, 0);
301
301
HumanAdj = gtk_adjustment_new ((gfloat) NumberOfHumans, 1.0,
303
303
HumanSpinner = gtk_spin_button_new (GTK_ADJUSTMENT (HumanAdj), 10, 0);
304
304
gtk_label_set_mnemonic_widget (GTK_LABEL (label), HumanSpinner);