Code Editor : pgfautomata.sty