Code Editor : documentation_options.js_t