gtk_table_attach (GTK_TABLE (table), restart, 2, 4, 1, 2, | gtk_table_attach (GTK_TABLE (table), restart, 2, 4, 1, 2, |
gtk_widget_set_sensitive (restart_markers_label, jsvals.restart); | gtk_widget_set_sensitive (restart_markers_label, jsvals.restart); |
gtk_widget_set_sensitive (restart_markers_scale, jsvals.restart); | gtk_widget_set_sensitive (restart_markers_scale, jsvals.restart); |