Edit: I was able to restore the default theme by restoring grub files from a timeshift snapshot.
I decided to try out a different grub theme. I installed Vimix using the install script it came with. However, now I want to go back to the default manjaro theme, but I’m not sure how.
I tried using Grub Customizer, but it’s completely broken for me. Only the “starfield” theme shows up in the themes dropdown box, even though the manjaro theme and the Vimix theme are installed at /usr/share/grub/themes/. Also, if I try to make any changes, I get a syntax error after it runs update-grub.