Update EditorConfig.py