Update python_easy_chess_gui.py

* When editing engine option value, engine json file should show correct type of value, if it is integer, json file should not enclose value with double quotes making it a string.

Author: fsmosca

python_easy_chess_gui.py

@@ -61,7 +61,7 @@
 
 
 APP_NAME = 'Python Easy Chess GUI'
-APP_VERSION = 'v1.10'
+APP_VERSION = 'v1.11'
 BOX_TITLE = '{} {}'.format(APP_NAME, APP_VERSION)
 
 
@@ -1024,13 +1024,15 @@ def update_engine_to_config_file(self, eng_path_file, new_name, old_name, user_o
                         for d in v:
                             # d = {'name': 'Ponder', 'default': False,
                             # 'value': False, 'type': 'check'}
-
+                            
+                            default_type = type(d['default'])                            
                             opt_name = d['name']
                             opt_value = d['value']
                             for u in user_opt:
                                 # u = {'name': 'CDrill 1400'}
                                 for k1, v1 in u.items():
                                     if k1 == opt_name:
+                                        v1 = int(v1) if default_type == int else v1
                                         if v1 != opt_value:
                                             d['value'] = v1
                 break