Code Editor : properties.ini