JSON Config: Convert float to int (bug 1590)

If th

src/gpodder/jsonconfig.py

@@ -164,6 +164,11 @@ class JsonConfig(object):
                 elif isinstance(value, dict):
                     # Recurse into sub-dictionaries
                     work_queue.append((data[key], value))
+                elif type(value) != type(data[key]):
+                    # Type mismatch of current value and default
+                    if type(value) == int and type(data[key]) == float:
+                        # Convert float to int if default value is int
+                        data[key] = int(data[key])
 
         return added_new_key