Gboard, the default keyboard on many Android phones, is finally getting a proper undo button. Up until now, you had to use a ...

and finally Add New Keyboard. When text pops up on your phone you can switch to different keyboards by clicking on the globe button and you can select any of the keyboards you have downloaded.