Dziwne rzekłbym, rozdzielczość w menu też powinna się chyba zmieniać.
A sprawdź czy w pliku Config\graphics.cfg jest taki fragment kodu:
DisplayMode
{
resolution = {1280, 960};
bpp = 32;
fullscreen = 1;
aspect = 1.333333373;
Interface
{
resolution = {1280, 960};
bpp = 32;
fullscreen = 1;
aspect = 1.333333373;
}
Simulation
{
resolution = {1280, 960};
bpp = 32;
fullscreen = 1;
aspect = 1.333333373;
}
AVI
{
resolution = {640, 480};
fullscreen = 0;
aspect = 1.333299994;
}
}
I ewentualnie ręcznie zmień wartości w sekcji Interface.