Code Editor : default-encoding.js