Unlike the WordPress content editor which has undo and redo buttons, the WordPress “theme editor” does not. The only way to undo changes in a WordPress theme is to use a method to roll it back. Only two methods work. Restoring from a backup, or rolling back a plugin to a previous version. Because plugins …