Code Editor : trace.sty