@LiquidCake 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);
removed
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3911#discussion_r1848758538
You are receiving this because you are subscribed to this thread.
Message ID: <geany/geany/pull/3911/review/[email protected]>
