Ähm, Versuchst Du sowohl Auflösung als auch Vollbild in einem Atemzug zu ändern?

Davon wird im Handbuch abgeraten.
Mach es bitte in zwei Schritten, mit video_set
1. Vollbild
2. Auflösung

(Zitat aus dem allseits beliebten Handbuch)
video_set(800,600,0,0);
video_set(0,0,0,2);

EDIT: Ich lese gerade das nicht bei allen 3D-Karten jede Auflösung im Vollbild geht....