It’s best not to edit theme files directly, because when you update the theme, your changes are lost. Instead, if you need to change things, create a child theme and you can do whatever you need there.
To restore the previous file you can either download a fresh copy of your theme, or look through your backups.