Undo Option In Song Editor

Please include an undo button in the Song Editor. As is, the Undo option under "Edit" does not function when in the Song Editor, and any format changes are permanent unless you discard them and start over. Thank you!