> +        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);