Code Editor : allProperties.js