Code Editor : properties.js