Code Editor : pgflibraryautomata.sty