A complete newbie question in relation to the editor.
Is there an undo function? i.e. undo something I typed?
Also is there away to disable the annoying iOS feature that after deleting text for a few seconds the amount of characters deleted increases/jumps and deletes loads?
Finally is there an easy way to copy a .py file (not just move it)?