Code Editor : Options-gen-types.js