| 2039 |
gtk_table_attach (GTK_TABLE (table), restart, 2, 4, 1, 2, |
2039 |
gtk_table_attach (GTK_TABLE (table), restart, 2, 4, 1, 2, |
| 2043 |
gtk_widget_set_sensitive (restart_markers_label, jsvals.restart); |
2045 |
gtk_widget_set_sensitive (restart_markers_label, jsvals.restart); |
| 2044 |
gtk_widget_set_sensitive (restart_markers_scale, jsvals.restart); |
2046 |
gtk_widget_set_sensitive (restart_markers_scale, jsvals.restart); |