Ok, ich hab's heute abend getestet. Ich habe in der Options.ini die Auflösung von 1280x960 auf 1280x1024 geändert. Leider funktioniert das überhaupt nicht, denn beim Starten von Generals kommt das Game dann einfach mit 800x600 hoch. Es ist also offenbar nicht möglich, eine von den Optionen abweichende Auflösung zu erzwingen.