@eht16 commented on this pull request.
pref_widgets.persistent_untitled_docs_interval_spin = spin = gtk_spin_button_new_with_range(1, 600000, 100);
+ gtk_spin_button_set_value(GTK_SPIN_BUTTON(spin), persistent_untitled_docs_interval_ms); + gtk_label_set_mnemonic_widget(GTK_LABEL(label), spin); + + label = gtk_label_new(_("milliseconds")); + + gtk_box_pack_start(GTK_BOX(hbox), spin, TRUE, TRUE, 0); + gtk_box_pack_start(GTK_BOX(hbox), label, FALSE, FALSE, 5); + + gtk_box_pack_start(GTK_BOX(inner_vbox), hbox, FALSE, FALSE, 0); + + /* Common */ + + label = gtk_label_new_with_mnemonic(_("Default _filetype to use for new files:")); + gtk_misc_set_alignment(GTK_MISC(label), 0, 0.5); + gtk_widget_set_margin_top(GTK_LABEL(label), 15);
The cast to `GTK_LABEL` is wrong, just remove it.