Grub screen resolution

In this post I said “I was able to work around Mint’s resolution problem by adding GRUB_GFXMODE=1600×1200 in /etc/default/grub”. That wasn’t completely true. The command I actually used was “GRUB_GFXMODE=1920×1080,1600×1200”, specifying two resolutions, because I read it would fallback to the resolution on the right if unsuccessful. I didn’t mention it, because it selected 1600×1200. …