Handle uint in midori_settings_save_to_file

Fixes: https://bugs.launchpad.net/bugs/1083991

1 files changed, 7 insertions, 0 deletions

diff --git a/midori/midori-websettings.c b/midori/midori-websettings.c
index e056d98d..f9bfda13 100644
--- a/midori/midori-websettings.c
+++ b/midori/midori-websettings.c
@@ -1440,6 +1440,13 @@ midori_settings_save_to_file (MidoriWebSettings* settings,
             if (integer != G_PARAM_SPEC_INT (pspec)->default_value)
                 g_key_file_set_integer (key_file, "settings", property, integer);
         }
+        else if (type == G_TYPE_PARAM_UINT)
+        {
+            gint integer;
+            g_object_get (settings, property, &integer, NULL);
+            if (integer != G_PARAM_SPEC_UINT (pspec)->default_value)
+                g_key_file_set_integer (key_file, "settings", property, integer);
+        }
         else if (type == G_TYPE_PARAM_FLOAT)
         {
             gfloat number;