Code Editor : option-ignore.js