Code Editor : mktex.opt