" /* Restore parsed text */ text1=text.replace(/\001/g,"\n"); text2=text1.replace(/\002/g,"'"); text3=text2.replace(/\003/g,'"'); text4=text3.replace(/\004/g,'$'); document.getElementById("Textarea").value=text4; }
Discard & Quit
Save
Save & Quit