PY.EDIT.JS doesn't run anymore; you can get the source here: py-edit-js source
py.edit.js.1.bookmarklet py.edit.js.1:   TEXT | HTML | LOAD | RUN
a simple python editor in javascript
close