Code Editor : diagnose.sty