I would love to see the undo function implemented in Android. Text editing is very fiddly here, and you aren't even allowed to make mistakes.