828 gtk_widget_set_size_request (
axischoice, 80, 35);
832 add_box_child_start (GTK_ORIENTATION_VERTICAL, axisbox, gtk_separator_new (GTK_ORIENTATION_HORIZONTAL), FALSE, FALSE, 5);
841 gtk_widget_set_size_request (
scale_box, 80, -1);
880 ahbox =
abox (axisbox,
"Location:", 1);
899 ahbox =
abox (axisbox,
"Major ticks size:", 1);
905 ahbox =
abox (axisbox,
"Minor ticks size:", 1);
918 ahbox =
abox (axisbox,
"Location:", 1);
929 ahbox =
abox (axisbox,
"Significant digits:", 1);
945 ahbox =
abox (axisbox,
"Position: ", 1);
970 gtk_entry_set_alignment (GTK_ENTRY(
axis_title), 0.0);
976 ahbox =
abox (axisbox,
"Position: ", 3);