Code Editor : properties.json