Code Editor : texdocrc.defaults