Code Editor : settings_manager.py