Don't restrict the minimum font size.

diff --git a/src/prefs.c b/src/prefs.c
index 8e50845ed7a246e452299c5a00e25133958fea79..d5bcc6d77588beaa62f873e3a54e31ad5ba3b333 100644 (file)
--- a/src/prefs.c
+++ b/src/prefs.c
@@ -435,7 +435,7 @@ GtkWidget* prefs_preferences_dialog_new(CBrowser* browser)
     FILLED_ADD(button, 1, 2, 0, 1);
     INDENTED_ADD(gtk_label_new_with_mnemonic("_Minimum font size"), 0, 1, 1, 2);
     hbox = gtk_hbox_new(FALSE, 4);
-    spinbutton = gtk_spin_button_new_with_range(1, 5, 1);
+    spinbutton = gtk_spin_button_new_with_range(1, G_MAXINT, 1);
     gtk_spin_button_set_value(GTK_SPIN_BUTTON(spinbutton), config->minimumFontSize);
     g_signal_connect(spinbutton, "value-changed"
      , G_CALLBACK(on_prefs_minimumFontSize_changed), prefs);