Code Editor : prauctex.cfg