You used to be able to just change the resolution through the in-game options, but now it seems the arrows to do so are greyed out. I even tried changing them through the settings.txt file but it didn't seem to change anything. Any help here? Maybe I changed it to the wrong resolution. What is the correct way to change it to a resolution for better performance?