Code Editor : properties.py