Code Editor : settings-hide-key.js